| The many meanings of UML 2 Sequence Diagrams: a survey Z Micskei, H Waeselynck Software and Systems Modeling 10 (4), 489-514, 2011 | 146 | 2011 |
| THETA: a Framework for Abstraction Refinement-Based Model Checking T Tóth, A Hajdu, A Vörös, Z Micskei, I Majzik 17th Conference on Formal Methods in Computer-Aided Design (FMCAD), 2017 | 81 | 2017 |
| A concept for testing robustness and safety of the context-aware behaviour of autonomous systems Z Micskei, Z Szatmári, J Oláh, I Majzik Agent and Multi-Agent Systems. Technologies and Applications, 504-513, 2012 | 64 | 2012 |
| Towards system-level testing with coverage guarantees for autonomous vehicles I 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 …, 2019 | 47 | 2019 |
| Efficient strategies for CEGAR-based model checking Á Hajdu, Z Micskei Journal of Automated Reasoning 64 (6), 1051-1091, 2020 | 43 | 2020 |
| Evaluating Symbolic Execution-based Test Tools L Cseppento, Z Micskei IEEE Int. Conf. on Software Testing, Verification and Validation (ICST), 2015 | 39 | 2015 |
| Robustness Testing Techniques and Tools Z Micskei, H Madeira, A Avritzer, I Majzik, M Vieira, N Antunes Resilience Assessment and Evaluation of Computing Systems, 323, 2012 | 31 | 2012 |
| Model-based automatic test generation for event-driven embedded systems using model checkers Z Micskei, I Majzik 2006 International Conference on Dependability of Computer Systems, 191-198, 2006 | 22 | 2006 |
| On Open Source Tools for Behavioral Modeling and Analysis with fUML and Alf Z Micskei, RA Konnerth, B Horváth, O Semeráth, A Vörös, D Varró Proceedings of the 1st Workshop on Open Source Software for Model Driven …, 2014 | 20 | 2014 |
| From models to management and back: Towards a system-of-systems engineering toolchain G Kulcsár, K Koltai, S Tanyi, B Péceli, Á Horváth, Z Micskei, P Varga NOMS 2020-2020 IEEE/IFIP Network Operations and Management Symposium, 1-6, 2020 | 18 | 2020 |
| Modes3: model-based demonstrator for smart and safe cyber-physical systems A Vörös, M Búr, I Ráth, Á Horváth, Z Micskei, L Balogh, B Hegyi, B Horváth, ... NASA Formal Methods: 10th International Symposium, NFM 2018, Newport News …, 2018 | 18 | 2018 |
| Scenario-based automated evaluation of test traces of autonomous systems G Horányi, Z Micskei, I Majzik SAFECOMP 2013-Workshop DECS (ERCIM/EWICS Workshop on Dependable Embedded and …, 2013 | 18 | 2013 |
| Robustness testing techniques for high availability middleware solutions Z Micskei, I Majzik, F Tam Proc. of International Workshop on Engineering of Fault Tolerant Systems …, 2006 | 18 | 2006 |
| Mobile systems from a validation perspective: a case study H Waeselynck, Z Micskei, MD Nguyen, N Riviere Sixth International Symposium on Parallel and Distributed Computing (ISPDC …, 2007 | 17 | 2007 |
| Comparing robustness of AIS-based middleware implementations Z Micskei, I Majzik, F Tam Service Availability, 20-30, 2007 | 17 | 2007 |
| Model checking as a service: towards pragmatic hidden formal methods B Horváth, B Graics, Á Hajdu, Z Micskei, V Molnár, I Ráth, L Andolfato, ... Proceedings of the 23rd ACM/IEEE International Conference on Model Driven …, 2020 | 15 | 2020 |
| UML 2.0 sequence diagrams' semantics Z Micskei, H Waeselynck LAAS technical report no. 08389 37, 2008 | 15 | 2008 |
| Evaluating code‐based test input generator tools L Cseppentő, Z Micskei Software Testing, Verification and Reliability, 2017 | 14 | 2017 |
| Seviz: A tool for visualizing symbolic execution D Honfi, A Voros, Z Micskei 2015 IEEE 8th International Conference on Software Testing, Verification and …, 2015 | 12 | 2015 |
| Pragmatic verification and validation of industrial executable SysML models B Horváth, V Molnár, B Graics, Á Hajdu, I Ráth, Á Horváth, R Karban, ... Systems Engineering 26 (6), 693-714, 2023 | 11 | 2023 |
Istvan MajzikAssociate Professor, Budapest University of Technology and EconomicsVerified email at mit.bme.hu
