2011.

Control-oriented modelling of the primary circuit and its controllers of a PWR nuclear power plant

Authors: Bartha, Tamás; Gábor, Attila; Sonnevend , Ilona
Date: 2011. 11. 17.
Published by: The 9th European Workshop on Advanced Control and Diagnosis. (ACD 2011) (Length: 34 page)

Bounded saturation based CTL model checking

Authors: Bartha, Tamás; Vörös, András; Darvas, Dániel
Date: 2011. 10. 05.
Published by: 12th Symposium on Programming Languages and Software Tools (Page: Paper 4/2)

Parallel saturation based model checking

Authors: Bartha, Tamás; Vörös, A; Horváth , Á; Darvas, D; Jámbor, A; Szabó, T
Date: 2011. 07. 06.
Published by: The 10th International Symposium on Parallel and Distributed Computing (Page: Paper PS-3)

2009.

Design and implementation of an improved and reliable pressurizer controller at the Paks NPP.

Authors: Bartha, Tamás; Fazekas, Csaba; Varga, István
Date: 2009. 06. 30.
Published by: SAFEPROCESS 2009. 7th IFAC international symposium on fault detection, supervision and safety of technical processes. Barcelona, 2009. (Page: 1162-1167.)
Download article: [es/]

Verification of a primary-to-secondary leaking safety procedure in a nuclear power plant using coloured Petri nets.

Authors: Németh, Erzsébet; Bartha, Tamás; Fazekas, Csaba; Hangos, Katalin
Date: 2009.
Published by: Reliability Engineering and System Safety (Volume no.: 94 , Issue no.: 5, Page: 942-953.)

2008.

Development of safety software for the Paks Nuclear Power Plant.

Authors: Bartha, Tamás; Varga, István
Date: 2008.
Published by: ERCIM News (Issue no.: (75), Page: 53-54.)

Formal verification of safety functions by reinterpretation of functional block based specifications.

Authors: Németh, Erzsébet; Bartha, Tamás
Editor: Cofer, D.; Fantechi, A.
Date: 2008.
Published by: FMICS 2008. 13th international workshop on formal methods for industrial critical systems. L'Aquila, 2008. (Page: 219-234.)

2007.

Integrált irányítási alkalmazások járműrendszerekben.

Authors: Bartha, Tamás; Gáspár, Péter
Date: 2007.
Published by: A Jövő Járműve - Járműipari Innováció (Issue no.: 1-2, Page: 28-31.)

2006.

Formal verification of function block based specifications of safety-critical software.

Authors: Németh, Erzsébet; Bartha, Tamás
Editor: Monostori, László; Ilie-Zudor, Angyalka Elisabeth
Date: 2006.
Published by: MITIP 2006. 8th international conference on the modern information technology in the innovation processes of the industrial enterprises. Budapest, 2006. (Page: 211-218)

2005.

Implementation of a testing and diagnostic concept for an NPP reactor protection system

Authors: Bartha, T; Varga, I; Soumelidis, A; Szabó, G
Date: 2005.
Published by: LECTURE NOTES IN COMPUTER SCIENCE (Volume no.: 3463, Page: 391-402)

Állapotmonitorozási és megbízhatósági információk integrálása erőművi informatikai rendszerekben

Authors: Szabó, G; Varga, I; Bartha, T
Date: 2005.
Published by: ACTA AGRARIA KAPOSVÁRIENSIS (Volume no.: 8, Issue no.: 3, Page: 99-115)

2004.

On-line testing of the reactor protection system in the Paks nuclear power plant

Authors: Varga, I; Bartha, T; Soumelidis, A
Date: 2004.
Published by: ERCIM NEWS (Issue no.: 56, Page: 33-34)

Status and actual risk monitoring in a NPP reactor protection system

Authors: Varga, I; Bartha, T; Szabó, G; Kiss, B
Date: 2004.
Published by: Probabilistic safety assessment and management. Proceedings of thje PSAM7 - ESREL'04 Conference, Berlin. Vol. 5 (Page: 2654-2659)

Formális módszerek az informatikában

Authors: Bartha, T; Csertán, GY; Gyapay, SZ; Majzik, I; Pataricza, A; Varró, D
Date: 2004.
Published by: Formális módszerek az informatikában (Page: 312)

2003.

A concept for on-line testing of distributed safety-critical supervisory systems

Authors: Varga, I; Bartha, T; Soumelidis, A; Katics, B
Date: 2003.
Published by: Intelligent manufacturing systems 2003 (IFAC Proceedings Volumes, 0474-6674) (Page: 175-180)

2002.

Modeling uncertainty in system-level fault diagnosis using process graphs.

Authors: Polgár, B; Selényi, E; Bartha, T
Date: 2002.
Published by: Distributed and parallel systems. Cluster and grid computing. (The Kluwer international series in engineering and computer science SECS 706) (Page: 195-202)

2000.

Probabilistic fault diagnosis in large, heterogeneous computing systems.

Authors: Bartha, T; Selényi, E
Date: 2000.
Published by: PERIODICA POLYTECHNICA-ELECTRICAL ENGINEERING (Volume no.: 2, Issue no.: 2, Page: 127-149)

Utilizing backward error recovery to achieve fault tolerance in a SIMD supercomputer.

Authors: Bartha, T
Date: 2000.
Published by: 4th IFAC symposium on fault detection supervision and safety for technical processes. SAFEPROCESS 2000. Preprints. Budapest, 2000. Vol. 2. (Page: 961-966)

Visual lane and obstruction detection system for commercial vehicles.

Authors: Gáspár, P; Szászi, I; Bartha, T; Varga, I; Bokor, J; Palkovics, L; Gianone, L
Date: 2000.
Published by: 4th IFAC symposium on fault detection supervision and safety for technical processes. SAFEPROCESS 2000. Preprints. Budapest, 2000. Vol. 2. (Page: 908-913)

On classification heuristics of probabilistic system-level fault diagnostic algorithms.

Authors: Bartha, T; Selényi, E
Date: 2000.
Published by: Distributed and parallel systems. (The Kluwer international series in engineering and omputer science 567) (Page: 77-86)

1999.

Backward error recovery in the APEmille parallel computer.

Authors: Maestrini, P; Bartha, T
Date: 1999.
Published by: Dependable computing - EDCC-3. Third European conference. Fast Abstracts. Prague, 1999. (Page: 2)

Efficient probabilistic diagnosis algorithms for large systems.

Authors: Selényi, E; Bartha, T
Date: 1999.
Published by: Dependable computing - EDCC-3. Third European conference. Fast Abstracts. Prague, 1999. (Page: 2)