| 2022 | SACI | Conception of a formal model-based methodology to support railway engineers in the specification and verification of interlocking systems. | Gbor Lukcs, Tams Bartha |
| 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 |
| 2011 | ISPDC | Parallel Saturation Based Model Checking. | Andrs Vrs, Tams Szab, Attila Jmbor, Dniel Darvas, kos Horvth, Tams Bartha |
| 2008 | FMICS | Formal Verification of Safety Functions by Reinterpretation of Functional Block Based Specifications. | Erzsbet Nmeth, Tams Bartha |
| 2005 | EDCC | Implementation of a Testing and Diagnostic Concept for an NPP Reactor Protection System. | Tams Bartha, Istvn Varga, Alexandros Soumelidis, Gza Szab |
| 1996 | EDCC | Constraint Based System-Level Diagnosis of Multiprocessors. | Jrn Altmann, Andrs Pataricza, Tams Bartha, Pter Urbn, A. Petri |