| The many meanings of UML 2 Sequence Diagrams: a survey Z Micskei, H Waeselynck Software and Systems Modeling 10 (4), 489-514, 2011 | 120 | 2011 |
| 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 | 45 | 2012 |
| Evaluating Symbolic Execution-based Test Tools L Cseppento, Z Micskei IEEE Int. Conf. on Software Testing, Verification and Validation (ICST), 2015 | 35 | 2015 |
| 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 | 26 | 2017 |
| 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 | 23 | 2006 |
| 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 | 19 | 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 |
| UML 2.0 sequence diagrams' semantics Z Micskei, H Waeselynck LAAS technical report no. 08389 37, 2008 | 14 | 2008 |
| 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 | 13 | 2013 |
| 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 | 13 | 2012 |
| 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 | 12 | 2014 |
| Efficient strategies for CEGAR-based model checking Á Hajdu, Z Micskei Journal of Automated Reasoning, 1-41, 2019 | 11 | 2019 |
| 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 Symposium, 460-467, 2018 | 11 | 2018 |
| TERMOS: a Formal Language for Scenarios in Mobile Computing Systems H Waeselynck, Z Micskei, N Rivière, Á Hamvas, I Nitu 7th International ICST Conference on Mobile and Ubiquitous Systems …, 2010 | 11 | 2010 |
| Analytics of resource transients in cloud-based applications I Kocsis, A Pataricza, Z Micskei, A Kövi, Z Kocsis International Journal of Cloud Computing 1 2 (2-3), 191-212, 2013 | 9 | 2013 |
| SEViz: A tool for visualizing symbolic execution D Honfi, A Voros, Z Micskei 2015 IEEE 8th International Conference on Software Testing, Verification and …, 2015 | 8 | 2015 |
| 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 | 7 | 2019 |
| Evaluating code‐based test input generator tools L Cseppentő, Z Micskei Software Testing, Verification and Reliability, 2017 | 6 | 2017 |
| Towards evaluating size reduction techniques for software model checking G Sallai, A Hajdu, T Tóth, Z Micskei arXiv preprint arXiv:1708.07224, 2017 | 5 | 2017 |
Istvan MajzikAssociate Professor, Budapest University of Technology and EconomicsE-mail megerősítve itt: mit.bme.hu
