Zoltán Micskei

41 papers A 3B 4C 2Journal 15Unranked 15

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	Aiding the design of critical software systems by iterative exploration of distinct requirement violation scenarios. Empir. Softw. Eng. Richárd Szabó, Dániel Szekeres, Simon József Nagy, Zoltán Thimár, István Majzik, Zoltán Micskei, András Vörös
2025	—	`conf`	SV-COMP'25 Reproduction Report (Competition Contribution). TACAS (3) Levente Bajczi, Zsófia Ádám, Zoltán Micskei
2025	J	`jnl`	Smart Contract in the Loop: Fault Impact Assessment for Distributed Ledger Technologies. Acta Cybern. Bertalan Zoltán Péter, Zsófia Ádám, Zoltán Micskei, Imre Kocsis
2024	—	`conf`	ConcurrentWitness2Test: Test-Harnessing the Power of Concurrency (Competition Contribution). TACAS (3) Levente Bajczi, Zsófia Ádám, Zoltán Micskei
2024	J	`jnl`	To Do or Not to Do: Semantics and Patterns for Do Activities in UML PSSM State Machines. IEEE Trans. Software Eng. Márton Elekes, Vince Molnár, Zoltán Micskei
2023	J	`jnl`	Assessing the specification of modelling language semantics: a study on UML PSSM. Softw. Qual. J. Márton Elekes, Vince Molnár, Zoltán Micskei
2023	J	`jnl`	Pragmatic verification and validation of industrial executable SysML models. Syst. Eng. Benedek Horváth, Vince Molnár, Bence Graics, Ákos Hajdu, István Ráth, Ákos Horváth, Robert Karban, Gelys Trancho, Zoltán Micskei
2023	J	`jnl`	To Do or Not to Do: Semantics and Patterns for Do Activities in UML PSSM State Machines. CoRR Márton Elekes, Vince Molnár, Zoltán Micskei
2021	—	`conf`	Towards Testing the UML PSSM Test Suite. LADC Márton Elekes, Zoltán Micskei
2020	J	`jnl`	Automated isolation for white-box test generation. Inf. Softw. Technol. David Honfi, Zoltán Micskei
2020	J	`jnl`	Efficient Strategies for CEGAR-Based Model Checking. J. Autom. Reason. Ákos Hajdu, Zoltán Micskei
2020	B	`conf`	From Models to Management and Back: Towards a System-of-Systems Engineering Toolchain. NOMS Géza Kulcsár, Kadosa Koltai, Szvetlin Tanyi, Bálint Péceli, Ákos Horváth, Zoltán Micskei, Pál Varga
2020	—	`conf`	Model checking as a service: towards pragmatic hidden formal methods. MoDELS (Companion) Benedek Horváth, Bence Graics, Ákos Hajdu, Zoltán Micskei, Vince Molnár, István Ráth, Luigi Andolfato, Ivan Gomes, Robert Karban
2019	—	`conf`	Addressing Verification and Validation Challenges in Future Cyber-Physical Systems. LADC Nuno Laranjeiro, Camilo Gomez, Enrico Schiavone, Leonardo Montecchi, Manoel J. M. Carvalho, Paolo Lollini, Zoltán Micskei
2019	J	`jnl`	Automated Isolation for White-box Test Generation. CoRR David Honfi, Zoltán Micskei
2019	J	`jnl`	Classifying generated white-box tests: an exploratory study. Softw. Qual. J. David Honfi, Zoltán Micskei
2019	A	`conf`	Towards System-Level Testing with Coverage Guarantees for Autonomous Vehicles. MoDELS István Majzik, Oszkár Semeráth, Csaba Hajdu, Kristóf Marussy, Zoltán Szatmári, Zoltán Micskei, András Vörös, Aren A. Babikian, Dániel Varró
2018	—	`conf`	MoDeS3: Model-Based Demonstrator for Smart and Safe Cyber-Physical Systems. NFM András Vörös, Márton Búr, István Ráth, Ákos Horváth, Zoltán Micskei, László Balogh, Bálint Hegyi, Benedek Horváth, Zsolt Mázló, Dániel Varró
2017	J	`jnl`	Classifying the Correctness of Generated White-Box Tests: An Exploratory Study. CoRR David Honfi, Zoltán Micskei
2017	J	`jnl`	Evaluating code-based test input generator tools. Softw. Test. Verification Reliab. Lajos Cseppento, Zoltán Micskei
2017	—	`conf`	Model-Based Regression Testing of Autonomous Robots. SDL Forum David Honfi, Gábor Molnár, Zoltán Micskei, István Majzik
2017	J	`jnl`	Supporting Unit Test Generation via Automated Isolation. Period. Polytech. Electr. Eng. Comput. Sci. David Honfi, Zoltán Micskei
2017	B	`conf`	Theta: A framework for abstraction refinement-based model checking. FMCAD Tamás Tóth, Ákos Hajdu, András Vörös, Zoltán Micskei, István Majzik
2017	—	`conf`	Towards Evaluating Size Reduction Techniques for Software Model Checking. VPT@ETAPS Gyula Sallai, Ákos Hajdu, Tamás Tóth, Zoltán Micskei
2015	A	`conf`	Evaluating Symbolic Execution-Based Test Tools. ICST Lajos Cseppento, Zoltán Micskei
2015	A	`conf`	SEViz: A Tool for Visualizing Symbolic Execution. ICST David Honfi, András Vörös, Zoltán Micskei
2014	—	`conf`	On Open Source Tools for Behavioral Modeling and Analysis with fUML and Alf. OSS4MDE@MoDELS Zoltán Micskei, Raimund-Andreas Konnerth, Benedek Horváth, Oszkár Semeráth, András Vörös, Dániel Varró
2013	J	`jnl`	Analytics of resource transients in cloud-based applications. Int. J. Cloud Comput. Imre Kocsis, András Pataricza, Zoltán Micskei, András Kövi, Zsolt Kocsis
2013	—	`—`	Nyelvek és keretrendszerek tesztek specifikálására Zoltán Micskei
2013	—	`conf`	Scenario-based Automated Evaluation of Test Traces of Autonomous Systems. DECS@SAFECOMP Gergo Horányi, Zoltán Micskei, István Majzik
2012	—	`conf`	A Concept for Testing Robustness and Safety of the Context-Aware Behaviour of Autonomous Systems. KES-AMSTA Zoltán Micskei, Zoltán Szatmári, János Oláh, István Majzik
2012	—	`ch.`	Robustness Testing Techniques and Tools. Resilience Assessment and Evaluation of Computing Systems Zoltán Micskei, Henrique Madeira, Alberto Avritzer, István Majzik, Marco Vieira, Nuno Antunes
2011	J	`jnl`	The many meanings of UML 2 Sequence Diagrams: a survey. Softw. Syst. Model. Zoltán Micskei, Hélène Waeselynck
2010	—	`conf`	Robustness Testing of Standard Specifications-Based HA Middleware. ICDCS Workshops András Kövi, Zoltán Micskei
2010	C	`conf`	TERMOS: A Formal Language for Scenarios in Mobile Computing Systems. MobiQuitous Hélène Waeselynck, Zoltán Micskei, Nicolas Rivière, Áron Hamvas, Irina Nitu
2008	—	`conf`	Tool Support for Engineering Certifiable Software. SafeCert@ETAPS László Gönczy, István Majzik, Ákos Horváth, Dániel Varró, András Balogh, Zoltán Micskei, András Pataricza
2007	—	`conf`	Comparing Robustness of AIS-Based Middleware Implementations. ISAS Zoltán Micskei, István Majzik, Francis Tam
2007	B	`conf`	Development of Model Based Tools to Support the Design of Railway Control Applications. SAFECOMP István Majzik, Zoltán Micskei, Gergely Pintér
2007	C	`conf`	Mobile Systems from a Validation Perspective: a Case Study. ISPDC Hélène Waeselynck, Zoltán Micskei, Minh Duc Nguyen, Nicolas Rivière
2007	B	`conf`	Model-Based Approaches for Dependability in Ad-Hoc Mobile Networks and Services. WADS Gergely Pintér, Zoltán Micskei, András Kövi, Zoltán Égel, Imre Kocsis, Gábor Huszerl, András Pataricza
2006	—	`conf`	Model-based Automatic Test Generation for Event-Driven Embedded Systems using Model Checkers. DepCoS-RELCOMEX Zoltán Micskei, István Majzik