| 2026 | FASE | Unified Timing-Aware Program Verification. | Dra Cziborov, Mihly Dobos-Kovcs, Kristf Marussy, Andrs Vrs |
| 2025 | DSN | Reasoning with Happens-Before Relations About Concurrent Programs in the THETA Framework. | Csand Telbisz, Levente Bajczi, Dniel Szekeres, Andrs Vrs, Istvn Majzik |
| 2025 | TACAS | On Stability in a Happens-Before Propagator for Concurrent Programs (Reproducibility Study). | Levente Bajczi, Csand Telbisz, Dniel Szekeres, Andrs Vrs |
| 2025 | TACAS | Theta: Various Approaches for Concurrent Program Verification (Competition Contribution). | Csand Telbisz, Levente Bajczi, Dniel Szekeres, Andrs Vrs |
| 2024 | MODELS | Towards the Formal Verification of SysML v2 Models. | Vince Molnr, Bence Graics, Andrs Vrs, Stefano Tonetta, Luca Cristoforetti, Greg Kimberly, Pamela Dyer, Kristin Giammarco, Manfred Kthe, John Hester, Jamie Smith, Christoph Grimm |
| 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 |
| 2018 | FASE | Distributed Graph Queries for Runtime Monitoring of Cyber-Physical Systems. | Mrton Br, Gbor S. Szilgyi, Andrs Vrs, Dniel Varr |
| 2018 | ICSE | The Gamma statechart composition framework: : design, verification and code generation for component-based reactive systems. | Vince Molnr, Bence Graics, Andrs Vrs, Istvn Majzik, Dniel Varr |
| 2017 | FMCAD | Theta: A framework for abstraction refinement-based model checking. | Tams Tth, kos Hajdu, Andrs Vrs, Zoltn Micskei, Istvn Majzik |
| 2017 | ICWSM | Why Do Men Get More Attention? Exploring Factors Behind Success in An Online Design Community. | Johannes Wachs, Aniko Hannak, Andrs Vrs, Blint Darczy |
| 2016 | FASE | Iterative and Incremental Model Generation by Logic Solvers. | Oszkr Semerth, Andrs Vrs, Dniel Varr |
| 2016 | FORTE | A Configurable CEGAR Framework with Interpolation-Based Refinements. | kos Hajdu, Tams Tth, Andrs Vrs, Istvn Majzik |
| 2015 | ICST | SEViz: A Tool for Visualizing Symbolic Execution. | David Honfi, Andrs Vrs, Zoltn Micskei |
| 2015 | TACAS | Saturation-Based Incremental LTL Model Checking with Inductive Proofs. | Vince Molnr, Dniel Darvas, Andrs Vrs, Tams Bartha |
| 2014 | FORTE | Formal Verification of Complex Properties on PLC Programs. | Dniel Darvas, Borja Fernandez Adiego, Andrs Vrs, Tams Bartha, Enrique Blanco Viuela, Vctor M. Gonzlez Surez |
| 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 |
| 2014 | SAFECOMP | Verification of a Real-Time Safety-Critical Protocol Using a Modelling Language with Formal Data and Behaviour Semantics. | Tams Tth, Andrs Vrs |
| 2013 | DEPCoS | K-Induction Based Verification of Real-Time Safety Critical Systems. | Tams Tth, Andrs Vrs, Istvn Majzik |
| 2011 | ISPDC | Parallel Saturation Based Model Checking. | Andrs Vrs, Tams Szab, Attila Jmbor, Dniel Darvas, kos Horvth, Tams Bartha |