| 2026 | TACAS | EmergenTheta: Experimental Analyses within the Theta Framework (Competition Contribution). | Miln Mondok, Csand Telbisz, Levente Bajczi, Dniel Kovcs, Mihly Dobos-Kovcs, Vince Molnr |
| 2025 | TACAS | EmergenTheta: Variations on Symbolic Transition Systems (Competition Contribution). | Miln Mondok, Levente Bajczi, Dniel Szekeres, Vince Molnr |
| 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 |
| 2024 | MODELS | From Transpilers to Semantic Libraries: Formal Verification With Pluggable Semantics. | rmin Zavada, Kristf Marussy, Vince Molnr |
| 2024 | TACAS | EmergenTheta: Verification Beyond Abstraction Refinement (Competition Contribution). | Levente Bajczi, Dniel Szekeres, Miln Mondok, Zsfia dm, Mrk Somorjai, Csand Telbisz, Mihly Dobos-Kovcs, Vince Molnr |
| 2024 | TACAS | Theta: Abstraction Based Techniques for Verifying Concurrency (Competition Contribution). | Levente Bajczi, Csand Telbisz, Mrk Somorjai, Zsfia dm, Mihly Dobos-Kovcs, Dniel Szekeres, Miln Mondok, Vince Molnr |
| 2023 | FMICS | Configurable Model-Based Test Generation for Distributed Controllers Using Declarative Model Queries and Model Checkers. | Bence Graics, Vince Molnr, Istvn Majzik |
| 2022 | TACAS | Theta: portfolio of CEGAR-based analyses with dynamic algorithm selection (Competition Contribution). | Zsfia dm, Levente Bajczi, Mihly Dobos-Kovcs, kos Hajdu, Vince Molnr |
| 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 |
| 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 |
| 2015 | TACAS | Saturation-Based Incremental LTL Model Checking with Inductive Proofs. | Vince Molnr, Dniel Darvas, Andrs Vrs, Tams Bartha |