Follow
Zoltán Micskei
Title
Cited by
Cited by
Year
The many meanings of UML 2 Sequence Diagrams: a survey
Z Micskei, H Waeselynck
Software and Systems Modeling 10 (4), 489-514, 2011
1372011
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
662017
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
612012
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
392019
Evaluating Symbolic Execution-based Test Tools
L Cseppento, Z Micskei
IEEE Int. Conf. on Software Testing, Verification and Validation (ICST), 2015
372015
Efficient strategies for CEGAR-based model checking
Á Hajdu, Z Micskei
Journal of Automated Reasoning 64 (6), 1051-1091, 2020
312020
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
282012
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
222006
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
182014
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
182007
Comparing robustness of AIS-based middleware implementations
Z Micskei, I Majzik, F Tam
Service Availability, 20-30, 2007
182007
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
182006
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
172018
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
172013
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
162020
UML 2.0 sequence diagrams' semantics
Z Micskei, H Waeselynck
LAAS technical report no. 08389 37, 2008
152008
Evaluating code‐based test input generator tools
L Cseppentő, Z Micskei
Software Testing, Verification and Reliability, 2017
122017
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
122010
Seviz: A tool for visualizing symbolic execution
D Honfi, A Voros, Z Micskei
2015 IEEE 8th International Conference on Software Testing, Verification and …, 2015
112015
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
102020
The system can't perform the operation now. Try again later.
Articles 1–20