| 2025 | TACAS | SV-COMP'25 Reproduction Report (Competition Contribution). | Levente Bajczi, Zsfia dm, Zoltn Micskei |
| 2024 | TACAS | ConcurrentWitness2Test: Test-Harnessing the Power of Concurrency (Competition Contribution). | Levente Bajczi, Zsfia dm, Zoltn Micskei |
| 2020 | MODELS | Model checking as a service: towards pragmatic hidden formal methods. | Benedek Horvth, Bence Graics, kos Hajdu, Zoltn Micskei, Vince Molnr, Istvn Rth, Luigi Andolfato, Ivan Gomes, Robert Karban |
| 2020 | NOMS | From Models to Management and Back: Towards a System-of-Systems Engineering Toolchain. | Gza Kulcsr, Kadosa Koltai, Szvetlin Tanyi, Blint Pceli, kos Horvth, Zoltn Micskei, Pl Varga |
| 2019 | MODELS | Towards System-Level Testing with Coverage Guarantees for Autonomous Vehicles. | Istvn Majzik, Oszkr Semerth, Csaba Hajdu, Kristf Marussy, Zoltn Szatmri, Zoltn Micskei, Andrs Vrs, Aren A. Babikian, Dniel Varr |
| 2017 | FMCAD | Theta: A framework for abstraction refinement-based model checking. | Tams Tth, kos Hajdu, Andrs Vrs, Zoltn Micskei, Istvn Majzik |
| 2015 | ICST | Evaluating Symbolic Execution-Based Test Tools. | Lajos Cseppento, Zoltn Micskei |
| 2015 | ICST | SEViz: A Tool for Visualizing Symbolic Execution. | David Honfi, Andrs Vrs, Zoltn Micskei |
| 2014 | MODELS | On Open Source Tools for Behavioral Modeling and Analysis with fUML and Alf. | Zoltn Micskei, Raimund-Andreas Konnerth, Benedek Horvth, Oszkr Semerth, Andrs Vrs, Dniel Varr |
| 2013 | SAFECOMP | Scenario-based Automated Evaluation of Test Traces of Autonomous Systems. | Gergo Hornyi, Zoltn Micskei, Istvn Majzik |
| 2010 | Mobiquitous | TERMOS: A Formal Language for Scenarios in Mobile Computing Systems. | Hlne Waeselynck, Zoltn Micskei, Nicolas Rivire, ron Hamvas, Irina Nitu |
| 2007 | ICSE | Model-Based Approaches for Dependability in Ad-Hoc Mobile Networks and Services. | Gergely Pintr, Zoltn Micskei, Andrs Kvi, Zoltn gel, Imre Kocsis, Gbor Huszerl, Andrs Pataricza |
| 2007 | ISPDC | Mobile Systems from a Validation Perspective: a Case Study. | Hlne Waeselynck, Zoltn Micskei, Minh Duc Nguyen, Nicolas Rivire |
| 2007 | SAFECOMP | Development of Model Based Tools to Support the Design of Railway Control Applications. | Istvn Majzik, Zoltn Micskei, Gergely Pintr |
| 2006 | DEPCoS | Model-based Automatic Test Generation for Event-Driven Embedded Systems using Model Checkers. | Zoltn Micskei, Istvn Majzik |