Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Jan Kofron
@proceedings{DBLP:conf/ecbseerc/2023,
editor = {Jan Kofron and
Tiziana Margaria and
Cristina Seceleanu},
title = {Engineering of Computer-Based Systems - 8th International Conference,
{ECBS} 2023, V{\"{a}}ster{\aa}s, Sweden, October 16-18, 2023,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {14390},
publisher = {Springer},
year = {2024},
url = {https://doi.org/10.1007/978-3-031-49252-5},
doi = {10.1007/978-3-031-49252-5},
isbn = {978-3-031-49251-8},
timestamp = {Thu, 07 Dec 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ecbseerc/2023.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iwpc/HusakKZ23,
author = {Robert Hus{\'{a}}k and
Jan Kofron and
Filip Zavoral},
title = {Slicito: Using Computational Notebooks for Program Comprehension},
booktitle = {31st {IEEE/ACM} International Conference on Program Comprehension,
{ICPC} 2023, Melbourne, Australia, May 15-16, 2023},
pages = {64--68},
publisher = {{IEEE}},
year = {2023},
url = {https://doi.org/10.1109/ICPC58990.2023.00019},
doi = {10.1109/ICPC58990.2023.00019},
timestamp = {Thu, 20 Jul 2023 21:02:45 +0200},
biburl = {https://dblp.org/rec/conf/iwpc/HusakKZ23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fgcs/AliBKB22,
author = {Rima Al Ali and
Lubom{\'{\i}}r Bulej and
Jan Kofron and
Tom{\'{a}}s Bures},
title = {A guide to design uncertainty-aware self-adaptive components in Cyber-Physical
Systems},
journal = {Future Gener. Comput. Syst.},
volume = {128},
pages = {466--489},
year = {2022},
url = {https://doi.org/10.1016/j.future.2021.10.027},
doi = {10.1016/J.FUTURE.2021.10.027},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/fgcs/AliBKB22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/BlichaHKS22,
author = {Martin Blicha and
Antti E. J. Hyv{\"{a}}rinen and
Jan Kofron and
Natasha Sharygina},
title = {Using linear algebra in decomposition of Farkas interpolants},
journal = {Int. J. Softw. Tools Technol. Transf.},
volume = {24},
number = {1},
pages = {111--125},
year = {2022},
url = {https://doi.org/10.1007/s10009-021-00641-z},
doi = {10.1007/S10009-021-00641-Z},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/sttt/BlichaHKS22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/vlc/HusakMZK22,
author = {Robert Hus{\'{a}}k and
Jakub M{\'{\i}}sek and
Filip Zavoral and
Jan Kofron},
title = {PeachPie: Mature {PHP} to {CLI} compiler},
journal = {J. Comput. Lang.},
volume = {73},
pages = {101152},
year = {2022},
url = {https://doi.org/10.1016/j.cola.2022.101152},
doi = {10.1016/J.COLA.2022.101152},
timestamp = {Sun, 22 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/vlc/HusakMZK22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icsoft/HusakKMZ22,
author = {Robert Hus{\'{a}}k and
Jan Kofron and
Jakub M{\'{\i}}sek and
Filip Zavoral},
editor = {Hans{-}Georg Fill and
Marten van Sinderen and
Leszek A. Maciaszek},
title = {Using Procedure Cloning for Performance Optimization of Compiled Dynamic
Languages},
booktitle = {Proceedings of the 17th International Conference on Software Technologies,
{ICSOFT} 2022, Lisbon, Portugal, July 11-13, 2022},
pages = {175--186},
publisher = {{SCITEPRESS}},
year = {2022},
url = {https://doi.org/10.5220/0011272300003266},
doi = {10.5220/0011272300003266},
timestamp = {Tue, 06 Jun 2023 14:58:01 +0200},
biburl = {https://dblp.org/rec/conf/icsoft/HusakKMZ22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sac/BlichaKT22,
author = {Martin Blicha and
Jan Kofron and
William Tatarko},
editor = {Jiman Hong and
Miroslav Bures and
Juw Won Park and
Tom{\'{a}}s Cern{\'{y}}},
title = {Summarization of branching loops},
booktitle = {{SAC} '22: The 37th {ACM/SIGAPP} Symposium on Applied Computing, Virtual
Event, April 25 - 29, 2022},
pages = {1808--1816},
publisher = {{ACM}},
year = {2022},
url = {https://doi.org/10.1145/3477314.3507042},
doi = {10.1145/3477314.3507042},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sac/BlichaKT22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jss/BuresHPSKAG21,
author = {Tom{\'{a}}s Bures and
Petr Hnetynka and
Frantisek Pl{\'{a}}sil and
Dominik Skoda and
Jan Kofron and
Rima Al Ali and
Ilias Gerostathopoulos},
title = {Targeting uncertainty in smart {CPS} by confidence-based logic},
journal = {J. Syst. Softw.},
volume = {181},
pages = {111065},
year = {2021},
url = {https://doi.org/10.1016/j.jss.2021.111065},
doi = {10.1016/J.JSS.2021.111065},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jss/BuresHPSKAG21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/ArcainiKJ20,
author = {Paolo Arcaini and
Jan Kofron and
Pavel Jezek},
title = {Validation of the Hybrid {ERTMS/ETCS} Level 3 using Spin},
journal = {Int. J. Softw. Tools Technol. Transf.},
volume = {22},
number = {3},
pages = {265--279},
year = {2020},
url = {https://doi.org/10.1007/s10009-019-00539-x},
doi = {10.1007/S10009-019-00539-X},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sttt/ArcainiKJ20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/BuresGHPKVK20,
author = {Tom{\'{a}}s Bures and
Ilias Gerostathopoulos and
Petr Hnetynka and
Frantisek Pl{\'{a}}sil and
Filip Krijt and
Jir{\'{\i}} Vin{\'{a}}rek and
Jan Kofron},
title = {A language and framework for dynamic component ensembles in smart
systems},
journal = {Int. J. Softw. Tools Technol. Transf.},
volume = {22},
number = {4},
pages = {497--509},
year = {2020},
url = {https://doi.org/10.1007/s10009-020-00558-z},
doi = {10.1007/S10009-020-00558-Z},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sttt/BuresGHPKVK20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tase/HusakZK20,
author = {Robert Hus{\'{a}}k and
Filip Zavoral and
Jan Kofron},
editor = {Toshiaki Aoki and
Qin Li},
title = {Optimizing Transformations of Dynamic Languages Compiled to Intermediate
Representations},
booktitle = {International Symposium on Theoretical Aspects of Software Engineering,
{TASE} 2020, Hangzhou, China, December 11-13, 2020},
pages = {145--152},
publisher = {{IEEE}},
year = {2020},
url = {https://doi.org/10.1109/TASE49443.2020.00028},
doi = {10.1109/TASE49443.2020.00028},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/tase/HusakZK20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eceasst/HusakKZ19,
author = {Robert Hus{\'{a}}k and
Jan Kofron and
Filip Zavoral},
title = {AskTheCode: Interactive Call Graph Exploration for Error Fixing and
Prevention},
journal = {Electron. Commun. Eur. Assoc. Softw. Sci. Technol.},
volume = {77},
year = {2019},
url = {https://doi.org/10.14279/tuj.eceasst.77.1109},
doi = {10.14279/TUJ.ECEASST.77.1109},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/eceasst/HusakKZ19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fmsd/JancikKAFHS19,
author = {Pavel Janc{\'{\i}}k and
Jan Kofron and
Leonardo Alt and
Grigory Fedyukovich and
Antti E. J. Hyv{\"{a}}rinen and
Natasha Sharygina},
title = {Exploiting partial variable assignment in interpolation-based model
checking},
journal = {Formal Methods Syst. Des.},
volume = {55},
number = {1},
pages = {33--71},
year = {2019},
url = {https://doi.org/10.1007/s10703-019-00342-z},
doi = {10.1007/S10703-019-00342-Z},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fmsd/JancikKAFHS19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/HusakKZ19,
author = {Robert Hus{\'{a}}k and
Jan Kofron and
Filip Zavoral},
editor = {Emil Sekerinski and
Nelma Moreira and
Jos{\'{e}} N. Oliveira and
Daniel Ratiu and
Riccardo Guidotti and
Marie Farrell and
Matt Luckcuck and
Diego Marmsoler and
Jos{\'{e}} Creissac Campos and
Troy Astarte and
Laure Gonnord and
Antonio Cerone and
Luis Couto and
Brijesh Dongol and
Martin Kutrib and
Pedro Monteiro and
David Delmas},
title = {Handling Heap Data Structures in Backward Symbolic Execution},
booktitle = {Formal Methods. {FM} 2019 International Workshops - Porto, Portugal,
October 7-11, 2019, Revised Selected Papers, Part {II}},
series = {Lecture Notes in Computer Science},
volume = {12233},
pages = {537--556},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-54997-8\_33},
doi = {10.1007/978-3-030-54997-8\_33},
timestamp = {Mon, 05 Feb 2024 20:31:40 +0100},
biburl = {https://dblp.org/rec/conf/fm/HusakKZ19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/BlichaHKS19,
author = {Martin Blicha and
Antti E. J. Hyv{\"{a}}rinen and
Jan Kofron and
Natasha Sharygina},
editor = {Tom{\'{a}}s Vojnar and
Lijun Zhang},
title = {Decomposing Farkas Interpolants},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems
- 25th International Conference, {TACAS} 2019, Held as Part of the
European Joint Conferences on Theory and Practice of Software, {ETAPS}
2019, Prague, Czech Republic, April 6-11, 2019, Proceedings, Part
{I}},
series = {Lecture Notes in Computer Science},
volume = {11427},
pages = {3--20},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-17462-0\_1},
doi = {10.1007/978-3-030-17462-0\_1},
timestamp = {Fri, 31 Jan 2020 21:32:25 +0100},
biburl = {https://dblp.org/rec/conf/tacas/BlichaHKS19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asm/ArcainiJK18,
author = {Paolo Arcaini and
Pavel Jezek and
Jan Kofron},
editor = {Michael J. Butler and
Alexander Raschke and
Thai Son Hoang and
Klaus Reichl},
title = {Modelling the Hybrid {ERTMS/ETCS} Level 3 Case Study in Spin},
booktitle = {Abstract State Machines, Alloy, B, TLA, VDM, and {Z} - 6th International
Conference, {ABZ} 2018, Southampton, UK, June 5-8, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10817},
pages = {277--291},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-91271-4\_19},
doi = {10.1007/978-3-319-91271-4\_19},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/asm/ArcainiJK18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/JancikK17,
author = {Pavel Janc{\'{\i}}k and
Jan Kofron},
title = {On partial state matching},
journal = {Formal Aspects Comput.},
volume = {29},
number = {5},
pages = {777--803},
year = {2017},
url = {https://doi.org/10.1007/s00165-016-0413-z},
doi = {10.1007/S00165-016-0413-Z},
timestamp = {Mon, 09 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fac/JancikK17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:journals/corr/KofronT17,
editor = {Jan Kofron and
Jana Tumova},
title = {Proceedings International Workshop on Formal Engineering approaches
to Software Components and Architectures, FESCA@ETAPS 2017, Uppsala,
Sweden, 22nd April 2017},
series = {{EPTCS}},
volume = {245},
year = {2017},
url = {https://doi.org/10.4204/EPTCS.245},
doi = {10.4204/EPTCS.245},
timestamp = {Wed, 12 Sep 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/KofronT17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fase/JancikAFHKS16,
author = {Pavel Janc{\'{\i}}k and
Leonardo Alt and
Grigory Fedyukovich and
Antti E. J. Hyv{\"{a}}rinen and
Jan Kofron and
Natasha Sharygina},
editor = {Perdita Stevens and
Andrzej Wasowski},
title = {{PVAIR:} Partial Variable Assignment InterpolatoR},
booktitle = {Fundamental Approaches to Software Engineering - 19th International
Conference, {FASE} 2016, Held as Part of the European Joint Conferences
on Theory and Practice of Software, {ETAPS} 2016, Eindhoven, The Netherlands,
April 2-8, 2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9633},
pages = {419--434},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-662-49665-7\_25},
doi = {10.1007/978-3-662-49665-7\_25},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fase/JancikAFHKS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sac/JancikK16,
author = {Pavel Janc{\'{\i}}k and
Jan Kofron},
editor = {Sascha Ossowski},
title = {Dead variable analysis for multi-threaded heap manipulating programs},
booktitle = {Proceedings of the 31st Annual {ACM} Symposium on Applied Computing,
Pisa, Italy, April 4-8, 2016},
pages = {1620--1627},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/2851613.2851826},
doi = {10.1145/2851613.2851826},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sac/JancikK16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wicsa/BuresHKAS16,
author = {Tom{\'{a}}s Bures and
Petr Hnetynka and
Jan Kofron and
Rima Al Ali and
Dominik Skoda},
title = {Statistical Approach to Architecture Modes in Smart Cyber Physical
Systems},
booktitle = {13th Working {IEEE/IFIP} Conference on Software Architecture, {WICSA}
2016, Venice, Italy, April 5-8, 2016},
pages = {168--177},
publisher = {{IEEE} Computer Society},
year = {2016},
url = {https://doi.org/10.1109/WICSA.2016.33},
doi = {10.1109/WICSA.2016.33},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/wicsa/BuresHKAS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/memics/2015,
editor = {Jan Kofron and
Tom{\'{a}}s Vojnar},
title = {Mathematical and Engineering Methods in Computer Science - 10th International
Doctoral Workshop, {MEMICS} 2015, Tel{\v{c}}, Czech Republic, October
23-25, 2015, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {9548},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-29817-7},
doi = {10.1007/978-3-319-29817-7},
isbn = {978-3-319-29816-0},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/memics/2015.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:journals/corr/KofronTB16,
editor = {Jan Kofron and
Jana Tumova and
Bara Buhnova},
title = {Proceedings of the 13th International Workshop on Formal Engineering
Approaches to Software Components and Architectures, FESCA@ETAPS 2016,
Eindhoven, The Netherlands, 3rd April 2016},
series = {{EPTCS}},
volume = {205},
year = {2016},
url = {https://doi.org/10.4204/EPTCS.205},
doi = {10.4204/EPTCS.205},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/KofronTB16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:journals/corr/BoudaHKSR16,
editor = {Jan Bouda and
Luk{\'{a}}s Hol{\'{\i}}k and
Jan Kofron and
Jan Strejcek and
Adam Rambousek},
title = {Proceedings 11th Doctoral Workshop on Mathematical and Engineering
Methods in Computer Science, {MEMICS} 2016, Tel{\v{c}}, Czech Republic,
21st-23rd October 2016},
series = {{EPTCS}},
volume = {233},
year = {2016},
url = {https://doi.org/10.4204/EPTCS.233},
doi = {10.4204/EPTCS.233},
timestamp = {Wed, 12 Sep 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/BoudaHKSR16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/darts/HauzarK15,
author = {David Hauzar and
Jan Kofron},
title = {Framework for Static Analysis of {PHP} Applications (Artifact)},
journal = {Dagstuhl Artifacts Ser.},
volume = {1},
number = {1},
pages = {11:1--11:2},
year = {2015},
url = {https://doi.org/10.4230/DARTS.1.1.11},
doi = {10.4230/DARTS.1.1.11},
timestamp = {Tue, 01 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/darts/HauzarK15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoop/HauzarK15,
author = {David Hauzar and
Jan Kofron},
editor = {John Tang Boyland},
title = {Framework for Static Analysis of {PHP} Applications},
booktitle = {29th European Conference on Object-Oriented Programming, {ECOOP} 2015,
July 5-10, 2015, Prague, Czech Republic},
series = {LIPIcs},
volume = {37},
pages = {689--711},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2015},
url = {https://doi.org/10.4230/LIPIcs.ECOOP.2015.689},
doi = {10.4230/LIPICS.ECOOP.2015.689},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ecoop/HauzarK15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/lncs/CombazBTMPK15,
author = {Jacques Combaz and
Saddek Bensalem and
Francesco Tiezzi and
Andrea Margheri and
Rosario Pugliese and
Jan Kofron},
editor = {Martin Wirsing and
Matthias M. H{\"{o}}lzl and
Nora Koch and
Philip Mayer},
title = {Correctness of Service Components and Service Component Ensembles},
booktitle = {Software Engineering for Collective Autonomic Systems - The {ASCENS}
Approach},
series = {Lecture Notes in Computer Science},
volume = {8998},
pages = {107--159},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-16310-9\_3},
doi = {10.1007/978-3-319-16310-9\_3},
timestamp = {Thu, 20 May 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/series/lncs/CombazBTMPK15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/lncs/AbeywickramaCHKKLLMMMMPTVV15,
author = {Dhaminda B. Abeywickrama and
Jacques Combaz and
Vojtech Hork{\'{y}} and
Jaroslav Keznikl and
Jan Kofron and
Alberto Lluch{-}Lafuente and
Michele Loreti and
Andrea Margheri and
Philip Mayer and
Giacoma Valentina Monreale and
Ugo Montanari and
Carlo Pinciroli and
Petr Tuma and
Andrea Vandin and
Emil Vassev},
editor = {Martin Wirsing and
Matthias M. H{\"{o}}lzl and
Nora Koch and
Philip Mayer},
title = {Tools for Ensemble Design and Runtime},
booktitle = {Software Engineering for Collective Autonomic Systems - The {ASCENS}
Approach},
series = {Lecture Notes in Computer Science},
volume = {8998},
pages = {429--448},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-16310-9\_13},
doi = {10.1007/978-3-319-16310-9\_13},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/series/lncs/AbeywickramaCHKKLLMMMMPTVV15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:journals/corr/BuhnovaHK15,
editor = {Bara Buhnova and
Lucia Happe and
Jan Kofron},
title = {Proceedings 12th International Workshop on Formal Engineering approaches
to Software Components and Architectures, {FESCA} 2015, London, United
Kingdom, April 12th, 2015},
series = {{EPTCS}},
volume = {178},
year = {2015},
url = {https://doi.org/10.4204/EPTCS.178},
doi = {10.4204/EPTCS.178},
timestamp = {Wed, 12 Sep 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/BuhnovaHK15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmcad/JancikKRS14,
author = {Pavel Janc{\'{\i}}k and
Jan Kofron and
Simone Fulvio Rollini and
Natasha Sharygina},
title = {On interpolants and variable assignments},
booktitle = {Formal Methods in Computer-Aided Design, {FMCAD} 2014, Lausanne, Switzerland,
October 21-24, 2014},
pages = {123--130},
publisher = {{IEEE}},
year = {2014},
url = {https://doi.org/10.1109/FMCAD.2014.6987604},
doi = {10.1109/FMCAD.2014.6987604},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fmcad/JancikKRS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sefm/HauzarK14,
author = {David Hauzar and
Jan Kofron},
editor = {Dimitra Giannakopoulou and
Gwen Sala{\"{u}}n},
title = {WeVerca: Web Applications Verification for {PHP}},
booktitle = {Software Engineering and Formal Methods - 12th International Conference,
{SEFM} 2014, Grenoble, France, September 1-5, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8702},
pages = {296--301},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-10431-7\_24},
doi = {10.1007/978-3-319-10431-7\_24},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sefm/HauzarK14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/HauzarKB14,
author = {David Hauzar and
Jan Kofron and
Pavel Basteck{\'{y}}},
editor = {Jun Pang and
Yang Liu},
title = {Data-flow Analysis of Programs with Associative Arrays},
booktitle = {Proceedings Third International Workshop on Engineering Safety and
Security Systems, {ESSS} 2014, Singapore, Singapore, 13 May 2014},
series = {{EPTCS}},
volume = {150},
pages = {56--70},
year = {2014},
url = {https://doi.org/10.4204/EPTCS.150.6},
doi = {10.4204/EPTCS.150.6},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/HauzarKB14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/memics/2014,
editor = {Petr Hlinen{\'{y}} and
Zdenek Dvor{\'{a}}k and
Jir{\'{\i}} Jaros and
Jan Kofron and
Jan Korenek and
Petr Matula and
Karel Pala},
title = {Mathematical and Engineering Methods in Computer Science - 9th International
Doctoral Workshop, {MEMICS} 2014, Tel{\v{c}}, Czech Republic, October
17-19, 2014, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {8934},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-14896-0},
doi = {10.1007/978-3-319-14896-0},
isbn = {978-3-319-14895-3},
timestamp = {Fri, 01 Dec 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/memics/2014.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:journals/corr/BuhnovaHK14,
editor = {Barbora Buhnova and
Lucia Happe and
Jan Kofron},
title = {Proceedings 11th International Workshop on Formal Engineering approaches
to Software Components and Architectures, {FESCA} 2014, Grenoble,
France, 12th April 2014},
series = {{EPTCS}},
volume = {147},
year = {2014},
url = {https://doi.org/10.4204/EPTCS.147},
doi = {10.4204/EPTCS.147},
timestamp = {Wed, 12 Sep 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/BuhnovaHK14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/PochSPK13,
author = {Tom{\'{a}}s Poch and
Ondrej Sery and
Frantisek Pl{\'{a}}sil and
Jan Kofron},
title = {Threaded behavior protocols},
journal = {Formal Aspects Comput.},
volume = {25},
number = {4},
pages = {543--572},
year = {2013},
url = {https://doi.org/10.1007/s00165-011-0194-3},
doi = {10.1007/S00165-011-0194-3},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fac/PochSPK13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/fesca/2012,
editor = {Barbora Buhnova and
Lucia Kapov{\'{a}} Happe and
Jan Kofron},
title = {Proceedings the 9th International Workshop on Formal Engineering approaches
to Software Components and Architectures, {FESCA} 2012, Tallinn, Estonia,
March 31, 2012},
series = {Electronic Notes in Theoretical Computer Science},
volume = {295},
publisher = {Elsevier},
year = {2013},
url = {https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/295/suppl/C},
timestamp = {Tue, 22 Nov 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fesca/2012.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:journals/corr/abs-1302-4780,
editor = {Barbora Buhnova and
Lucia Happe and
Jan Kofron},
title = {Proceedings 10th International Workshop on Formal Engineering Approaches
to Software Components and Architectures, {FESCA} 2013, Rome, Italy,
March 23, 2013},
series = {{EPTCS}},
volume = {108},
year = {2013},
url = {https://doi.org/10.4204/EPTCS.108},
doi = {10.4204/EPTCS.108},
timestamp = {Wed, 12 Sep 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1302-4780.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compsac/HauzarK12,
author = {David Hauzar and
Jan Kofron},
editor = {Xiaoying Bai and
Fevzi Belli and
Elisa Bertino and
Carl K. Chang and
Atilla El{\c{c}}i and
Cristina Cerschi Seceleanu and
Haihua Xie and
Mohammad Zulkernine},
title = {On Security Analysis of {PHP} Web Applications},
booktitle = {36th Annual {IEEE} Computer Software and Applications Conference Workshops,
{COMPSAC} 2012, Izmir, Turkey, July 16-20, 2012},
pages = {577--582},
publisher = {{IEEE} Computer Society},
year = {2012},
url = {https://doi.org/10.1109/COMPSACW.2012.106},
doi = {10.1109/COMPSACW.2012.106},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/compsac/HauzarK12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/BuhnovaHK13,
author = {Barbora Buhnova and
Lucia Kapov{\'{a}} Happe and
Jan Kofron},
editor = {Barbora Buhnova and
Lucia Kapov{\'{a}} Happe and
Jan Kofron},
title = {Preface},
booktitle = {Proceedings the 9th International Workshop on Formal Engineering approaches
to Software Components and Architectures, {FESCA} 2012, Tallinn, Estonia,
March 31, 2012},
series = {Electronic Notes in Theoretical Computer Science},
volume = {295},
pages = {1--2},
publisher = {Elsevier},
year = {2012},
url = {https://doi.org/10.1016/j.entcs.2013.04.001},
doi = {10.1016/J.ENTCS.2013.04.001},
timestamp = {Tue, 22 Nov 2022 13:57:41 +0100},
biburl = {https://dblp.org/rec/journals/entcs/BuhnovaHK13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csmr/BeckerHTKK10,
author = {Steffen Becker and
Michael Hauck and
Mircea Trifu and
Klaus Krogmann and
Jan Kofron},
editor = {Rafael Capilla and
Rudolf Ferenc and
Juan C. Due{\~{n}}as},
title = {Reverse Engineering Component Models for Quality Predictions},
booktitle = {14th European Conference on Software Maintenance and Reengineering,
{CSMR} 2010, 15-18 March 2010, Madrid, Spain},
pages = {194--197},
publisher = {{IEEE} Computer Society},
year = {2010},
url = {https://doi.org/10.1109/CSMR.2010.34},
doi = {10.1109/CSMR.2010.34},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/csmr/BeckerHTKK10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wadt/KofronP10,
author = {Jan Kofron and
Frantisek Pl{\'{a}}sil},
editor = {Till Mossakowski and
Hans{-}J{\"{o}}rg Kreowski},
title = {Evolving {SOA} in the Q-ImPrESS Project},
booktitle = {Recent Trends in Algebraic Development Techniques - 20th International
Workshop, {WADT} 2010, Etelsen, Germany, July 1-4, 2010, Revised Selected
Papers},
series = {Lecture Notes in Computer Science},
volume = {7137},
pages = {25--26},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-28412-0\_3},
doi = {10.1007/978-3-642-28412-0\_3},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wadt/KofronP10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/qosa/2010,
editor = {George T. Heineman and
Jan Kofron and
Frantisek Pl{\'{a}}sil},
title = {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},
series = {Lecture Notes in Computer Science},
volume = {6093},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-13821-8},
doi = {10.1007/978-3-642-13821-8},
isbn = {978-3-642-13820-1},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/qosa/2010.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/infsof/KofronPS09,
author = {Jan Kofron and
Frantisek Pl{\'{a}}sil and
Ondrej Sery},
title = {Modes in component behavior specification via {EBP} and their application
in product lines},
journal = {Inf. Softw. Technol.},
volume = {51},
number = {1},
pages = {31--41},
year = {2009},
url = {https://doi.org/10.1016/j.infsof.2008.09.011},
doi = {10.1016/J.INFSOF.2008.09.011},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/infsof/KofronPS09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tfm/KofronPS09,
author = {Jan Kofron and
Pavel Par{\'{\i}}zek and
Ondrej Sery},
editor = {Jeremy Gibbons and
Jos{\'{e}} Nuno Oliveira},
title = {On Teaching Formal Methods: Behavior Models and Code Analysis},
booktitle = {Teaching Formal Methods, Second International Conference, {TFM} 2009,
Eindhoven, The Netherlands, November 2-6, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5846},
pages = {144--157},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-04912-5\_10},
doi = {10.1007/978-3-642-04912-5\_10},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tfm/KofronPS09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sew/KofronPS08,
author = {Jan Kofron and
Tom{\'{a}}s Poch and
Ondrej Sery},
title = {Making Components Fit: SPINing},
booktitle = {32nd Annual {IEEE} Software Engineering Workshop, {SEW} 2008, Kassandra,
Greece, October 15-16, 2008},
pages = {65--74},
publisher = {{IEEE} Computer Society},
year = {2008},
url = {https://doi.org/10.1109/SEW.2008.10},
doi = {10.1109/SEW.2008.10},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sew/KofronPS08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sew/KofronPS08a,
author = {Jan Kofron and
Tom{\'{a}}s Poch and
Ondrej Sery},
title = {{TBP:} Code-Oriented Component Behavior Specification},
booktitle = {32nd Annual {IEEE} Software Engineering Workshop, {SEW} 2008, Kassandra,
Greece, October 15-16, 2008},
pages = {75--83},
publisher = {{IEEE} Computer Society},
year = {2008},
url = {https://doi.org/10.1109/SEW.2008.14},
doi = {10.1109/SEW.2008.14},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sew/KofronPS08a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dagstuhl/BuresDHKPPPST07,
author = {Tom{\'{a}}s Bures and
Martin Deck{\'{y}} and
Petr Hnetynka and
Jan Kofron and
Pavel Par{\'{\i}}zek and
Frantisek Pl{\'{a}}sil and
Tom{\'{a}}s Poch and
Ondrej Sery and
Petr Tuma},
editor = {Andreas Rausch and
Ralf H. Reussner and
Raffaela Mirandola and
Frantisek Pl{\'{a}}sil},
title = {CoCoME in {SOFA}},
booktitle = {The Common Component Modeling Example: Comparing Software Component
Models [result from the Dagstuhl research seminar for CoCoME, August
1-3, 2007]},
series = {Lecture Notes in Computer Science},
volume = {5153},
pages = {388--417},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-85289-6\_15},
doi = {10.1007/978-3-540-85289-6\_15},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dagstuhl/BuresDHKPPPST07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sac/Kofron07,
author = {Jan Kofron},
editor = {Yookun Cho and
Roger L. Wainwright and
Hisham Haddad and
Sung Y. Shin and
Yong Wan Koo},
title = {Checking software component behavior using behavior protocols and
spin},
booktitle = {Proceedings of the 2007 {ACM} Symposium on Applied Computing (SAC),
Seoul, Korea, March 11-15, 2007},
pages = {1513--1517},
publisher = {{ACM}},
year = {2007},
url = {https://doi.org/10.1145/1244002.1244326},
doi = {10.1145/1244002.1244326},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sac/Kofron07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sew/ParizekPK06,
author = {Pavel Par{\'{\i}}zek and
Frantisek Pl{\'{a}}sil and
Jan Kofron},
title = {Model Checking of Software Components: Combining Java PathFinder and
Behavior Protocol Model Checker},
booktitle = {30th Annual {IEEE} / {NASA} Software Engineering Workshop {(SEW-30}
2006), 25-28 April 2006, Loyola College Graduate Center, Columbia,
MD, {USA}},
pages = {133--141},
publisher = {{IEEE} Computer Society},
year = {2006},
url = {https://doi.org/10.1109/SEW.2006.23},
doi = {10.1109/SEW.2006.23},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sew/ParizekPK06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/JezekKP06,
author = {Pavel Jezek and
Jan Kofron and
Frantisek Pl{\'{a}}sil},
editor = {Zhiming Liu and
Lu{\'{\i}}s Soares Barbosa},
title = {Model Checking of Component Behavior Specification: {A} Real Life
Experience},
booktitle = {Proceedings of the International Workshop on Formal Aspects of Component
Software, {FACS} 2005, Macao, October 24-25, 2005},
series = {Electronic Notes in Theoretical Computer Science},
volume = {160},
pages = {197--210},
publisher = {Elsevier},
year = {2005},
url = {https://doi.org/10.1016/j.entcs.2006.05.023},
doi = {10.1016/J.ENTCS.2006.05.023},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/entcs/JezekKP06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
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.
last updated on 2024-04-25 02:45 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
