Követés
Zoltán Micskei
Cím
Hivatkozott rá
Hivatkozott rá
Év
The many meanings of UML 2 Sequence Diagrams: a survey
Z Micskei, H Waeselynck
Software and Systems Modeling 10 (4), 489-514, 2011
1462011
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
812017
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
642012
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
472019
Efficient strategies for CEGAR-based model checking
Á Hajdu, Z Micskei
Journal of Automated Reasoning 64 (6), 1051-1091, 2020
432020
Evaluating Symbolic Execution-based Test Tools
L Cseppento, Z Micskei
IEEE Int. Conf. on Software Testing, Verification and Validation (ICST), 2015
392015
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
312012
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
202014
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
182020
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
182018
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
182013
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
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
172007
Comparing robustness of AIS-based middleware implementations
Z Micskei, I Majzik, F Tam
Service Availability, 20-30, 2007
172007
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
152020
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
142017
Seviz: A tool for visualizing symbolic execution
D Honfi, A Voros, Z Micskei
2015 IEEE 8th International Conference on Software Testing, Verification and …, 2015
122015
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
112023
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
112010
Classifying generated white-box tests: an exploratory study
D Honfi, Z Micskei
Software Quality Journal 27 (3), 1339-1380, 2019
102019
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
92013
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
82017
Model-based testing (MBT)
Z Micskei
Department of Measurement and Information Systems Budapest University of …, 2014
82014
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
72009
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
62023
Towards evaluating size reduction techniques for software model checking
G Sallai, Á Hajdu, T Tóth, Z Micskei
arXiv preprint arXiv:1708.07224, 2017
62017
Automated isolation for white-box test generation
D Honfi, Z Micskei
Information and Software Technology 125, 106319, 2020
52020
Model-based testing overview, tools and projects
Z Micskei
Retrieved 10 (25), 2015, 2014
52014
Robustness testing of standard specifications-based ha middleware
A Kövi, Z Micskei
2010 IEEE 30th International Conference on Distributed Computing Systems …, 2010
52010
Analysis of a group membership protocol for Ad-hoc networks
Z Micskei, H Waeselynck, MD Nguyen, N Riviere
LAAS Report, 2006
52006
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
32024
Generating unit isolation environment using symbolic execution
D Honfi, Z Micskei
Proceedings of the 23rd PhD Mini-Symposium. Budapest University of …, 2016
32016
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
32007
Efficient techniques for formal verification of C programs
Z Ádám, Z Micskei, Á Hajdu
Bachelor’s thesis, Budapest University of Technology and Economics, 2021
22021
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
22019
Supporting unit test generation via automated isolation
D Honfi, Z Micskei
Periodica Polytechnica Electrical Engineering and Computer Science 61 (2 …, 2017
22017
Exploratory analysis of the performance of a configurable CEGAR framework
A Hajdu, ZI Micskei
BME MIT, 2017
22017
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
22007
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
12024
Towards testing the UML PSSM test suite
M Elekes, Z Micskei
2021 10th Latin-American Symposium on Dependable Computing (LADC), 1-4, 2021
12021
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
12020
User-Defined Sandbox Behavior for Dynamic Symbolic Execution
D Honfi, Z Micskei
In Proc. of 24th PhD Mini-Symposium, 2017
12017
Isolation and Pex: case study of cooperation
D Honfi, Z Micskei, A Vörös
12013
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
12008
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
A rendszer jelenleg nem tudja elvégezni a műveletet. Próbálkozzon újra később.
Cikkek 1–62