I am looking for partners in the research area.

I am looking for partners interested in the Horizon Europe Call.

I am looking for partners for the Horizon Europe research area.

I am looking for laboratory facilities in the research/application area.

Associate Professor

Dr. Zoltán Micskei


H-1117 Budapest, Magyar tudósok körútja 2., Building I, Room B.419.




- D. Honfi, Z. Micskei. “Classifying generated white-box tests: an exploratory study”, Software Quality Journal
(SQJ), 27:3, pp. 1339–1380, 2019. DOI: 10.1007/s11219-019-09446-5
- Á. Hajdu, Z. Micskei. “Efficient Strategies for CEGAR-Based Model Checking”, Journal of Automated Reasoning
(JAR), 64, pp. 1051-1091, 2020. DOI: 10.1007/s10817-019-09535-x
- L. Cseppentő, Z. Micskei. “Evaluating code-based test input generator tools”, Software Testing, Verification and
Reliability (STVR), 27:6, pp. 1–24, 2017. DOI: 10.1002/stvr.1627
- Z. Micskei and H. Waeselynck. “The many meanings of UML 2 Sequence Diagrams: a survey”, Software and
Systems Modeling (SoSyM), 10:4, pp. 489–514, 2011. DOI: 10.1007/s10270-010-0157-9
- Z. Micskei, I. Majzik, H. Madeira, M. Vieira, N. Antunes, A. Avritzer. “Robustness Testing Techniques and Tools”,
Resilience Assessment and Evaluation of Computing Systems, Springer, 2012. DOI: 10.1007/978-3-642-29032-9_16


- Ten Year Most Influential Paper: Journal of Software and Systems Modeling (2021)
- Kalmár Award: John von Neumann Computer Society (2021)
- Senior Member: Association for Computing Machinery (2021)


- Environment for model-based rigorous adaptive co-design and operation of CPS (EMBRACE), 2020-2022, EU, ITEA4 18039, site leader
- Addressing Verification and Validation Challenges in Future CPS (ADVANCE), 2019-2024, EU H2020, RISE 823788, site leader
- Arrowhead Tools for Engineering of Digitalisation Solutions, 2019-2022, EU H2020, ECSEL 823788, co-PI
- Safety Sceince and Technology Competence Center, 2021-2023, NKFIH, Competence Center, co-PI


- 33rd International Symposium on Distributed Computing (DISC), 15-17 October 2019, Budapest (Hungary), General Co-Chair
- 17th IEEE High Assurance Systems Engineering Symposium (HASE), January 2016, Orlando (USA), Panel co-chair
- Member of the Technical Program Committee of 20 international conferences

Other activities

- Hungarian Young Academy: member (2022-2027)
- Membership: ACM, NJSZT