Jan Kofron

55 papers A 3B 3C 5Misc 4Journal 14Unranked 13
YearRankTypeTitle / Venue / Authors
2026 — conf
Hornix: From LLVM IR to Constrained Horn Clauses and Back (Competition Contribution).
TACAS (2)
Martin Blicha, Jan Kofron, Oliver Glitta
2025 A conf
Combining Static Analysis Techniques for Program Comprehension Using Slicito.
ICPC
Robert Husák, Jan Kofron, Filip Zavoral
2025 J jnl
Combining Static Analysis Techniques for Program Comprehension Using Slicito.
CoRR
Robert Husák, Jan Kofron, Filip Zavoral
2025 J jnl
Preface to the special issue on engineering of computer-based systems.
Int. J. Softw. Tools Technol. Transf.
Jan Kofron, Tiziana Margaria, Cristina Seceleanu
2025 — conf
Unsatisfiability Proofs for Horn Solving.
TACAS (2)
Rodrigo Otoni, Martin Blicha, Matias Barandiaran Rivera, Patrick Eugster, Jan Kofron, Natasha Sharygina
2024 — ed.
Engineering of Computer-Based Systems - 8th International Conference, ECBS 2023, Västerås, Sweden, October 16-18, 2023, Proceedings
ECBS
Jan Kofron, Tiziana Margaria, Cristina Seceleanu
2023 A conf
Slicito: Using Computational Notebooks for Program Comprehension.
ICPC
Robert Husák, Jan Kofron, Filip Zavoral
2022 J jnl
A guide to design uncertainty-aware self-adaptive components in Cyber-Physical Systems.
Future Gener. Comput. Syst.
Rima Al Ali, Lubomír Bulej, Jan Kofron, Tomás Bures
2022 J jnl
PeachPie: Mature PHP to CLI compiler.
J. Comput. Lang.
Robert Husák, Jakub Mísek, Filip Zavoral, Jan Kofron
2022 Misc conf
Summarization of branching loops.
SAC
Martin Blicha, Jan Kofron, William Tatarko
2022 C conf
Using Procedure Cloning for Performance Optimization of Compiled Dynamic Languages.
ICSOFT
Robert Husák, Jan Kofron, Jakub Mísek, Filip Zavoral
2022 J jnl
Using linear algebra in decomposition of Farkas interpolants.
Int. J. Softw. Tools Technol. Transf.
Martin Blicha, Antti E. J. Hyvärinen, Jan Kofron, Natasha Sharygina
2021 J jnl
Targeting uncertainty in smart CPS by confidence-based logic.
J. Syst. Softw.
Tomás Bures, Petr Hnetynka, Frantisek Plásil, Dominik Skoda, Jan Kofron, Rima Al Ali, Ilias Gerostathopoulos
2020 J jnl
A language and framework for dynamic component ensembles in smart systems.
Int. J. Softw. Tools Technol. Transf.
Tomás Bures, Ilias Gerostathopoulos, Petr Hnetynka, Frantisek Plásil, Filip Krijt, Jirí Vinárek, Jan Kofron
2020 Misc conf
Optimizing Transformations of Dynamic Languages Compiled to Intermediate Representations.
TASE
Robert Husák, Filip Zavoral, Jan Kofron
2020 J jnl
Validation of the Hybrid ERTMS/ETCS Level 3 using Spin.
Int. J. Softw. Tools Technol. Transf.
Paolo Arcaini, Jan Kofron, Pavel Jezek
2019 J jnl
AskTheCode: Interactive Call Graph Exploration for Error Fixing and Prevention.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol.
Robert Husák, Jan Kofron, Filip Zavoral
2019 — conf
Decomposing Farkas Interpolants.
TACAS (1)
Martin Blicha, Antti E. J. Hyvärinen, Jan Kofron, Natasha Sharygina
2019 J jnl
Exploiting partial variable assignment in interpolation-based model checking.
Formal Methods Syst. Des.
Pavel Jancík, Jan Kofron, Leonardo Alt, Grigory Fedyukovich, Antti E. J. Hyvärinen, Natasha Sharygina
2019 — conf
Handling Heap Data Structures in Backward Symbolic Execution.
FM Workshops (2)
Robert Husák, Jan Kofron, Filip Zavoral
2018 C conf
Modelling the Hybrid ERTMS/ETCS Level 3 Case Study in Spin.
ABZ
Paolo Arcaini, Pavel Jezek, Jan Kofron
2017 J jnl
On partial state matching.
Formal Aspects Comput.
Pavel Jancík, Jan Kofron
2017 — ed.
Proceedings International Workshop on Formal Engineering approaches to Software Components and Architectures, FESCA@ETAPS 2017, Uppsala, Sweden, 22nd April 2017.
FESCA@ETAPS
Jan Kofron, Jana Tumova
2016 Misc conf
Dead variable analysis for multi-threaded heap manipulating programs.
SAC
Pavel Jancík, Jan Kofron
2016 — ed.
Mathematical and Engineering Methods in Computer Science - 10th International Doctoral Workshop, MEMICS 2015, Telč, Czech Republic, October 23-25, 2015, Revised Selected Papers
MEMICS
Jan Kofron, Tomás Vojnar
2016 B conf
PVAIR: Partial Variable Assignment InterpolatoR.
FASE
Pavel Jancík, Leonardo Alt, Grigory Fedyukovich, Antti E. J. Hyvärinen, Jan Kofron, Natasha Sharygina
2016 — ed.
Proceedings 11th Doctoral Workshop on Mathematical and Engineering Methods in Computer Science, MEMICS 2016, Telč, Czech Republic, 21st-23rd October 2016.
MEMICS
Jan Bouda, Lukás Holík, Jan Kofron, Jan Strejcek, Adam Rambousek
2016 — ed.
Proceedings of the 13th International Workshop on Formal Engineering Approaches to Software Components and Architectures, FESCA@ETAPS 2016, Eindhoven, The Netherlands, 3rd April 2016.
FESCA@ETAPS
Jan Kofron, Jana Tumova, Bara Buhnova
2016 — conf
Statistical Approach to Architecture Modes in Smart Cyber Physical Systems.
WICSA
Tomás Bures, Petr Hnetynka, Jan Kofron, Rima Al Ali, Dominik Skoda
2015 — ch.
Correctness of Service Components and Service Component Ensembles.
The ASCENS Approach
Jacques Combaz, Saddek Bensalem, Francesco Tiezzi, Andrea Margheri, Rosario Pugliese, Jan Kofron
2015 J jnl
Framework for Static Analysis of PHP Applications (Artifact).
Dagstuhl Artifacts Ser.
David Hauzar, Jan Kofron
2015 A conf
Framework for Static Analysis of PHP Applications.
ECOOP
David Hauzar, Jan Kofron
2015 — ed.
Proceedings 12th International Workshop on Formal Engineering approaches to Software Components and Architectures, FESCA 2015, London, United Kingdom, April 12th, 2015.
FESCA
Bara Buhnova, Lucia Happe, Jan Kofron
2015 — ch.
Tools for Ensemble Design and Runtime.
The ASCENS Approach
Dhaminda B. Abeywickrama, Jacques Combaz, Vojtech Horký, Jaroslav Keznikl, Jan Kofron, Alberto Lluch-Lafuente, Michele Loreti, Andrea Margheri, Philip Mayer, Giacoma Valentina Monreale, Ugo Montanari, Carlo Pinciroli, Petr Tuma, Andrea Vandin, Emil Vassev
2014 — conf
Data-flow Analysis of Programs with Associative Arrays.
ESSS
David Hauzar, Jan Kofron, Pavel Bastecký
2014 — ed.
Mathematical and Engineering Methods in Computer Science - 9th International Doctoral Workshop, MEMICS 2014, Telč, Czech Republic, October 17-19, 2014, Revised Selected Papers
MEMICS
Petr Hlinený, Zdenek Dvorák, Jirí Jaros, Jan Kofron, Jan Korenek, Petr Matula, Karel Pala
2014 B conf
On interpolants and variable assignments.
FMCAD
Pavel Jancík, Jan Kofron, Simone Fulvio Rollini, Natasha Sharygina
2014 — ed.
Proceedings 11th International Workshop on Formal Engineering approaches to Software Components and Architectures, FESCA 2014, Grenoble, France, 12th April 2014.
FESCA
Barbora Buhnova, Lucia Happe, Jan Kofron
2014 B conf
WeVerca: Web Applications Verification for PHP.
SEFM
David Hauzar, Jan Kofron
2013 — ed.
Proceedings 10th International Workshop on Formal Engineering Approaches to Software Components and Architectures, FESCA 2013, Rome, Italy, March 23, 2013.
FESCA
Barbora Buhnova, Lucia Happe, Jan Kofron
2013 — ed.
Proceedings the 9th International Workshop on Formal Engineering approaches to Software Components and Architectures, FESCA 2012, Tallinn, Estonia, March 31, 2012
FESCA
Barbora Buhnova, Lucia Kapová Happe, Jan Kofron
2013 J jnl
Threaded behavior protocols.
Formal Aspects Comput.
Tomás Poch, Ondrej Sery, Frantisek Plásil, Jan Kofron
2012 — conf
On Security Analysis of PHP Web Applications.
COMPSAC Workshops
David Hauzar, Jan Kofron
2012 — conf
Preface.
FESCA
Barbora Buhnova, Lucia Kapová Happe, Jan Kofron
2010 — conf
Evolving SOA in the Q-ImPrESS Project.
WADT
Jan Kofron, Frantisek Plásil
2010 — ed.
Research into Practice - Reality and Gaps, 6th International Conference on the Quality of Software Architectures, QoSA 2010, Prague, Czech Republic, June 23 - 25, 2010. Proceedings
QoSA
George T. Heineman, Jan Kofron, Frantisek Plásil
2010 — conf
Reverse Engineering Component Models for Quality Predictions.
CSMR
Steffen Becker, Michael Hauck, Mircea Trifu, Klaus Krogmann, Jan Kofron
2009 J jnl
Modes in component behavior specification via EBP and their application in product lines.
Inf. Softw. Technol.
Jan Kofron, Frantisek Plásil, Ondrej Sery
2009 — conf
On Teaching Formal Methods: Behavior Models and Code Analysis.
TFM
Jan Kofron, Pavel Parízek, Ondrej Sery
2008 C conf
Making Components Fit: SPINing.
SEW
Jan Kofron, Tomás Poch, Ondrej Sery
2008 C conf
TBP: Code-Oriented Component Behavior Specification.
SEW
Jan Kofron, Tomás Poch, Ondrej Sery
2007 Misc conf
Checking software component behavior using behavior protocols and spin.
SAC
Jan Kofron
2007 — conf
CoCoME in SOFA.
CoCoME
Tomás Bures, Martin Decký, Petr Hnetynka, Jan Kofron, Pavel Parízek, Frantisek Plásil, Tomás Poch, Ondrej Sery, Petr Tuma
2006 C conf
Model Checking of Software Components: Combining Java PathFinder and Behavior Protocol Model Checker.
SEW
Pavel Parízek, Frantisek Plásil, Jan Kofron
2005 — conf
Model Checking of Component Behavior Specification: A Real Life Experience.
FACS
Pavel Jezek, Jan Kofron, Frantisek Plásil