Link
bibtex
×
BibTeX
@inproceedings{husak_handling_2019,
title = {{Handling Heap Data Structures in Backward Symbolic Execution}},
author = {Husák, Robert and Kofroň, Jan and Zavoral, Filip},
year = {2019},
booktitle = {{Pre-proceedings for TAPAS 2019}},
location = {Portugal},
url = {https://staticanalysis.org/tapas2019/talks/tapas19-pre.pdf},
}
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
Link
bibtex
×
BibTeX
@article{arcaini_validation_2019,
title = {{Validation of the Hybrid ERTMS/ETCS Level 3 using Spin}},
author = {Arcaini, Paolo and Kofroň, Jan and Ježek, Pavel},
year = {2019},
journal = {{International Journal on Software Tools for Technology Transfer}},
doi = {10.1007/s10009-019-00539-x},
issn = {1433-2787},
url = {https://doi.org/10.1007/s10009-019-00539-x},
}
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
Link
bibtex
×
BibTeX
@inproceedings{blicha_decomposing_2019,
title = {{Decomposing Farkas Interpolants}},
author = {Blicha, Martin and Hyvärinen, Antti E. J. and Kofroň, Jan and Sharygina, Natasha},
year = {2019},
booktitle = {{Tools and Algorithms for the Construction and Analysis of Systems}},
editor = {Vojnar, Tomáš and Zhang, Lijun},
publisher = {Springer International Publishing},
series = {{Lecture Notes in Computer Science}},
doi = {10.1007/978-3-030-17462-0_1},
isbn = {978-3-030-17462-0},
pages = {3–20},
}
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
Link
bibtex
×
BibTeX
@article{husak_askthecode_2019,
title = {{AskTheCode: Interactive Call Graph Exploration for Error Fixing and Prevention}},
author = {Husák, Robert and Kofroň, Jan and Zavoral, Filip},
year = {2019},
journal = {{Electronic Communications of the EASST}},
number = {0},
doi = {10.14279/tuj.eceasst.77.1109},
issn = {1863-2122},
url = {https://journal.ub.tu-berlin.de/eceasst/article/view/1109},
volume = {77},
shorttitle = {AskTheCode},
}
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
Link
bibtex
×
BibTeX
@article{jancik_exploiting_2019,
title = {{Exploiting partial variable assignment in interpolation-based model checking}},
author = {Jančík, Pavel and Kofroň, Jan and Alt, Leonardo and Fedyukovich, Grigory and Hyvärinen, Antti E. J. and Sharygina, Natasha},
year = {2019},
journal = {{Formal Methods in System Design}},
doi = {10.1007/s10703-019-00342-z},
issn = {1572-8102},
url = {https://doi.org/10.1007/s10703-019-00342-z},
}
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
Link
bibtex
×
BibTeX
@inproceedings{arcaini_modelling_2018,
title = {{Modelling the Hybrid ERTMS/ETCS Level 3 Case Study in Spin}},
author = {Arcaini, Paolo and Ježek, Pavel and Kofroň, Jan},
year = {2018},
booktitle = {{Abstract State Machines, Alloy, B, TLA, VDM, and Z}},
editor = {Butler, Michael and Raschke, Alexander and Hoang, Thai Son and Reichl, Klaus},
publisher = {Springer International Publishing},
series = {{Lecture Notes in Computer Science}},
doi = {10.1007/978-3-319-91271-4_19},
isbn = {978-3-319-91271-4},
pages = {277–291},
url = {https://link.springer.com/chapter/10.1007%2F978-3-319-91271-4_19},
}
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
Link
bibtex
×
BibTeX
@article{jancik_partial_2017,
title = {{On partial state matching}},
author = {Jančík, Pavel and Kofroň, Jan},
year = {2017},
journal = {{Formal Aspects of Computing}},
number = {5},
doi = {10.1007/s00165-016-0413-z},
issn = {1433-299X},
pages = {777–803},
url = {10.1007/s00165-016-0413-z},
volume = {29},
}
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
Link
bibtex
×
BibTeX
@inproceedings{jancik_dead_2016,
title = {{Dead Variable Analysis for Multi-threaded Heap Manipulating Programs}},
author = {Jančík, Pavel and Kofroň, Jan},
year = {2016},
booktitle = {{Proceedings of the 31st Annual ACM Symposium on Applied Computing}},
publisher = {ACM},
series = {{SAC ‘16}},
location = {New York, NY, USA},
doi = {10.1145/2851613.2851826},
isbn = {978-1-4503-3739-7},
pages = {1620–1627},
url = {http://doi.acm.org/10.1145/2851613.2851826},
}
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
Link
bibtex
×
BibTeX
@inproceedings{jancik_pvair_2016,
title = {{PVAIR: Partial Variable Assignment InterpolatoR}},
author = {Jančík, Pavel and Alt, Leonardo and Fedyukovich, Grigory and Hyvärinen, Antti E. J. and Kofroň, Jan and Sharygina, Natasha},
year = {2016},
booktitle = {{Proceedings of FASE 2016}},
editor = {Stevens, Perdita and Wąsowski, Andrzej},
publisher = {Springer Berlin Heidelberg},
series = {{Lecture Notes in Computer Science}},
doi = {10.1007/978-3-662-49665-7_25},
isbn = {978-3-662-49665-7},
pages = {419–434},
shorttitle = {PVAIR},
}
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
Link
bibtex
×
BibTeX
@incollection{combaz_correctness_2015,
title = {{Correctness of Service Components and Service Component Ensembles}},
author = {Combaz, Jacques and Bensalem, Saddek and Tiezzi, Francesco and Margheri, Andrea and Pugliese, Rosario and Kofroň, Jan},
year = {2015},
booktitle = {{Software Engineering for Collective Autonomic Systems: The ASCENS Approach}},
editor = {Wirsing, Martin and Hölzl, Matthias and Koch, Nora and Mayer, Philip},
publisher = {Springer International Publishing},
series = {{Lecture Notes in Computer Science}},
location = {Cham},
doi = {10.1007/978-3-319-16310-9_3},
isbn = {978-3-319-16310-9},
pages = {107–159},
url = {https://doi.org/10.1007/978-3-319-16310-9_3},
}
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
Link
bibtex
×
BibTeX
@incollection{abeywickrama_tools_2015,
title = {{Tools for Ensemble Design and Runtime}},
author = {Abeywickrama, Dhaminda B. and Combaz, Jacques and Horký, Vojtěch and Keznikl, Jaroslav and Kofroň, Jan and Lafuente, Alberto Lluch and Loreti, Michele and Margheri, Andrea and Mayer, Philip and Monreale, Valentina and Montanari, Ugo and Pinciroli, Carlo and Tůma, Petr and Vandin, Andrea and Vassev, Emil},
year = {2015},
booktitle = {{Software Engineering for Collective Autonomic Systems}},
editor = {Wirsing, Martin and Hölzl, Matthias and Koch, Nora and Mayer, Philip},
publisher = {Springer International Publishing},
series = {{Lecture Notes in Computer Science}},
number = {8998},
isbn = {978-3-319-16309-3 978-3-319-16310-9},
pages = {429–448},
url = {http://link.springer.com/chapter/10.1007/978-3-319-16310-9_13},
}
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
PDF
bibtex
×
BibTeX
@techreport{bures_statistical_report_2015,
title = {{Statistical Approach to Architecture Modes in Smart Cyber Physical Systems}},
author = {Bureš, Tomáš and Hnětynka, Petr and Kofroň, Jan and Al-Ali, Rima and Škoda, Dominik},
year = {2015},
institution = {Department of Distributed and Dependable Systems, Charles University},
number = {D3S-TR-2015-04},
}
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
Link
bibtex
×
BibTeX
@inproceedings{hauzar_framework_2015,
title = {{Framework for Static Analysis of PHP Applications}},
author = {Hauzar, David and Kofroň, Jan},
year = {2015},
booktitle = {{Proceedings of ECOOP 2015}},
editor = {Boyland, John Tang},
publisher = {Schloss Dagstuhl–Leibniz-Zentrum fuer Informatik},
series = {{Leibniz International Proceedings in Informatics (LIPIcs)}},
location = {Dagstuhl, Germany},
doi = {10.4230/LIPIcs.ECOOP.2015.689},
isbn = {978-3-939897-86-6},
pages = {689–711},
url = {http://drops.dagstuhl.de/opus/volltexte/2015/5243},
volume = {37},
}
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
Link
bibtex
×
BibTeX
@inproceedings{hauzar_dataflow_2014,
title = {{Data-flow Analysis of Programs with Associative Arrays}},
author = {Hauzar, David and Kofroň, Jan and Baštecký, Pavel},
year = {2014},
booktitle = {{Proceedings of ESSS 2014}},
publisher = {EPTCS},
doi = {10.4204/EPTCS.150.6},
url = {https://arxiv.org/abs/1405.1116},
}
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
Link
bibtex
×
BibTeX
@inproceedings{hauzar_weverca_2014,
title = {{WeVerca: Web Applications Verification for PHP}},
author = {Hauzar, David and Kofroň, Jan},
year = {2014},
booktitle = {{Proceedings of SEFM 2014}},
editor = {Giannakopoulou, Dimitra and Salaün, Gwen},
publisher = {Springer International Publishing},
series = {{Lecture Notes in Computer Science}},
doi = {10.1007/978-3-319-10431-7_24},
isbn = {978-3-319-10430-0},
pages = {296–301},
url = {https://link.springer.com/chapter/10.1007/978-3-319-10431-7_24},
shorttitle = {WeVerca},
}
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
Link
bibtex
×
BibTeX
@inproceedings{jancik_interpolants_2014,
title = {{On Interpolants and Variable Assignments}},
author = {Jancik, Pavel and Kofroň, Jan and Rollini, Simone Fulvio and Sharygina, Natasha},
year = {2014},
booktitle = {{Proceedings of FMCAD 2014}},
publisher = {FMCAD Inc},
series = {{FMCAD ‘14}},
location = {Austin, TX},
doi = {10.1109/FMCAD.2014.6987604},
isbn = {978-0-9835678-4-4},
pages = {123–130},
url = {http://dl.acm.org/citation.cfm?id=2682923.2682948},
}
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
Link
bibtex
×
BibTeX
@article{poch_threaded_2013,
title = {{Threaded behavior protocols}},
author = {Poch, Tomáš and Šerý, Ondřej and Plášil, František and Kofroň, Jan},
year = {2013},
journal = {{Formal Aspects of Computing}},
number = {4},
doi = {10.1007/s00165-011-0194-3},
issn = {0934-5043, 1433-299X},
pages = {543–572},
url = {https://link.springer.com/article/10.1007/s00165-011-0194-3},
volume = {25},
}
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
PDF
bibtex
×
BibTeX
@techreport{jancik_partial_report_2013,
title = {{On Partial Variable Assignment Interpolants}},
author = {Jančík, Pavel and Kofroň, Jan},
year = {2013},
institution = {Department of Distributed and Dependable Systems, Charles University},
number = {D3S-TR-2013-05},
}
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
Link
bibtex
×
BibTeX
@inproceedings{jancik_bejc_2012,
title = {{BeJC: Checking Compliance Between Java Implementation and Behavior Specification}},
author = {Jančík, Pavel and Parízek, Pavel and Kofroň, Jan},
year = {2012},
booktitle = {{Proceedings of WCOP 2014}},
publisher = {ACM},
series = {{WCOP ‘12}},
location = {New York, NY, USA},
doi = {10.1145/2304676.2304683},
isbn = {978-1-4503-1348-3},
pages = {31–36},
url = {http://doi.acm.org/10.1145/2304676.2304683},
shorttitle = {BeJC},
}
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
Link
bibtex
×
BibTeX
@inproceedings{kucera_automated_2012,
title = {{Automated Deployment of Hierarchical Components}},
author = {Kučera, Tomas and Hnětynka, Petr and Kofroň, Jan},
year = {2012},
booktitle = {{Proceedings of SNPD 2012}},
editor = {Lee, Roger},
publisher = {Springer Berlin Heidelberg},
series = {{Studies in Computational Intelligence}},
doi = {10.1007/978-3-642-32172-6_10},
isbn = {978-3-642-32172-6},
pages = {117–128},
url = {https://link.springer.com/chapter/10.1007/978-3-642-32172-6_10},
}
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
Link
bibtex
×
BibTeX
@inproceedings{hauzar_security_2012,
title = {{On Security Analysis of PHP Web Applications}},
author = {Hauzar, David and Kofroň, Jan},
year = {2012},
booktitle = {{Proceedings of STPSA 2012}},
doi = {10.1109/COMPSACW.2012.106},
isbn = {978-1-4673-2714-5},
pages = {577–582},
url = {https://ieeexplore.ieee.org/document/6341638},
}
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
PDF
bibtex
×
BibTeX
@techreport{kofron_refinement_report_2011,
title = {{Refinement between TBP and Java Implementation of Components}},
author = {Kofroň, Jan and Jančík, Pavel and Parízek, Pavel},
year = {2011},
institution = {Department of Distributed and Dependable Systems, Charles University},
number = {2011/5},
}
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
PDF
bibtex
×
BibTeX
@techreport{hauzar_hunting_report_2011,
title = {{Hunting Bugs Inside Web Applications}},
author = {Hauzar, David and Kofroň, Jan},
year = {2011},
institution = {Department of Informatics, KIT},
number = {2011-26},
}
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
Link
bibtex
×
BibTeX
@inproceedings{kofron_evolving_2010,
title = {{Evolving SOA in the Q-ImPrESS Project.}},
author = {Kofron, Jan and Plasil, Frantisek},
year = {2010},
booktitle = {{Recent Trends in Algebraic Development Techniques - 20th International Workshop, WADT 2010, Etelsen, Germany, July 1-4, 2010, Revised Selected Papers}},
doi = {10.1007/978-3-642-28412-0_3},
pages = {25–26},
url = {https://doi.org/10.1007/978-3-642-28412-0_3},
}
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
Link
bibtex
×
BibTeX
@inproceedings{becker_reverse_2010,
title = {{Reverse Engineering Component Models for Quality Predictions}},
author = {Becker, Steffen and Hauck, Michael and Trifu, Mircea and Krogmann, Klaus and Kofroň, Jan},
year = {2010},
booktitle = {{Proceedings of CSMR 2010}},
publisher = {IEEE},
location = {Madrid, Spain},
doi = {10.1109/CSMR.2010.34},
isbn = {978-1-61284-369-8},
pages = {194–197},
url = {https://ieeexplore.ieee.org/document/5714435},
}
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
Link
bibtex
×
BibTeX
@article{kofron_modes_2009,
title = {{Modes in component behavior specification via EBP and their application in product lines}},
author = {Kofroň, Jan and Plášil, František and Šerý, Ondřej},
year = {2009},
journal = {{Information and Software Technology}},
series = {{Special Section - Most Cited Articles in 2002 and Regular Research Papers}},
number = {1},
doi = {10.1016/j.infsof.2008.09.011},
issn = {0950-5849},
pages = {31–41},
url = {http://www.sciencedirect.com/science/article/pii/S0950584908001341},
volume = {51},
}
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
Link
bibtex
×
BibTeX
@inproceedings{kofron_teaching_2009,
title = {{On Teaching Formal Methods: Behavior Models and Code Analysis}},
author = {Kofroň, Jan and Parízek, Pavel and Šerý, Ondřej},
year = {2009},
booktitle = {{Proceedings of TFM 2009}},
editor = {Gibbons, Jeremy and Oliveira, José Nuno},
publisher = {Springer Berlin Heidelberg},
series = {{Lecture Notes in Computer Science}},
doi = {10.1007/978-3-642-04912-5_10},
isbn = {978-3-642-04912-5},
pages = {144–157},
url = {https://link.springer.com/chapter/10.1007/978-3-642-04912-5_10},
shorttitle = {On Teaching Formal Methods},
}
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
bibtex
×
BibTeX
@techreport{becker_service_report_2008,
title = {{Service Architecture Meta Model}},
author = {Becker, Steffen and Bulej, Lubomır and Bures, T. and Hnetynka, Petr and Kapova, Lucia and Kofron, Jan and Koziolek, Heiko and Kraft, Johan and Mirandola, Raffaella and Stammel, Johannes and Tamburrelli, Giordano and Trifu, Mircea},
year = {2008},
}
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
Link
bibtex
×
BibTeX
@incollection{bures_cocome_2008,
title = {{CoCoME in SOFA}},
author = {Bureš, Tomáš and Děcký, Martin and Hnětynka, Petr and Kofroň, Jan and Parízek, Pavel and Plášil, František and Poch, Tomáš and Šerý, Ondřej and Tůma, Petr},
year = {2008},
booktitle = {{The Common Component Modeling Example: Comparing Software Component Models}},
editor = {Rausch, Andreas and Reussner, Ralf and Mirandola, Raffaela and Plášil, František},
publisher = {Springer Berlin Heidelberg},
series = {{Lecture Notes in Computer Science}},
location = {Berlin, Heidelberg},
doi = {10.1007/978-3-540-85289-6_15},
isbn = {978-3-540-85289-6},
pages = {388–417},
url = {https://doi.org/10.1007/978-3-540-85289-6_15},
}
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
Link
bibtex
×
BibTeX
@inproceedings{kofron_making_2008,
title = {{Making Components Fit: SPINing}},
author = {Kofroň, Jan and Poch, Tomáš and Šerý, Ondřej},
year = {2008},
booktitle = {{Proceedings of SEW 2008}},
doi = {10.1109/SEW.2008.10},
isbn = {978-0-7695-3617-0},
pages = {65–74},
url = {https://ieeexplore.ieee.org/document/5328451},
shorttitle = {Making Components Fit},
}
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
Link
bibtex
×
BibTeX
@inproceedings{kofron_tbp_2008,
title = {{TBP: Code-Oriented Component Behavior Specification}},
author = {Kofroň, Jan and Poch, Tomáš and Šerý, Ondřej},
year = {2008},
booktitle = {{Proceedings of SEW 2008}},
publisher = {IEEE},
doi = {10.1109/SEW.2008.14},
isbn = {978-0-7695-3617-0},
pages = {75–83},
url = {https://ieeexplore.ieee.org/document/5328403},
shorttitle = {TBP},
}
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
Link
bibtex
×
BibTeX
@inproceedings{kofron_checking_2007,
title = {{Checking Software Component Behavior Using Behavior Protocols and Spin}},
author = {Kofroň, Jan},
year = {2007},
booktitle = {{Proceedings SAC 2007}},
publisher = {ACM},
series = {{SAC ‘07}},
location = {New York, NY, USA},
doi = {10.1145/1244002.1244326},
isbn = {978-1-59593-480-2},
pages = {1513–1517},
url = {http://doi.acm.org/10.1145/1244002.1244326},
}
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
PDF
bibtex
×
BibTeX
@techreport{kofron_extending_report_2006,
title = {{Extending Behavior Protocols With Data and Multisynchronization}},
author = {Kofroň, Jan},
year = {2006},
institution = {Department of Software Engineering, Charles University},
number = {2006/10},
}
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
Link
bibtex
×
BibTeX
@techreport{adamek_component_report_2006,
title = {{Component reliability extensions for fractal component model}},
author = {Adamek, Jiri and Bures, Tomas and Jezek, Pavel and Kofron, Jan and Mencl, Vladimir and Parizek, Pavel and Plasil, Frantisek},
year = {2006},
institution = {Institute of Computer Science Academy of Sciences of the Czech Republic & France Telecom},
number = {XX/2006},
url = {http://kraken.cs.cas.cz/},
}
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
Link
bibtex
×
BibTeX
@article{jezek_model_2006,
title = {{Model Checking of Component Behavior Specification: A Real Life Experience}},
author = {Ježek, Pavel and Kofroň, Jan and Plášil, František},
year = {2006},
journal = {{Electronic Notes in Theoretical Computer Science}},
series = {{Proceedings of the International Workshop on Formal Aspects of Component Software (FACS 2005)}},
doi = {10.1016/j.entcs.2006.05.023},
issn = {1571-0661},
pages = {197–210},
url = {http://www.sciencedirect.com/science/article/pii/S1571066106003859},
volume = {160},
shorttitle = {Model Checking of Component Behavior Specification},
}
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
PDF
bibtex
×
BibTeX
@techreport{kofron_software_report_2006,
title = {{Software Component Verification: On Translating Behavior Protocols to Promela}},
author = {Kofroň, Jan},
year = {2006},
institution = {Department of Software Engineering, Charles University},
number = {2006/11},
}
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
PDF
bibtex
×
BibTeX
@techreport{parizek_model_report_2006,
title = {{Model Checking of Software Components: Making Java PathFinder Cooperate with Behavior Protocol Checker}},
author = {Parízek, Pavel and Plášil, František and Kofroň, Jan},
year = {2006},
institution = {Department of Software Engineering, Charles University},
number = {2006/02},
}
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
Link
PDF
bibtex
×
BibTeX
@article{mach_behavior_2005,
title = {{Behavior Protocols Verification: Fighting State Explosion}},
author = {Mach, Martin and Plášil, František and Kofroň, Jan},
year = {2005},
journal = {{International Journal of Computer and Information Science}},
number = {1},
issn = {1525-9293},
pages = {22–30},
url = {https://www.semanticscholar.org/paper/Behavior-Protocols-Verification-%3A-Fighting-State-Mach-Plasil/07450736bfcd18a475eabd1a07bc997d1fcb45ac},
volume = {6},
shorttitle = {Behavior Protocols Verification},
}
M. Mach, F. Plášil, J. Kofroň:
Behavior Protocols Verification: Fighting State Explosion, in International Journal of Computer and Information Science 6(1), pp. 22-30, 2005
Behavior Protocols Verification: Fighting State Explosion, in International Journal of Computer and Information Science 6(1), pp. 22-30, 2005
PDF
bibtex
×
BibTeX
@techreport{kofron_enhancing_report_2005,
title = {{Enhancing Behavior Protocols with Atomic Actions}},
author = {Kofroň, Jan},
year = {2005},
institution = {Department of Software Engineering, Charles University},
number = {2005/08},
}
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
Filter
- show all
- Rima Al-Ali
- Martin Blicha
- Tomáš Bureš
- Lubomír Bulej
- Jakub Daniel
- Vlastimil Dort
- Petr Hnětynka
- Vojtěch Horký
- Pavel Ježek
- Filip Kliber
- Jan Kofroň
- Alena Koubková
- Jan Pacovský
- Pavel Parízek
- František Plášil
- Dominik Škoda
- Petr Tůma
- Jiří Vinárek
- Jiří Adámek
- Paolo Arcaini
- Vlastimil Babka
- Martin Děcký
- Ilias Gerostathopoulos
- David Hauzar
- Pavel Jančík
- Zbyněk Jiráček
- Tomáš Kalibera
- Lucia Kapová
- Jaroslav Keznikl
- Michal Kit
- Filip Krijt
- Peter Libič
- Michal Malohlava
- Vladimír Matěna
- Vladimír Mencl
- Andrej Podzimek
- Tomáš Poch
- Tomáš Pop
- Antonín Steinhauser
- Ondřej Šerý
- Viliam Šimko