Professor, Department of Computer Science
Office: C414
Botanická 554/68a
602 00 Brno
| Phone: | +420 549 49 6941 |
|---|---|
| E‑mail: |
|
| social and academic networks: |
|---|
Total number of publications: 86
Tools and Algorithms for the Construction and Analysis of Systems - 20th International Conference, TACAS 2014, year: 2014
Automated Technology for Verification and Analysis - 12th International Symposium, ATVA 2014, year: 2014
Verification, Model Checking, and Abstract Interpretation: 14th International Conference, VMCAI 2013, year: 2013
11th International Symposium on Automated Technology for Verification and Analysis, ATVA 2013, year: 2013
Logic for Programming Artificial Intelligence and Reasoning, LPAR-19, year: 2013
Model Checking Software - 20th International Symposium, SPIN 2013, year: 2013
11th International Symposium on Automated Technology for Verification and Analysis, ATVA 2013, year: 2013
Tools and Algorithms for the Construction and Analysis of Systems - 19th International Conference, TACAS 2013, year: 2013
Proceedings of the 2012 International Symposium on Software Testing and Analysis, ISSTA 2012, year: 2012
Mathematical Structures in Computer Science, year: 2012, volume: 22, edition: 2, DOI