Assistant professor, Department of Visual Computing
Office: A413
Botanická 554/68a
602 00 Brno
| Phone: | +420 549 49 5835 |
|---|---|
| E‑mail: |
|
Total number of publications: 20
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
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
Year: 2012
Formal Methods for Industrial Critical systems: 17th International Workshop, FMICS 2012, year: 2012
LNCS Proceeding of Memics 2011, year: 2012
Year: 2012
Automated Technology for Verification and Analysis, 9th International Symposium, ATVA 2011, year: 2011
Year: 2010, type: Conference abstract