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: 92
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
Year: 2012
Formal Methods for Industrial Critical systems: 17th International Workshop, FMICS 2012, year: 2012
TACAS 2012: 18th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, year: 2012
Year: 2012