Tamás Bartha

Publication Activity (10 Years)

Years Active: 1996-2022
Publications (10 Years): 5

Top Topics

Linear Temporal Logic

Top Venues

Formal Aspects Comput.

Publications

Gábor Lukács, Tamás Bartha
Conception of a formal model-based methodology to support railway engineers in the specification and verification of interlocking systems. SACI (2022)
András Vörös, Dániel Darvas, Ákos Hajdu, Attila Klenik, Kristóf Marussy, Vince Molnár, Tamás Bartha, István Majzik
Industrial applications of the PetriDotNet modelling and analysis tool. Sci. Comput. Program. 157 (2018)
András Vörös, Dániel Darvas, Vince Molnár, Attila Klenik, Ákos Hajdu, Attila Jámbor, Tamás Bartha, István Majzik
PetriDotNet 1.5: Extensible Petri Net Editor and Analyser for Education and Research. Petri Nets (2016)
Vince Molnár, András Vörös, Dániel Darvas, Tamás Bartha, István Majzik
Component-wise incremental LTL model checking. Formal Aspects Comput. 28 (3) (2016)
Dániel Darvas, András Vörös, Tamás Bartha
Improving Saturation-based Bounded Model Checking. Acta Cybern. 22 (3) (2016)
Ákos Hajdu, András Vörös, Tamás Bartha
New Search Strategies for the Petri Net CEGAR Approach. Petri Nets (2015)
Vince Molnár, Dániel Darvas, András Vörös, Tamás Bartha
Saturation-Based Incremental LTL Model Checking with Inductive Proofs. TACAS (2015)
Ákos Hajdu, András Vörös, Tamás Bartha, Zoltán Mártonka
Extensions to the CEGAR Approach on Petri Nets. Acta Cybern. 21 (3) (2014)
Dániel Darvas, Borja Fernandez Adiego, András Vörös, Tamás Bartha, Enrique Blanco Viñuela, Víctor M. González Suárez
Formal Verification of Complex Properties on PLC Programs. FORTE (2014)
András Vörös, Tamás Szabó, Attila Jámbor, Dániel Darvas, Ákos Horváth, Tamás Bartha
Parallel Saturation Based Model Checking. ISPDC (2011)
Erzsébet Németh, Tamás Bartha, Csaba Fazekas, Katalin M. Hangos
Verification of a primary-to-secondary leaking safety procedure in a nuclear power plant using coloured Petri nets. Reliab. Eng. Syst. Saf. 94 (5) (2009)
Tamás Bartha, István Varga
Development of Safety Software for the Paks Nuclear Power Plant. ERCIM News 2008 (75) (2008)
Erzsébet Németh, Tamás Bartha
Formal Verification of Safety Functions by Reinterpretation of Functional Block Based Specifications. FMICS (2008)
László Gönczy, Silvano Chiaradonna, Felicita Di Giandomenico, András Pataricza, Andrea Bondavalli, Tamás Bartha
Dependability Evaluation of Web Service-Based Processes. EPEW (2006)
Balázs Polgár, Endre Selényi, Tamás Bartha
On the Extension and Applicability of the P-Graph Modeling Paradigm to System-Level Diagnostic Problems. Scalable Comput. Pract. Exp. 6 (2) (2005)
Tamás Bartha, István Varga, Alexandros Soumelidis, Géza Szabé
Implementation of a Testing and Diagnostic Concept for an NPP Reactor Protection System. EDCC (2005)
Tamás Bartha, Endre Selényi
Probabilistic System-Level Fault Diagnostic Algorithms for Multiprocessors. Parallel Comput. 22 (13) (1997)
Jörn Altmann, András Pataricza, Tamás Bartha, Péter Urbán, A. Petri
Constraint Based System-Level Diagnosis of Multiprocessors. EDCC (1996)
Tamás Bartha
Effective Approximate Fault Diagnosis of Systems with Inhomogeneous Test Invalidation. EUROMICRO (1996)