Concepedia

Zoltán Micskei

ZM

Statistics

Publications

12

Citations

324

H-Index

10

Active since

2006

Affiliations

Budapest University of Technology and Economics(Current)

Centre National de la Recherche Scientifique

Johannes Kepler University of Linz

Laboratoire d'Analyse et d'Architecture des Systèmes

Zoltán Micskei is an author at Budapest University of Technology and Economics specializing in engineering, formal methods, and computer science.

Top concepts

EngineeringVerificationFormal MethodsComputer ScienceFormal VerificationSoftware AnalysisSystems EngineeringSoftware EngineeringSoftware DesignSoftware Testing

Publications per year

2006–2023

12

Publications

12

The many meanings of UML 2 Sequence Diagrams: a survey

Zoltán Micskei, Hélène Waeselynck · Software & Systems Modeling · 2010 · 97 citations

Engineering, Diagrammatic Reasoning, Modeling Notation +8

Theta: A framework for abstraction refinement-based model checking

Tamás Tóth, Ákos Hajdu, Andras Vorcos et al. · 2017 · 49 citations

Engineering, Verification, Software Engineering +21

Towards System-Level Testing with Coverage Guarantees for Autonomous Vehicles

István Majzik, Oszkár Semeráth, Csaba Hajdu et al. · 2019 · 39 citations

Engineering, Verification, Safety Science +23

Efficient Strategies for CEGAR-Based Model Checking

Ákos Hajdu, Zoltán Micskei · Journal of Automated Reasoning · 2019 · 34 citations · Full text

Cegar-based Model Checking, Engineering, Verification +18

Evaluating Symbolic Execution-Based Test Tools

Lajos Cseppentő, Zoltán Micskei · 2015 · 21 citations

Software Maintenance, Engineering, Verification +19

1–5 of 12