![](https://dblp1.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp1.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp1.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
default search action
Jan Kofron
Person information
- affiliation: Charles University in Prague
Refine list
![note](https://dblp1.uni-trier.de/img/note-mark.dark.12x12.png)
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
Journal Articles
- 2022
- [j12]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: 466-489 (2022) - [j11]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): 111-125 (2022) - [j10]Robert Husák
, Jakub Mísek, Filip Zavoral
, Jan Kofron:
PeachPie: Mature PHP to CLI compiler. J. Comput. Lang. 73: 101152 (2022) - 2021
- [j9]Tomás Bures
, Petr Hnetynka
, Frantisek Plásil
, Dominik Skoda, Jan Kofron
, Rima Al Ali, Ilias Gerostathopoulos
:
Targeting uncertainty in smart CPS by confidence-based logic. J. Syst. Softw. 181: 111065 (2021) - 2020
- [j8]Paolo Arcaini
, Jan Kofron
, Pavel Jezek:
Validation of the Hybrid ERTMS/ETCS Level 3 using Spin. Int. J. Softw. Tools Technol. Transf. 22(3): 265-279 (2020) - [j7]Tomás Bures
, Ilias Gerostathopoulos
, Petr Hnetynka
, Frantisek Plásil
, 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): 497-509 (2020) - 2019
- [j6]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) - [j5]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): 33-71 (2019) - 2017
- [j4]Pavel Jancík, Jan Kofron
:
On partial state matching. Formal Aspects Comput. 29(5): 777-803 (2017) - 2015
- [j3]David Hauzar, Jan Kofron:
Framework for Static Analysis of PHP Applications (Artifact). Dagstuhl Artifacts Ser. 1(1): 11:1-11:2 (2015) - 2013
- [j2]Tomás Poch, Ondrej Sery, Frantisek Plásil
, Jan Kofron
:
Threaded behavior protocols. Formal Aspects Comput. 25(4): 543-572 (2013) - 2009
- [j1]Jan Kofron
, Frantisek Plásil
, Ondrej Sery:
Modes in component behavior specification via EBP and their application in product lines. Inf. Softw. Technol. 51(1): 31-41 (2009)
Conference and Workshop Papers
- 2023
- [c25]Robert Husák, Jan Kofron, Filip Zavoral:
Slicito: Using Computational Notebooks for Program Comprehension. ICPC 2023: 64-68 - 2022
- [c24]Robert Husák, Jan Kofron, Jakub Mísek, Filip Zavoral:
Using Procedure Cloning for Performance Optimization of Compiled Dynamic Languages. ICSOFT 2022: 175-186 - [c23]Martin Blicha
, Jan Kofron
, William Tatarko:
Summarization of branching loops. SAC 2022: 1808-1816 - 2020
- [c22]Robert Husák, Filip Zavoral
, Jan Kofron
:
Optimizing Transformations of Dynamic Languages Compiled to Intermediate Representations. TASE 2020: 145-152 - 2019
- [c21]Robert Husák, Jan Kofron
, Filip Zavoral
:
Handling Heap Data Structures in Backward Symbolic Execution. FM Workshops (2) 2019: 537-556 - [c20]Martin Blicha
, Antti E. J. Hyvärinen
, Jan Kofron
, Natasha Sharygina
:
Decomposing Farkas Interpolants. TACAS (1) 2019: 3-20 - 2018
- [c19]Paolo Arcaini
, Pavel Jezek, Jan Kofron
:
Modelling the Hybrid ERTMS/ETCS Level 3 Case Study in Spin. ABZ 2018: 277-291 - 2016
- [c18]Pavel Jancík, Leonardo Alt, Grigory Fedyukovich
, Antti E. J. Hyvärinen, Jan Kofron
, Natasha Sharygina
:
PVAIR: Partial Variable Assignment InterpolatoR. FASE 2016: 419-434 - [c17]Pavel Jancík, Jan Kofron
:
Dead variable analysis for multi-threaded heap manipulating programs. SAC 2016: 1620-1627 - [c16]Tomás Bures
, Petr Hnetynka
, Jan Kofron
, Rima Al Ali, Dominik Skoda
:
Statistical Approach to Architecture Modes in Smart Cyber Physical Systems. WICSA 2016: 168-177 - 2015
- [c15]David Hauzar, Jan Kofron
:
Framework for Static Analysis of PHP Applications. ECOOP 2015: 689-711 - 2014
- [c14]Pavel Jancík, Jan Kofron
, Simone Fulvio Rollini, Natasha Sharygina
:
On interpolants and variable assignments. FMCAD 2014: 123-130 - [c13]David Hauzar, Jan Kofron
:
WeVerca: Web Applications Verification for PHP. SEFM 2014: 296-301 - [c12]David Hauzar, Jan Kofron
, Pavel Bastecký:
Data-flow Analysis of Programs with Associative Arrays. ESSS 2014: 56-70 - 2012
- [c11]David Hauzar, Jan Kofron
:
On Security Analysis of PHP Web Applications. COMPSAC Workshops 2012: 577-582 - [c10]Barbora Buhnova
, Lucia Kapová Happe
, Jan Kofron
:
Preface. FESCA 2012: 1-2 - 2010
- [c9]Steffen Becker, Michael Hauck, Mircea Trifu, Klaus Krogmann, Jan Kofron
:
Reverse Engineering Component Models for Quality Predictions. CSMR 2010: 194-197 - [c8]Jan Kofron
, Frantisek Plásil
:
Evolving SOA in the Q-ImPrESS Project. WADT 2010: 25-26 - 2009
- [c7]Jan Kofron
, Pavel Parízek
, Ondrej Sery:
On Teaching Formal Methods: Behavior Models and Code Analysis. TFM 2009: 144-157 - 2008
- [c6]Jan Kofron
, Tomás Poch, Ondrej Sery:
Making Components Fit: SPINing. SEW 2008: 65-74 - [c5]Jan Kofron
, Tomás Poch, Ondrej Sery:
TBP: Code-Oriented Component Behavior Specification. SEW 2008: 75-83 - 2007
- [c4]Tomás Bures
, Martin Decký
, Petr Hnetynka
, Jan Kofron
, Pavel Parízek
, Frantisek Plásil
, Tomás Poch, Ondrej Sery, Petr Tuma
:
CoCoME in SOFA. CoCoME 2007: 388-417 - [c3]Jan Kofron
:
Checking software component behavior using behavior protocols and spin. SAC 2007: 1513-1517 - 2006
- [c2]Pavel Parízek
, Frantisek Plásil
, Jan Kofron
:
Model Checking of Software Components: Combining Java PathFinder and Behavior Protocol Model Checker. SEW 2006: 133-141 - 2005
- [c1]Pavel Jezek
, Jan Kofron
, Frantisek Plásil
:
Model Checking of Component Behavior Specification: A Real Life Experience. FACS 2005: 197-210
Parts in Books or Collections
- 2015
- [p2]Jacques Combaz, Saddek Bensalem, Francesco Tiezzi, Andrea Margheri, Rosario Pugliese, Jan Kofron:
Correctness of Service Components and Service Component Ensembles. The ASCENS Approach 2015: 107-159 - [p1]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:
Tools for Ensemble Design and Runtime. The ASCENS Approach 2015: 429-448
Editorship
- 2024
- [e11]Jan Kofron
, Tiziana Margaria
, Cristina Seceleanu
:
Engineering of Computer-Based Systems - 8th International Conference, ECBS 2023, Västerås, Sweden, October 16-18, 2023, Proceedings. Lecture Notes in Computer Science 14390, Springer 2024, ISBN 978-3-031-49251-8 [contents] - 2017
- [e10]Jan Kofron, Jana Tumova:
Proceedings International Workshop on Formal Engineering approaches to Software Components and Architectures, FESCA@ETAPS 2017, Uppsala, Sweden, 22nd April 2017. EPTCS 245, 2017 [contents] - 2016
- [e9]Jan Kofron
, Tomás Vojnar
:
Mathematical and Engineering Methods in Computer Science - 10th International Doctoral Workshop, MEMICS 2015, Telč, Czech Republic, October 23-25, 2015, Revised Selected Papers. Lecture Notes in Computer Science 9548, Springer 2016, ISBN 978-3-319-29816-0 [contents] - [e8]Jan Kofron
, Jana Tumova, Bara Buhnova
:
Proceedings of the 13th International Workshop on Formal Engineering Approaches to Software Components and Architectures, FESCA@ETAPS 2016, Eindhoven, The Netherlands, 3rd April 2016. EPTCS 205, 2016 [contents] - [e7]Jan Bouda, Lukás Holík, Jan Kofron, Jan Strejcek, Adam Rambousek:
Proceedings 11th Doctoral Workshop on Mathematical and Engineering Methods in Computer Science, MEMICS 2016, Telč, Czech Republic, 21st-23rd October 2016. EPTCS 233, 2016 [contents] - 2015
- [e6]Bara Buhnova, Lucia Happe, Jan Kofron:
Proceedings 12th International Workshop on Formal Engineering approaches to Software Components and Architectures, FESCA 2015, London, United Kingdom, April 12th, 2015. EPTCS 178, 2015 [contents] - 2014
- [e5]Petr Hlinený, Zdenek Dvorák
, Jirí Jaros, Jan Kofron, Jan Korenek, Petr Matula, Karel Pala:
Mathematical and Engineering Methods in Computer Science - 9th International Doctoral Workshop, MEMICS 2014, Telč, Czech Republic, October 17-19, 2014, Revised Selected Papers. Lecture Notes in Computer Science 8934, Springer 2014, ISBN 978-3-319-14895-3 [contents] - [e4]Barbora Buhnova, Lucia Happe, Jan Kofron:
Proceedings 11th International Workshop on Formal Engineering approaches to Software Components and Architectures, FESCA 2014, Grenoble, France, 12th April 2014. EPTCS 147, 2014 [contents] - 2013
- [e3]Barbora Buhnova, Lucia Kapová Happe, Jan Kofron:
Proceedings the 9th International Workshop on Formal Engineering approaches to Software Components and Architectures, FESCA 2012, Tallinn, Estonia, March 31, 2012. Electronic Notes in Theoretical Computer Science 295, Elsevier 2013 [contents] - [e2]Barbora Buhnova, Lucia Happe, Jan Kofron:
Proceedings 10th International Workshop on Formal Engineering Approaches to Software Components and Architectures, FESCA 2013, Rome, Italy, March 23, 2013. EPTCS 108, 2013 [contents] - 2010
- [e1]George T. Heineman, Jan Kofron
, Frantisek Plásil
:
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. Lecture Notes in Computer Science 6093, Springer 2010, ISBN 978-3-642-13820-1 [contents]
Coauthor Index
![](https://dblp1.uni-trier.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-04-24 23:20 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint