Bartha, T

Á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)

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)

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)

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)

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)

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)

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)

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)

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)

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)

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)

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)

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)

Bartha, Tamás

Bounded saturation based CTL model checking.

Authors: Vörös, András; Darvas, Dániel; Bartha, Tamás
Date: 2011. 10. 05.
Published by: 12th symposium on programming languages and software tools. Proceedings. Tallinn, 2011. (Page: 149-160.)

Parallel saturation based model checking.

Authors: Vörös, A.; Szabó, T.; Jámbor, A.; Darvas, D,; Horváth, Á.; Bartha, Tamás
Date: 2011. 07. 06.
Published by: ISPDC 2011. 10th international symposium on parallel and distributed computing. Cluj-Napoca, 2011. (Page: 94-101.)

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

Authors: Gábor, Attila; Sonnevend, Ilona; Bartha, Tamás
Date: 2011. 11. 17.
Published by: ACD 2011. 9th European workshop on advanced control and diagnosis. Budapest, 2011. (Length: 1-12. page)

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.)

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.)

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.)

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.)

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)

Bokor, J

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)

Csertán, GY

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)

Darvas, D,

Parallel saturation based model checking.

Authors: Vörös, A.; Szabó, T.; Jámbor, A.; Darvas, D,; Horváth, Á.; Bartha, Tamás
Date: 2011. 07. 06.
Published by: ISPDC 2011. 10th international symposium on parallel and distributed computing. Cluj-Napoca, 2011. (Page: 94-101.)

Darvas, Dániel

Bounded saturation based CTL model checking.

Authors: Vörös, András; Darvas, Dániel; Bartha, Tamás
Date: 2011. 10. 05.
Published by: 12th symposium on programming languages and software tools. Proceedings. Tallinn, 2011. (Page: 149-160.)

Fazekas, Csaba

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.)

Gianone, L

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)

Gyapay, SZ

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)

Gábor, Attila

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

Authors: Gábor, Attila; Sonnevend, Ilona; Bartha, Tamás
Date: 2011. 11. 17.
Published by: ACD 2011. 9th European workshop on advanced control and diagnosis. Budapest, 2011. (Length: 1-12. page)

Gáspár, P

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)

Gáspár, Péter

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.)

Hangos, Katalin

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.)

Horváth, Á.

Parallel saturation based model checking.

Authors: Vörös, A.; Szabó, T.; Jámbor, A.; Darvas, D,; Horváth, Á.; Bartha, Tamás
Date: 2011. 07. 06.
Published by: ISPDC 2011. 10th international symposium on parallel and distributed computing. Cluj-Napoca, 2011. (Page: 94-101.)

Jámbor, A.

Parallel saturation based model checking.

Authors: Vörös, A.; Szabó, T.; Jámbor, A.; Darvas, D,; Horváth, Á.; Bartha, Tamás
Date: 2011. 07. 06.
Published by: ISPDC 2011. 10th international symposium on parallel and distributed computing. Cluj-Napoca, 2011. (Page: 94-101.)

Katics, B

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)

Kiss, B

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)

Maestrini, P

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)

Majzik, I

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)

Németh, Erzsébet

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.)

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.)

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)

Palkovics, L

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)

Pataricza, A

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)

Polgár, B

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)

Selényi, E

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)

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)

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)

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)

Sonnevend, Ilona

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

Authors: Gábor, Attila; Sonnevend, Ilona; Bartha, Tamás
Date: 2011. 11. 17.
Published by: ACD 2011. 9th European workshop on advanced control and diagnosis. Budapest, 2011. (Length: 1-12. page)

Soumelidis, A

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)

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)

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)

Szabó, G

Á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)

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)

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)

Szabó, T.

Parallel saturation based model checking.

Authors: Vörös, A.; Szabó, T.; Jámbor, A.; Darvas, D,; Horváth, Á.; Bartha, Tamás
Date: 2011. 07. 06.
Published by: ISPDC 2011. 10th international symposium on parallel and distributed computing. Cluj-Napoca, 2011. (Page: 94-101.)

Szászi, I

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)

Varga, I

Á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)

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)

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)

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)

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)

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)

Varga, István

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/]

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.)

Varró, D

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)

Vörös, A.

Parallel saturation based model checking.

Authors: Vörös, A.; Szabó, T.; Jámbor, A.; Darvas, D,; Horváth, Á.; Bartha, Tamás
Date: 2011. 07. 06.
Published by: ISPDC 2011. 10th international symposium on parallel and distributed computing. Cluj-Napoca, 2011. (Page: 94-101.)

Vörös, András

Bounded saturation based CTL model checking.

Authors: Vörös, András; Darvas, Dániel; Bartha, Tamás
Date: 2011. 10. 05.
Published by: 12th symposium on programming languages and software tools. Proceedings. Tallinn, 2011. (Page: 149-160.)