Tamás Bartha

According to our database, Tamás Bartha authored at least 19 papers between 1996 and 2022.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2022

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

Proceedings of the 16th IEEE International Symposium on Applied Computational Intelligence and Informatics, 2022

2018

Industrial applications of the PetriDotNet modelling and analysis tool.

András Vörös, Dániel Darvas, Ákos Hajdu, Attila Klenik, Kristóf Marussy, Vince Molnár, Tamás Bartha, István Majzik

Sci. Comput. Program., 2018

2016

Component-wise incremental LTL model checking.

Vince Molnár, András Vörös, Dániel Darvas, Tamás Bartha, István Majzik

Formal Aspects Comput., 2016

Improving Saturation-based Bounded Model Checking.

Dániel Darvas, András Vörös, Tamás Bartha

Acta Cybern., 2016

PetriDotNet 1.5: Extensible Petri Net Editor and Analyser for Education and Research.

András Vörös, Dániel Darvas, Vince Molnár, Attila Klenik, Ákos Hajdu, Attila Jámbor, Tamás Bartha, István Majzik

Proceedings of the Application and Theory of Petri Nets and Concurrency, 2016

2015

Saturation-Based Incremental LTL Model Checking with Inductive Proofs.

Vince Molnár, Dániel Darvas, András Vörös, Tamás Bartha

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2015

New Search Strategies for the Petri Net CEGAR Approach.

Ákos Hajdu, András Vörös, Tamás Bartha

Proceedings of the Application and Theory of Petri Nets and Concurrency, 2015

2014

Extensions to the CEGAR Approach on Petri Nets.

Ákos Hajdu, András Vörös, Tamás Bartha, Zoltán Mártonka

Acta Cybern., 2014

Formal Verification of Complex Properties on PLC Programs.

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

Proceedings of the Formal Techniques for Distributed Objects, Components, and Systems, 2014

2011

Parallel Saturation Based Model Checking.

András Vörös, Tamás Szabó, Attila Jámbor, Dániel Darvas, Ákos Horváth, Tamás Bartha

Proceedings of the 10th International Symposium on Parallel and Distributed Computing, 2011

2009

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

2008

Development of Safety Software for the Paks Nuclear Power Plant.

Tamás Bartha, István Varga

ERCIM News, 2008

Formal Verification of Safety Functions by Reinterpretation of Functional Block Based Specifications.

Erzsébet Németh, Tamás Bartha

Proceedings of the Formal Methods for Industrial Critical Systems, 2008

2006

Dependability Evaluation of Web Service-Based Processes.

László Gönczy, Silvano Chiaradonna, Felicita Di Giandomenico, András Pataricza, Andrea Bondavalli, Tamás Bartha

Proceedings of the Formal Methods and Stochastic Models for Performance Evaluation, 2006

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

Implementation of a Testing and Diagnostic Concept for an NPP Reactor Protection System.

Tamás Bartha, István Varga, Alexandros Soumelidis, Géza Szabé

Proceedings of the Dependable Computing, 2005

1997

Probabilistic System-Level Fault Diagnostic Algorithms for Multiprocessors.

Tamás Bartha, Endre Selényi

Parallel Comput., 1997

1996

Effective Approximate Fault Diagnosis of Systems with Inhomogeneous Test Invalidation.

Tamás Bartha

Proceedings of the 22rd EUROMICRO Conference '96, 1996

Constraint Based System-Level Diagnosis of Multiprocessors.

Jörn Altmann, András Pataricza, Tamás Bartha, Péter Urbán, A. Petri

Proceedings of the Dependable Computing, 1996