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

PhD

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

+3614633594

micskei.zoltan@vik.bme.hu

Groups

Critical Systems Research Group (ftsrg)

Faculty

Faculty of Electrical Engineering and Informatics

Department

Department of Measurement and Information Systems

Research keywords: · software engineering · software testing · model-based systems engineering
Horizon Europe keywords: · CCAM · Disaster-resilient physical and digital infrastructures · Next generation computing and data technologies · Smart and sustainable transport and mobility

http://mit.bme.hu/~micskeiz

https://www.linkedin.com/in/zoltanmicskei

https://www.twitter.com/micskeiz

Publications Awards Projects Conferences Other activities

Publications

- 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

Awards

- 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)

Projects

- 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

Conferences

- 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