Jan Kofron

According to our database, Jan Kofron authored at least 39 papers between 2005 and 2023.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2023

Slicito: Using Computational Notebooks for Program Comprehension.

Robert Husák, Jan Kofron, Filip Zavoral

Proceedings of the 31st IEEE/ACM International Conference on Program Comprehension, 2023

2022

PeachPie: Mature PHP to CLI compiler.

Robert Husák, Jakub Mísek, Filip Zavoral, Jan Kofron

J. Comput. Lang., 2022

Using linear algebra in decomposition of Farkas interpolants.

Martin Blicha, Antti E. J. Hyvärinen, Jan Kofron, Natasha Sharygina

Int. J. Softw. Tools Technol. Transf., 2022

A guide to design uncertainty-aware self-adaptive components in Cyber-Physical Systems.

Rima Al Ali, Lubomír Bulej, Jan Kofron, Tomás Bures

Future Gener. Comput. Syst., 2022

Summarization of branching loops.

Martin Blicha, Jan Kofron, William Tatarko

Proceedings of the SAC '22: The 37th ACM/SIGAPP Symposium on Applied Computing, Virtual Event, April 25, 2022

Using Procedure Cloning for Performance Optimization of Compiled Dynamic Languages.

Robert Husák, Jan Kofron, Jakub Mísek, Filip Zavoral

Proceedings of the 17th International Conference on Software Technologies, 2022

2021

Targeting uncertainty in smart CPS by confidence-based logic.

Tomás Bures, Petr Hnetynka, Frantisek Plásil, Dominik Skoda, Jan Kofron, Rima Al Ali, Ilias Gerostathopoulos

J. Syst. Softw., 2021

2020

A language and framework for dynamic component ensembles in smart systems.

Tomás Bures, Ilias Gerostathopoulos, Petr Hnetynka, Frantisek Plásil, Filip Krijt, Jirí Vinárek, Jan Kofron

Int. J. Softw. Tools Technol. Transf., 2020

Validation of the Hybrid ERTMS/ETCS Level 3 using Spin.

Paolo Arcaini, Jan Kofron, Pavel Jezek

Int. J. Softw. Tools Technol. Transf., 2020

Optimizing Transformations of Dynamic Languages Compiled to Intermediate Representations.

Robert Husák, Filip Zavoral, Jan Kofron

Proceedings of the International Symposium on Theoretical Aspects of Software Engineering, 2020

2019

Exploiting partial variable assignment in interpolation-based model checking.

Pavel Jancík, Jan Kofron, Leonardo Alt, Grigory Fedyukovich, Antti E. J. Hyvärinen, Natasha Sharygina

Formal Methods Syst. Des., 2019

AskTheCode: Interactive Call Graph Exploration for Error Fixing and Prevention.

Robert Husák, Jan Kofron, Filip Zavoral

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

Decomposing Farkas Interpolants.

Martin Blicha, Antti E. J. Hyvärinen, Jan Kofron, Natasha Sharygina

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2019

Handling Heap Data Structures in Backward Symbolic Execution.

Robert Husák, Jan Kofron, Filip Zavoral

Proceedings of the Formal Methods. FM 2019 International Workshops, 2019

2018

Modelling the Hybrid ERTMS/ETCS Level 3 Case Study in Spin.

Paolo Arcaini, Pavel Jezek, Jan Kofron

Proceedings of the Abstract State Machines, Alloy, B, TLA, VDM, and Z, 2018

2017

On partial state matching.

Pavel Jancík, Jan Kofron

Formal Aspects Comput., 2017

2016

Statistical Approach to Architecture Modes in Smart Cyber Physical Systems.

Tomás Bures, Petr Hnetynka, Jan Kofron, Rima Al Ali, Dominik Skoda

Proceedings of the 13th Working IEEE/IFIP Conference on Software Architecture, 2016

Dead variable analysis for multi-threaded heap manipulating programs.

Pavel Jancík, Jan Kofron

Proceedings of the 31st Annual ACM Symposium on Applied Computing, 2016

PVAIR: Partial Variable Assignment InterpolatoR.

Pavel Jancík, Leonardo Alt, Grigory Fedyukovich, Antti E. J. Hyvärinen, Jan Kofron, Natasha Sharygina

Proceedings of the Fundamental Approaches to Software Engineering, 2016

2015

Correctness of Service Components and Service Component Ensembles.

Jacques Combaz, Saddek Bensalem, Francesco Tiezzi, Andrea Margheri, Rosario Pugliese, Jan Kofron

Proceedings of the Software Engineering for Collective Autonomic Systems, 2015

Tools for Ensemble Design and Runtime.

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

Proceedings of the Software Engineering for Collective Autonomic Systems, 2015

Framework for Static Analysis of PHP Applications (Artifact).

David Hauzar, Jan Kofron

Dagstuhl Artifacts Ser., 2015

Framework for Static Analysis of PHP Applications.

David Hauzar, Jan Kofron

Proceedings of the 29th European Conference on Object-Oriented Programming, 2015

2014

Data-flow Analysis of Programs with Associative Arrays.

David Hauzar, Jan Kofron, Pavel Bastecký

Proceedings of the Proceedings Third International Workshop on Engineering Safety and Security Systems, 2014

WeVerca: Web Applications Verification for PHP.

David Hauzar, Jan Kofron

Proceedings of the Software Engineering and Formal Methods - 12th International Conference, 2014

On interpolants and variable assignments.

Pavel Jancík, Jan Kofron, Simone Fulvio Rollini, Natasha Sharygina

Proceedings of the Formal Methods in Computer-Aided Design, 2014

2013

Threaded behavior protocols.

Tomás Poch, Ondrej Sery, Frantisek Plásil, Jan Kofron

Formal Aspects Comput., 2013

2012

Preface.

Barbora Buhnova, Lucia Kapová Happe, Jan Kofron

Proceedings of the Proceedings the 9th International Workshop on Formal Engineering approaches to Software Components and Architectures, 2012

On Security Analysis of PHP Web Applications.

David Hauzar, Jan Kofron

Proceedings of the 36th Annual IEEE Computer Software and Applications Conference Workshops, 2012

2010

Evolving SOA in the Q-ImPrESS Project.

Jan Kofron, Frantisek Plásil

Proceedings of the Recent Trends in Algebraic Development Techniques, 2010

Reverse Engineering Component Models for Quality Predictions.

Steffen Becker, Michael Hauck, Mircea Trifu, Klaus Krogmann, Jan Kofron

Proceedings of the 14th European Conference on Software Maintenance and Reengineering, 2010

2009

Modes in component behavior specification via EBP and their application in product lines.

Jan Kofron, Frantisek Plásil, Ondrej Sery

Inf. Softw. Technol., 2009

On Teaching Formal Methods: Behavior Models and Code Analysis.

Jan Kofron, Pavel Parízek, Ondrej Sery

Proceedings of the Teaching Formal Methods, Second International Conference, 2009

2008

TBP: Code-Oriented Component Behavior Specification.

Jan Kofron, Tomás Poch, Ondrej Sery

Proceedings of the 32nd Annual IEEE Software Engineering Workshop, 2008

Making Components Fit: SPINing.

Jan Kofron, Tomás Poch, Ondrej Sery

Proceedings of the 32nd Annual IEEE Software Engineering Workshop, 2008

2007

Checking software component behavior using behavior protocols and spin.

Jan Kofron

Proceedings of the 2007 ACM Symposium on Applied Computing (SAC), 2007

CoCoME in SOFA.

Tomás Bures, Martin Decký, Petr Hnetynka, Jan Kofron, Pavel Parízek, Frantisek Plásil, Tomás Poch, Ondrej Sery, Petr Tuma

Proceedings of the Common Component Modeling Example: Comparing Software Component Models [result from the Dagstuhl research seminar for CoCoME, 2007

2006

Model Checking of Software Components: Combining Java PathFinder and Behavior Protocol Model Checker.

Pavel Parízek, Frantisek Plásil, Jan Kofron

Proceedings of the 30th Annual IEEE / NASA Software Engineering Workshop (SEW-30 2006), 2006

2005

Model Checking of Component Behavior Specification: A Real Life Experience.

Pavel Jezek, Jan Kofron, Frantisek Plásil

Proceedings of the International Workshop on Formal Aspects of Component Software, 2005