Jan Kofron

Publication Activity (10 Years)

Years Active: 2006-2023
Publications (10 Years): 19

Top Topics

Static Analysis

Web Applications

Symbolic Execution

Top Venues

Int. J. Softw. Tools Technol. Transf.

Formal Aspects Comput.

Electron. Commun. Eur. Assoc. Softw. Sci. Technol.

Publications

Robert Husák, Jan Kofron, Filip Zavoral
Slicito: Using Computational Notebooks for Program Comprehension. ICPC (2023)
Martin Blicha, Antti E. J. Hyvärinen, Jan Kofron, Natasha Sharygina
Using linear algebra in decomposition of Farkas interpolants. Int. J. Softw. Tools Technol. Transf. 24 (1) (2022)
Robert Husák, Jakub Mísek, Filip Zavoral, Jan Kofron
PeachPie: Mature PHP to CLI compiler. J. Comput. Lang. 73 (2022)
Robert Husák, Jan Kofron, Jakub Mísek, Filip Zavoral
Using Procedure Cloning for Performance Optimization of Compiled Dynamic Languages. ICSOFT (2022)
Martin Blicha, Jan Kofron, William Tatarko
Summarization of branching loops. SAC (2022)
Rima Al Ali, Lubomír Bulej, Jan Kofron, Tomás Bures
A guide to design uncertainty-aware self-adaptive components in Cyber-Physical Systems. Future Gener. Comput. Syst. 128 (2022)
Tomás Bures, Petr Hnetynka, Frantisek Plasil, Dominik Skoda, Jan Kofron, Rima Al Ali, Ilias Gerostathopoulos
Targeting uncertainty in smart CPS by confidence-based logic. J. Syst. Softw. 181 (2021)
Robert Husák, Filip Zavoral, Jan Kofron
Optimizing Transformations of Dynamic Languages Compiled to Intermediate Representations. TASE (2020)
Paolo Arcaini, Jan Kofron, Pavel Jezek
Validation of the Hybrid ERTMS/ETCS Level 3 using Spin. Int. J. Softw. Tools Technol. Transf. 22 (3) (2020)
Tomás Bures, Ilias Gerostathopoulos, Petr Hnetynka, Frantisek Plasil, Filip Krijt, Jirí Vinárek, Jan Kofron
A language and framework for dynamic component ensembles in smart systems. Int. J. Softw. Tools Technol. Transf. 22 (4) (2020)
Martin Blicha, Antti E. J. Hyvärinen, Jan Kofron, Natasha Sharygina
Decomposing Farkas Interpolants. TACAS (1) (2019)
Robert Husák, Jan Kofron, Filip Zavoral
Handling Heap Data Structures in Backward Symbolic Execution. FM Workshops (2) (2019)
Pavel Jancík, Jan Kofron, Leonardo Alt, Grigory Fedyukovich, Antti E. J. Hyvärinen, Natasha Sharygina
Exploiting partial variable assignment in interpolation-based model checking. Formal Methods Syst. Des. 55 (1) (2019)
Robert Husák, Jan Kofron, Filip Zavoral
AskTheCode: Interactive Call Graph Exploration for Error Fixing and Prevention. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 77 (2019)
Paolo Arcaini, Pavel Jezek, Jan Kofron
Modelling the Hybrid ERTMS/ETCS Level 3 Case Study in Spin. ABZ (2018)
Pavel Jancík, Jan Kofron
On partial state matching. Formal Aspects Comput. 29 (5) (2017)
Tomás Bures, Petr Hnetynka, Jan Kofron, Rima Al Ali, Dominik Skoda
Statistical Approach to Architecture Modes in Smart Cyber Physical Systems. WICSA (2016)
Pavel Jancík, Jan Kofron
Dead variable analysis for multi-threaded heap manipulating programs. SAC (2016)
Pavel Jancík, Leonardo Alt, Grigory Fedyukovich, Antti E. J. Hyvärinen, Jan Kofron, Natasha Sharygina
PVAIR: Partial Variable Assignment InterpolatoR. FASE (2016)
David Hauzar, Jan Kofron
Framework for Static Analysis of PHP Applications. ECOOP (2015)
David Hauzar, Jan Kofron
Framework for Static Analysis of PHP Applications (Artifact). Dagstuhl Artifacts Ser. 1 (1) (2015)
David Hauzar, Jan Kofron, Pavel Bastecký
Data-flow Analysis of Programs with Associative Arrays. ESSS (2014)
Pavel Jancík, Jan Kofron, Simone Fulvio Rollini, Natasha Sharygina
On interpolants and variable assignments. FMCAD (2014)
David Hauzar, Jan Kofron
WeVerca: Web Applications Verification for PHP. SEFM (2014)
Barbora Buhnova, Lucia Kapová Happe, Jan Kofron
Preface. Electron. Notes Theor. Comput. Sci. 295 (2013)
Tomás Poch, Ondrej Sery, Frantisek Plasil, Jan Kofron
Threaded behavior protocols. Formal Aspects Comput. 25 (4) (2013)
David Hauzar, Jan Kofron
On Security Analysis of PHP Web Applications. COMPSAC Workshops (2012)
Jan Kofron, Frantisek Plasil
Evolving SOA in the Q-ImPrESS Project. WADT (2010)
Steffen Becker, Michael Hauck, Mircea Trifu, Klaus Krogmann, Jan Kofron
Reverse Engineering Component Models for Quality Predictions. CSMR (2010)
Jan Kofron, Frantisek Plasil, Ondrej Sery
Modes in component behavior specification via EBP and their application in product lines. Inf. Softw. Technol. 51 (1) (2009)
Jan Kofron, Pavel Parízek, Ondrej Sery
On Teaching Formal Methods: Behavior Models and Code Analysis. TFM (2009)
Jan Kofron, Tomás Poch, Ondrej Sery
Making Components Fit: SPINing. SEW (2008)
Jan Kofron, Tomás Poch, Ondrej Sery
TBP: Code-Oriented Component Behavior Specification. SEW (2008)
Jan Kofron
Checking software component behavior using behavior protocols and spin. SAC (2007)
Tomás Bures, Martin Decký, Petr Hnetynka, Jan Kofron, Pavel Parízek, Frantisek Plasil, Tomás Poch, Ondrej Sery, Petr Tuma
CoCoME in SOFA. CoCoME (2007)
Pavel Parízek, Frantisek Plasil, Jan Kofron
Model Checking of Software Components: Combining Java PathFinder and Behavior Protocol Model Checker. SEW (2006)
Pavel Jezek, Jan Kofron, Frantisek Plasil
Model Checking of Component Behavior Specification: A Real Life Experience. Electron. Notes Theor. Comput. Sci. 160 (2006)