Constraint Based System-Level Diagnosis of Multiprocessors. - Jörn Altmann; András Pataricza; Tamás Bartha; Péter Urbán; A. Petri (EDCC, 1996)

Effective Approximate Fault Diagnosis of Systems with Inhomogeneous Test Invalidation. - Tamás Bartha (EUROMICRO, 1996)

Probabilistic System-Level Fault Diagnostic Algorithms for Multiprocessors. - Tamás Bartha; Endre Selényi (Parallel Comput., 1997)

Implementation of a Testing and Diagnostic Concept for an NPP Reactor Protection System. - Tamás Bartha; István Varga; Alexandros Soumelidis; Géza Szabé (EDCC, 2005)

On the Extension and Applicability of the P-Graph Modeling Paradigm to System-Level Diagnostic Problems. - Balázs Polgár; Endre Selényi; Tamás Bartha (Scalable Comput. Pract. Exp., 2005)

Dependability Evaluation of Web Service-Based Processes. - László Gönczy; Silvano Chiaradonna; Felicita Di Giandomenico; András Pataricza; Andrea Bondavalli; Tamás Bartha (EPEW, 2006)

Formal Verification of Safety Functions by Reinterpretation of Functional Block Based Specifications. - Erzsébet Németh; Tamás Bartha (FMICS, 2008)

Development of Safety Software for the Paks Nuclear Power Plant. - Tamás Bartha; István Varga (ERCIM News, 2008)

Verification of a primary-to-secondary leaking safety procedure in a nuclear power plant using coloured Petri nets. - Erzsébet Németh; Tamás Bartha; Csaba Fazekas; Katalin M. Hangos (Reliab. Eng. Syst. Saf., 2009)

Parallel Saturation Based Model Checking. - András Vörös 001; Tamás Szabó; Attila Jámbor; Dániel Darvas; Ákos Horváth 001; Tamás Bartha (ISPDC, 2011)

Formal Verification of Complex Properties on PLC Programs. - Dániel Darvas; Borja Fernandez Adiego; András Vörös 001; Tamás Bartha; Enrique Blanco Viñuela; Víctor M. González Suárez (FORTE, 2014)

Extensions to the CEGAR Approach on Petri Nets. - Ákos Hajdu; András Vörös 001; Tamás Bartha; Zoltán Mártonka (Acta Cybern., 2014)

New Search Strategies for the Petri Net CEGAR Approach. - Ákos Hajdu; András Vörös 001; Tamás Bartha (Petri Nets, 2015)

Saturation-Based Incremental LTL Model Checking with Inductive Proofs. - Vince Molnár; Dániel Darvas; András Vörös 001; Tamás Bartha (TACAS, 2015)

PetriDotNet 1.5: Extensible Petri Net Editor and Analyser for Education and Research. - András Vörös 001; Dániel Darvas; Vince Molnár; Attila Klenik; Ákos Hajdu; Attila Jámbor; Tamás Bartha; István Majzik (Petri Nets, 2016)

Improving Saturation-based Bounded Model Checking. - Dániel Darvas; András Vörös 001; Tamás Bartha (Acta Cybern., 2016)

Component-wise incremental LTL model checking. - Vince Molnár; András Vörös 001; Dániel Darvas; Tamás Bartha; István Majzik (Formal Aspects Comput., 2016)

Industrial applications of the PetriDotNet modelling and analysis tool. - András Vörös 001; Dániel Darvas; Ákos Hajdu; Attila Klenik; Kristóf Marussy; Vince Molnár; Tamás Bartha; István Majzik (Sci. Comput. Program., 2018)

Conception of a formal model-based methodology to support railway engineers in the specification and verification of interlocking systems. - Gábor Lukács; Tamás Bartha (SACI, 2022)