M. Blicha, A. Hyvärinen, J. Kofroň, N. Sharygina:
Decomposing Farkas Interpolants, in Tools and Algorithms for the Construction and Analysis of Systems, pp. 3-20, 2019
ISBN: 978-3-030-17462-0, DOI: 10.1007/978-3-030-17462-0_1
Decomposing Farkas Interpolants, in Tools and Algorithms for the Construction and Analysis of Systems, pp. 3-20, 2019
ISBN: 978-3-030-17462-0, DOI: 10.1007/978-3-030-17462-0_1
P. Jančík, J. Kofroň, L. Alt, G. Fedyukovich, A. Hyvärinen, N. Sharygina:
Exploiting partial variable assignment in interpolation-based model checking, in Formal Methods in System Design, 2019
DOI: 10.1007/s10703-019-00342-z
Exploiting partial variable assignment in interpolation-based model checking, in Formal Methods in System Design, 2019
DOI: 10.1007/s10703-019-00342-z
R. Husák, J. Kofroň, F. Zavoral:
AskTheCode: Interactive Call Graph Exploration for Error Fixing and Prevention, in Electronic Communications of the EASST 77(0), 2019
DOI: 10.14279/tuj.eceasst.77.1109
AskTheCode: Interactive Call Graph Exploration for Error Fixing and Prevention, in Electronic Communications of the EASST 77(0), 2019
DOI: 10.14279/tuj.eceasst.77.1109
R. Husák, J. Kofroň, F. Zavoral:
Handling Heap Data Structures in Backward Symbolic Execution, in Pre-proceedings for TAPAS 2019, 2019
Handling Heap Data Structures in Backward Symbolic Execution, in Pre-proceedings for TAPAS 2019, 2019
P. Arcaini, J. Kofroň, P. Ježek:
Validation of the Hybrid ERTMS/ETCS Level 3 using Spin, in International Journal on Software Tools for Technology Transfer, 2019
DOI: 10.1007/s10009-019-00539-x
Validation of the Hybrid ERTMS/ETCS Level 3 using Spin, in International Journal on Software Tools for Technology Transfer, 2019
DOI: 10.1007/s10009-019-00539-x
P. Arcaini, P. Ježek, J. Kofroň:
Modelling the Hybrid ERTMS/ETCS Level 3 Case Study in Spin, in Abstract State Machines, Alloy, B, TLA, VDM, and Z, pp. 277-291, 2018
ISBN: 978-3-319-91271-4, DOI: 10.1007/978-3-319-91271-4_19
Modelling the Hybrid ERTMS/ETCS Level 3 Case Study in Spin, in Abstract State Machines, Alloy, B, TLA, VDM, and Z, pp. 277-291, 2018
ISBN: 978-3-319-91271-4, DOI: 10.1007/978-3-319-91271-4_19
P. Jančík, J. Kofroň:
On partial state matching, in Formal Aspects of Computing 29(5), pp. 777-803, 2017
DOI: 10.1007/s00165-016-0413-z
On partial state matching, in Formal Aspects of Computing 29(5), pp. 777-803, 2017
DOI: 10.1007/s00165-016-0413-z
P. Jančík, L. Alt, G. Fedyukovich, A. Hyvärinen, J. Kofroň, N. Sharygina:
PVAIR: Partial Variable Assignment InterpolatoR, in Proceedings of FASE 2016, pp. 419-434, 2016
ISBN: 978-3-662-49665-7, DOI: 10.1007/978-3-662-49665-7_25
PVAIR: Partial Variable Assignment InterpolatoR, in Proceedings of FASE 2016, pp. 419-434, 2016
ISBN: 978-3-662-49665-7, DOI: 10.1007/978-3-662-49665-7_25
P. Jančík, J. Kofroň:
Dead Variable Analysis for Multi-threaded Heap Manipulating Programs, in Proceedings of the 31st Annual ACM Symposium on Applied Computing, pp. 1620–1627, 2016
ISBN: 978-1-4503-3739-7, DOI: 10.1145/2851613.2851826
Dead Variable Analysis for Multi-threaded Heap Manipulating Programs, in Proceedings of the 31st Annual ACM Symposium on Applied Computing, pp. 1620–1627, 2016
ISBN: 978-1-4503-3739-7, DOI: 10.1145/2851613.2851826
D. Hauzar, J. Kofroň:
Framework for Static Analysis of PHP Applications, in Proceedings of ECOOP 2015, pp. 689–711, 2015
ISBN: 978-3-939897-86-6, DOI: 10.4230/LIPIcs.ECOOP.2015.689
Framework for Static Analysis of PHP Applications, in Proceedings of ECOOP 2015, pp. 689–711, 2015
ISBN: 978-3-939897-86-6, DOI: 10.4230/LIPIcs.ECOOP.2015.689
T. Bureš, P. Hnětynka, J. Kofroň, R. Al-Ali, D. Škoda:
Statistical Approach to Architecture Modes in Smart Cyber Physical Systems, Technical report no. D3S-TR-2015-04, Department of Distributed and Dependable Systems, Charles University, 2015
Statistical Approach to Architecture Modes in Smart Cyber Physical Systems, Technical report no. D3S-TR-2015-04, Department of Distributed and Dependable Systems, Charles University, 2015
J. Combaz, S. Bensalem, F. Tiezzi, A. Margheri, R. Pugliese, J. Kofroň:
Correctness of Service Components and Service Component Ensembles, in Software Engineering for Collective Autonomic Systems: The ASCENS Approach, pp. 107-159, 2015
ISBN: 978-3-319-16310-9
Correctness of Service Components and Service Component Ensembles, in Software Engineering for Collective Autonomic Systems: The ASCENS Approach, pp. 107-159, 2015
ISBN: 978-3-319-16310-9
D. Abeywickrama, J. Combaz, V. Horký, J. Keznikl, J. Kofroň, A. Lafuente, M. Loreti, A. Margheri, P. Mayer, V. Monreale, U. Montanari, C. Pinciroli, P. Tůma, A. Vandin, E. Vassev:
Tools for Ensemble Design and Runtime, in Software Engineering for Collective Autonomic Systems, pp. 429-448, 2015
ISBN: 978-3-319-16309-3 978-3-319-16310-9
Tools for Ensemble Design and Runtime, in Software Engineering for Collective Autonomic Systems, pp. 429-448, 2015
ISBN: 978-3-319-16309-3 978-3-319-16310-9
D. Hauzar, J. Kofroň:
WeVerca: Web Applications Verification for PHP, in Proceedings of SEFM 2014, pp. 296-301, 2014
ISBN: 978-3-319-10430-0, DOI: 10.1007/978-3-319-10431-7_24
WeVerca: Web Applications Verification for PHP, in Proceedings of SEFM 2014, pp. 296-301, 2014
ISBN: 978-3-319-10430-0, DOI: 10.1007/978-3-319-10431-7_24
D. Hauzar, J. Kofroň, P. Baštecký:
Data-flow Analysis of Programs with Associative Arrays, in Proceedings of ESSS 2014, 2014
DOI: 10.4204/EPTCS.150.6
Data-flow Analysis of Programs with Associative Arrays, in Proceedings of ESSS 2014, 2014
DOI: 10.4204/EPTCS.150.6
P. Jancik, J. Kofroň, S. Rollini, N. Sharygina:
On Interpolants and Variable Assignments, in Proceedings of FMCAD 2014, pp. 123–130, 2014
ISBN: 978-0-9835678-4-4, DOI: 10.1109/FMCAD.2014.6987604
On Interpolants and Variable Assignments, in Proceedings of FMCAD 2014, pp. 123–130, 2014
ISBN: 978-0-9835678-4-4, DOI: 10.1109/FMCAD.2014.6987604
T. Poch, O. Šerý, F. Plášil, J. Kofroň:
Threaded behavior protocols, in Formal Aspects of Computing 25(4), pp. 543-572, 2013
DOI: 10.1007/s00165-011-0194-3
Threaded behavior protocols, in Formal Aspects of Computing 25(4), pp. 543-572, 2013
DOI: 10.1007/s00165-011-0194-3
P. Jančík, J. Kofroň:
On Partial Variable Assignment Interpolants, Technical report no. D3S-TR-2013-05, Department of Distributed and Dependable Systems, Charles University, 2013
On Partial Variable Assignment Interpolants, Technical report no. D3S-TR-2013-05, Department of Distributed and Dependable Systems, Charles University, 2013
T. Kučera, P. Hnětynka, J. Kofroň:
Automated Deployment of Hierarchical Components, in Proceedings of SNPD 2012, pp. 117-128, 2012
ISBN: 978-3-642-32172-6, DOI: 10.1007/978-3-642-32172-6_10
Automated Deployment of Hierarchical Components, in Proceedings of SNPD 2012, pp. 117-128, 2012
ISBN: 978-3-642-32172-6, DOI: 10.1007/978-3-642-32172-6_10
D. Hauzar, J. Kofroň:
On Security Analysis of PHP Web Applications, in Proceedings of STPSA 2012, pp. 577-582, 2012
ISBN: 978-1-4673-2714-5, DOI: 10.1109/COMPSACW.2012.106
On Security Analysis of PHP Web Applications, in Proceedings of STPSA 2012, pp. 577-582, 2012
ISBN: 978-1-4673-2714-5, DOI: 10.1109/COMPSACW.2012.106
P. Jančík, P. Parízek, J. Kofroň:
BeJC: Checking Compliance Between Java Implementation and Behavior Specification, in Proceedings of WCOP 2014, pp. 31–36, 2012
ISBN: 978-1-4503-1348-3, DOI: 10.1145/2304676.2304683
BeJC: Checking Compliance Between Java Implementation and Behavior Specification, in Proceedings of WCOP 2014, pp. 31–36, 2012
ISBN: 978-1-4503-1348-3, DOI: 10.1145/2304676.2304683
J. Kofroň, P. Jančík, P. Parízek:
Refinement between TBP and Java Implementation of Components, Technical report no. 2011/5, Department of Distributed and Dependable Systems, Charles University, 2011
Refinement between TBP and Java Implementation of Components, Technical report no. 2011/5, Department of Distributed and Dependable Systems, Charles University, 2011
D. Hauzar, J. Kofroň:
Hunting Bugs Inside Web Applications, Technical report no. 2011-26, Department of Informatics, KIT, 2011
Hunting Bugs Inside Web Applications, Technical report no. 2011-26, Department of Informatics, KIT, 2011
S. Becker, M. Hauck, M. Trifu, K. Krogmann, J. Kofroň:
Reverse Engineering Component Models for Quality Predictions, in Proceedings of CSMR 2010, pp. 194-197, 2010
ISBN: 978-1-61284-369-8, DOI: 10.1109/CSMR.2010.34
Reverse Engineering Component Models for Quality Predictions, in Proceedings of CSMR 2010, pp. 194-197, 2010
ISBN: 978-1-61284-369-8, DOI: 10.1109/CSMR.2010.34
J. Kofroň, F. Plášil:
Evolving SOA in the Q-ImPrESS Project., in Recent Trends in Algebraic Development Techniques - 20th International Workshop, WADT 2010, Etelsen, Germany, July 1-4, 2010, Revised Selected Papers, pp. 25-26, 2010
DOI: 10.1007/978-3-642-28412-0_3
Evolving SOA in the Q-ImPrESS Project., in Recent Trends in Algebraic Development Techniques - 20th International Workshop, WADT 2010, Etelsen, Germany, July 1-4, 2010, Revised Selected Papers, pp. 25-26, 2010
DOI: 10.1007/978-3-642-28412-0_3
J. Kofroň, P. Parízek, O. Šerý:
On Teaching Formal Methods: Behavior Models and Code Analysis, in Proceedings of TFM 2009, pp. 144-157, 2009
ISBN: 978-3-642-04912-5, DOI: 10.1007/978-3-642-04912-5_10
On Teaching Formal Methods: Behavior Models and Code Analysis, in Proceedings of TFM 2009, pp. 144-157, 2009
ISBN: 978-3-642-04912-5, DOI: 10.1007/978-3-642-04912-5_10
J. Kofroň, F. Plášil, O. Šerý:
Modes in component behavior specification via EBP and their application in product lines, in Information and Software Technology 51(1), pp. 31-41, 2009
DOI: 10.1016/j.infsof.2008.09.011
Modes in component behavior specification via EBP and their application in product lines, in Information and Software Technology 51(1), pp. 31-41, 2009
DOI: 10.1016/j.infsof.2008.09.011
T. Bureš, M. Děcký, P. Hnětynka, J. Kofroň, P. Parízek, F. Plášil, T. Poch, O. Šerý, P. Tůma:
CoCoME in SOFA, in The Common Component Modeling Example: Comparing Software Component Models, pp. 388-417, 2008
ISBN: 978-3-540-85289-6
CoCoME in SOFA, in The Common Component Modeling Example: Comparing Software Component Models, pp. 388-417, 2008
ISBN: 978-3-540-85289-6
S. Becker, L. Bulej, T. Bureš, P. Hnětynka, L. Kapova, J. Kofroň, H. Koziolek, J. Kraft, R. Mirandola, J. Stammel, G. Tamburrelli, M. Trifu:
Service Architecture Meta Model, Technical report no. , , 2008
Service Architecture Meta Model, Technical report no. , , 2008
J. Kofroň, T. Poch, O. Šerý:
Making Components Fit: SPINing, in Proceedings of SEW 2008, pp. 65-74, 2008
ISBN: 978-0-7695-3617-0, DOI: 10.1109/SEW.2008.10
Making Components Fit: SPINing, in Proceedings of SEW 2008, pp. 65-74, 2008
ISBN: 978-0-7695-3617-0, DOI: 10.1109/SEW.2008.10
J. Kofroň, T. Poch, O. Šerý:
TBP: Code-Oriented Component Behavior Specification, in Proceedings of SEW 2008, pp. 75-83, 2008
ISBN: 978-0-7695-3617-0, DOI: 10.1109/SEW.2008.14
TBP: Code-Oriented Component Behavior Specification, in Proceedings of SEW 2008, pp. 75-83, 2008
ISBN: 978-0-7695-3617-0, DOI: 10.1109/SEW.2008.14
J. Kofroň:
Checking Software Component Behavior Using Behavior Protocols and Spin, in Proceedings SAC 2007, pp. 1513–1517, 2007
ISBN: 978-1-59593-480-2, DOI: 10.1145/1244002.1244326
Checking Software Component Behavior Using Behavior Protocols and Spin, in Proceedings SAC 2007, pp. 1513–1517, 2007
ISBN: 978-1-59593-480-2, DOI: 10.1145/1244002.1244326
J. Kofroň:
Extending Behavior Protocols With Data and Multisynchronization, Technical report no. 2006/10, Department of Software Engineering, Charles University, 2006
Extending Behavior Protocols With Data and Multisynchronization, Technical report no. 2006/10, Department of Software Engineering, Charles University, 2006
J. Kofroň:
Software Component Verification: On Translating Behavior Protocols to Promela, Technical report no. 2006/11, Department of Software Engineering, Charles University, 2006
Software Component Verification: On Translating Behavior Protocols to Promela, Technical report no. 2006/11, Department of Software Engineering, Charles University, 2006
P. Parízek, F. Plášil, J. Kofroň:
Model Checking of Software Components: Making Java PathFinder Cooperate with Behavior Protocol Checker, Technical report no. 2006/02, Department of Software Engineering, Charles University, 2006
Model Checking of Software Components: Making Java PathFinder Cooperate with Behavior Protocol Checker, Technical report no. 2006/02, Department of Software Engineering, Charles University, 2006
J. Adamek, T. Bureš, P. Ježek, J. Kofroň, V. Mencl, P. Parízek, F. Plášil:
Component reliability extensions for fractal component model, Technical report no. XX/2006, Institute of Computer Science Academy of Sciences of the Czech Republic & France Telecom, 2006
Component reliability extensions for fractal component model, Technical report no. XX/2006, Institute of Computer Science Academy of Sciences of the Czech Republic & France Telecom, 2006
P. Ježek, J. Kofroň, F. Plášil:
Model Checking of Component Behavior Specification: A Real Life Experience, in Electronic Notes in Theoretical Computer Science 160, pp. 197-210, 2006
DOI: 10.1016/j.entcs.2006.05.023
Model Checking of Component Behavior Specification: A Real Life Experience, in Electronic Notes in Theoretical Computer Science 160, pp. 197-210, 2006
DOI: 10.1016/j.entcs.2006.05.023
J. Kofroň:
Enhancing Behavior Protocols with Atomic Actions, Technical report no. 2005/08, Department of Software Engineering, Charles University, 2005
Enhancing Behavior Protocols with Atomic Actions, Technical report no. 2005/08, Department of Software Engineering, Charles University, 2005