Assistant professor, Department of Computer Science
office: C415
Botanická 554/68a
602 00 Brno
| phone: | +420 549 49 5086 |
|---|---|
| e‑mail: |
|
| social and academic networks: |
|---|
Total number of publications: 18
Fundamental Approaches to Software Engineering - 27th International Conference, FASE 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings, year: 2024
Tools and Algorithms for the Construction and Analysis of Systems - 30th International Conference, TACAS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings, Part III, year: 2024
Tools and Algorithms for the Construction and Analysis of Systems - 30th International Conference, TACAS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings, Part III, year: 2024
Computer Aided Verification. CAV 2023, year: 2023
Logic Programming and Nonmonotonic Reasoning. LPNMR 2022, year: 2022
Tools and Algorithms for the Construction and Analysis of Systems. TACAS 2022, year: 2022
Computer Aided Verification. CAV 2021., year: 2021
2021 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS), year: 2021
Theory and Applications of Satisfiability Testing - SAT 2020 - 23rd International Conference, Alghero, Italy, July 3-10, 2020, Proceedings, year: 2020
CAV 2019: Computer Aided Verification, year: 2019