Zoltán Micskei

Zoltán Micskei

Budapest University of Technology and Economics - Budapest / Hungary
Engineering & Technology / Computer Science
AD Scientific Index ID: 1848078
Budapesti Muszaki és Gazdaságtudományi Egyetem
person_outline Zoltán Micskei's MOST POPULAR ARTICLES
1-) The many meanings of UML 2 Sequence Diagrams: a surveyZ Micskei, H WaeselynckSoftware and Systems Modeling 10 (4), 489-514, 20111252011
2-) THETA: a Framework for Abstraction Refinement-Based Model CheckingT Tóth, A Hajdu, A Vörös, Z Micskei, I Majzik17th Conference on Formal Methods in Computer-Aided Design (FMCAD), 2017602017
3-) A concept for testing robustness and safety of the context-aware behaviour of autonomous systemsZ Micskei, Z Szatmári, J Oláh, I MajzikAgent and Multi-Agent Systems. Technologies and Applications, 504-513, 2012602012
4-) Towards system-level testing with coverage guarantees for autonomous vehiclesI Majzik, O Semeráth, C Hajdu, K Marussy, Z Szatmári, Z Micskei, A Vörös, ...2019 ACM/IEEE 22nd International Conference on Model Driven Engineering …, 2019442019
5-) Efficient strategies for CEGAR-based model checkingÁ Hajdu, Z MicskeiJournal of Automated Reasoning 64 (6), 1051-1091, 2020422020