-
BEYER Dirk
STREJČEK Jan
Article in Proceedings
Static Analysis - 29th International Symposium, SAS 2022, Auckland, New Zealand, December 5–7, 2022, Proceedings, year: 2022
-
CHALUPA Marek
MIHALKOVIČ Vincent
ŘECHTÁČKOVÁ Anna
ZAORAL Lukáš
STREJČEK Jan
Article in Proceedings
Tools and Algorithms for the Construction and Analysis of Systems - 28th International Conference, TACAS 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2-7, 2022, Proceedings, Part II, year: 2022
-
AYAZIOVÁ Paulína
CHALUPA Marek
STREJČEK Jan
Article in Proceedings
Tools and Algorithms for the Construction and Analysis of Systems - 28th International Conference, TACAS 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2-7, 2022, Proceedings, Part II, year: 2022
-
CHALUPA Marek
STREJČEK Jan
Article in Proceedings
Static Analysis - 28th International Symposium, SAS 2021, Chicago, IL, USA, October 17-19, 2021, Proceedings, year: 2021
-
SÍČ Juraj
STREJČEK Jan
Article in Proceedings
Theory and Applications of Satisfiability Testing - SAT 2021 - 24th International Conference, Barcelona, Spain, July 5-9, 2021, Proceedings, year: 2021
-
CHALUPA Marek
KLAŠKA David
STREJČEK Jan
TOMOVIČ Lukáš
Article in Proceedings
Computer Aided Verification - 33rd International Conference, CAV 2021, Virtual Event, July 20-23, 2021, Proceedings, Part II, year: 2021
-
CHALUPA Marek
JAŠEK Tomáš
NOVÁK Jakub
ŘECHTÁČKOVÁ Anna
ŠOKOVÁ Veronika
STREJČEK Jan
Article in Proceedings
Tools and Algorithms for the Construction and Analysis of Systems - 27th International Conference, TACAS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 - April 1, 2021, Proceedings, Part II, year: 2021
-
CHALUPA Marek
NOVÁK Jakub
STREJČEK Jan
Article in Proceedings
Fundamental Approaches to Software Engineering - 24th International Conference, FASE 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 - April 1, 2021, Proceedings, year: 2021
-
CHALUPA Marek
VITOVSKÁ Martina
JAŠEK Tomáš
ŠIMÁČEK Michael
STREJČEK Jan
Article in Periodical
International Journal on Software Tools for Technology Transfer, year: 2021, volume: 23, edition: 6, DOI
-
CHALUPA Marek
JAŠEK Tomáš
NOVÁK Jakub
ŘECHTÁČKOVÁ Anna
ŠOKOVÁ Veronika
STREJČEK Jan
Year: 2021