| 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 |
| 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 |
| Classifying generated white-box tests: an exploratory study D Honfi, Z Micskei Software Quality Journal 27 (3), 1339-1380, 2019 | 10 | 2019 |
| 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 |
| Model-based Regression Testing of Autonomous Robots D Honfi, G Molnár, Z Micskei, I Majzik 18th International Conference on System Design Languages of the SDL Forum …, 2017 | 8 | 2017 |
| Model-based testing (MBT) Z Micskei Department of Measurement and Information Systems Budapest University of …, 2014 | 8 | 2014 |
| Tool support for engineering certifiable software L Gönczy, I Majzik, A Horváth, D Varró, A Balogh, Z Micskei, A Pataricza Electronic Notes in Theoretical Computer Science 238 (4), 79-85, 2009 | 7 | 2009 |
| Assessing the specification of modelling language semantics: a study on UML PSSM M Elekes, V Molnár, Z Micskei Software Quality Journal 31 (2), 575-617, 2023 | 6 | 2023 |
| Towards evaluating size reduction techniques for software model checking G Sallai, Á Hajdu, T Tóth, Z Micskei arXiv preprint arXiv:1708.07224, 2017 | 6 | 2017 |
| Automated isolation for white-box test generation D Honfi, Z Micskei Information and Software Technology 125, 106319, 2020 | 5 | 2020 |
| Model-based testing overview, tools and projects Z Micskei Retrieved 10 (25), 2015, 2014 | 5 | 2014 |
| Robustness testing of standard specifications-based ha middleware A Kövi, Z Micskei 2010 IEEE 30th International Conference on Distributed Computing Systems …, 2010 | 5 | 2010 |
| Analysis of a group membership protocol for Ad-hoc networks Z Micskei, H Waeselynck, MD Nguyen, N Riviere LAAS Report, 2006 | 5 | 2006 |
| ConcurrentWitness2Test: Test-harnessing the power of concurrency (competition contribution) L Bajczi, Z Ádám, Z Micskei International Conference on Tools and Algorithms for the Construction and …, 2024 | 3 | 2024 |
| Generating unit isolation environment using symbolic execution D Honfi, Z Micskei Proceedings of the 23rd PhD Mini-Symposium. Budapest University of …, 2016 | 3 | 2016 |
| Development of model based tools to support the design of railway control applications I Majzik, Z Micskei, G Pintér Computer Safety, Reliability, and Security, 430-435, 2007 | 3 | 2007 |
| Efficient techniques for formal verification of C programs Z Ádám, Z Micskei, Á Hajdu Bachelor’s thesis, Budapest University of Technology and Economics, 2021 | 2 | 2021 |
| Addressing verification and validation challenges in future cyber-physical systems N Laranjeiro, C Gomez, E Schiavone, L Montecchi, MJM Carvalho, ... 2019 9th Latin-American Symposium on Dependable Computing (LADC), 1-2, 2019 | 2 | 2019 |
| Supporting unit test generation via automated isolation D Honfi, Z Micskei Periodica Polytechnica Electrical Engineering and Computer Science 61 (2 …, 2017 | 2 | 2017 |
| Exploratory analysis of the performance of a configurable CEGAR framework A Hajdu, ZI Micskei BME MIT, 2017 | 2 | 2017 |
| Supporting Design and Development of Safety Critical Applications G Pintér, I Majzik, Z Micskei Proceedings of the 10 th Symposium on Programming Languages and Tools, SPLST …, 2007 | 2 | 2007 |
| To do or not to do: semantics and patterns for do activities in UML PSSM state machines M Elekes, V Molnár, Z Micskei IEEE Transactions on Software Engineering, 2024 | 1 | 2024 |
| Towards testing the UML PSSM test suite M Elekes, Z Micskei 2021 10th Latin-American Symposium on Dependable Computing (LADC), 1-4, 2021 | 1 | 2021 |
| White-box software test generation with Microsoft Pex on open source C# projects: A dataset D Honfi, Z Micskei Data in Brief 31, 105962, 2020 | 1 | 2020 |
| User-Defined Sandbox Behavior for Dynamic Symbolic Execution D Honfi, Z Micskei In Proc. of 24th PhD Mini-Symposium, 2017 | 1 | 2017 |
| Isolation and Pex: case study of cooperation D Honfi, Z Micskei, A Vörös | 1 | 2013 |
| Supporting Design and Development of Safety Critical Applications by Model Based Tools G Pintér, Z Micskei, I Majzik Annales Universitatis Scientiarum Budapestinensis de Rolando Eötvös …, 2009 | 1* | 2009 |
| Model-Based Approaches for Dependability in Ad-Hoc Mobile Networks and Services G Pintér, Z Micskei, A Kövi, Z Égel, I Kocsis, G Huszerl, A Pataricza Architecting Dependable Systems, 150-174, 2008 | 1 | 2008 |
| Smart Contract in the Loop: Fault Impact Assessment for Distributed Ledger Technologies Z Ádám, BZ Péter, Z Micskei, I Kocsis THE 14TH CONFERENCE OF PHD STUDENTS IN COMPUTER SCIENCE, 15, 2024 | | 2024 |
| Application of Mutation testing in Safety-Critical Embedded Systems: A Case Study AA Serban, Z Micskei Acta Polytechnica Hungarica 21 (8), 2024 | | 2024 |
| Extending the Capabilities of the CEGAR Model Checking Algorithm Z Ádám, Z Micskei | | 2023 |
| A Fiatal Kutatók Akadémiájának javaslatai a magyarországi fiatal kutatók helyzetének javítására IM Wilhelm, ÉK Dékány, IG Hatvani, G Fröhlich, ZI Micskei, PP Pach, ... MAGYAR TUDOMÁNY 184 (12), 1544-1565, 2023 | | 2023 |
| A Preliminary Analysis on the Effect of Randomness in a CEGAR Framework A Hajdu, Z Micskei BME MIT, 2018 | | 2018 |
| Monitor komponensek okostelefon platformra Z Szatmári, Z Micskei, I Majzik Erdélyi Múzeum-Egyesület, 2014 | | 2014 |
| Specifying Tests for Ad-Hoc Mobile Systems Z Micskei 15th PhD Mini-Symposium, 32-25, 2008 | | 2008 |
| Robustness Comparison of High Availability Middleware Systems Z Micskei 14th PhD Mini-Symposium, 70-73, 2007 | | 2007 |
| Robustness Testing of High Availability Middleware Solutions Z Micskei 13th PhD Mini-Symposium, 36-37, 2006 | | 2006 |
| Automatikus tesztgenerálás model ellenőrzővel Z Micskei FMTÜ 2005, 2005 | | 2005 |
| Doctoral Symposium Committees A Ceccarelli, K Wolter, D Kim, F Machida, H Waeselynck, I Matteucci, J Yu, ... | | |
| MONITOR KOMPONENSEK OKOSTELEFON PLATFORMRA MONITOR COMPONENTS FOR SMARTPHONES Z SZATMÁRI, Z MICSKEI, I MAJZIK | | |
| WoSoCer 2022 Workshop Committee L De Simone, N Laranjeiro, B Gallina, R Natella, R Pietrantuono, N Silva, ... | | |
| On the Semantics of Alf Z Micskei | | |
| Towards Supporting Dynamic Symbolic Execution via Multi-Domain Metrics D Honfi, Z Micskei | | |
Istvan MajzikAssociate Professor, Budapest University of Technology and EconomicsE-mail megerősítve itt: mit.bme.hu
