MTA SZTAKI Hungarian Academy of Sciences Institute for Computer Science and Control

Publication without a category

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

Authors: Varga, István; Bartha, Tamás; Soumelidis, Alexandros; Katics, B.
Editor: Monostori, L; Kádár, B; Morel, G
Date: 2003.
Published by: Intelligent manufacturing systems 2003 (IFAC Proceedings Volumes, 0474-6674) (Page: 1)

Status and actual risk monitoring in a NPP reactor protection system

Authors: Varga, István; Bartha, Tamás; Szabó, G.; Kiss, B.
Editor: Spitzer, C; Schmocker, U; Dang, VN
Date: 2004.
Published by: Probabilistic safety assessment and management. Proceedings of thje PSAM7 - ESREL'04 Conference, Berlin. Vol. 5 (Page: 2)

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

Authors: Varga, István; Bartha, Tamás; Soumelidis, Alexandros
Date: 2004.
Published by: ERCIM NEWS (Page: 3)

Formális módszerek az informatikában

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

Modeling uncertainty in system-level fault diagnosis using process graphs

Authors: Polgár, B.; Selényi, E.; Bartha, Tamás
Editor: Kacsuk, P; Kranzlmüller, D; Német, ZS; Volkert, J
Date: 2002.
Published by: Distributed and parallel systems. Cluster and grid computing. (The Kluwer international series in engineering and computer science SECS 706) (Page: 1)

On classification heuristics of probabilistic system-level fault diagnostic algorithms

Authors: Bartha, Tamás; Selényi, E.
Editor: Kacsuk, P; Kotsis, G
Date: 2000.
Published by: Distributed and parallel systems. (The Kluwer international series in engineering and omputer science 567) (Page: 7)

Visual lane and obstruction detection system for commercial vehicles

Authors: Gáspár, Péter; Szászi, I.; Bartha, Tamás; Varga, István; Bokor, József; Palkovics, László; Gianone, L.
Editor: Edelmayer, AM
Date: 2000.
Published by: 4th IFAC symposium on fault detection supervision and safety for technical processes. SAFEPROCESS 2000. Preprints. Budapest, 2000. Vol. 2. (Page: 9)

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

Authors: Bartha, Tamás
Editor: Edelmayer, AM
Date: 2000.
Published by: 4th IFAC symposium on fault detection supervision and safety for technical processes. SAFEPROCESS 2000. Preprints. Budapest, 2000. Vol. 2. (Page: 9)

Probabilistic fault diagnosis in large, heterogeneous computing systems

Authors: Bartha, Tamás; Selényi, E.
Date: 2000.
Published by: PERIODICA POLYTECHNICA-ELECTRICAL ENGINEERING (Page: 1)

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. (Page: 1)

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

Authors: Szabó, G.; Varga, István; Bartha, Tamás
Date: 2005.
Published by: ACTA AGRARIA KAPOSVÁRIENSIS (Page: 9)

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: 1)

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: 9)

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: 1)

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

Authors: Bartha, Tamás; Varga, István; Soumelidis, Alexandros; Szabó, G.
Date: 2005.
Published by: LECTURE NOTES IN COMPUTER SCIENCE (Page: 3)

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 (Page: 9)

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: 2)

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.: (, Page: 5)

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, Page: 2)

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: 2)

Efficient probabilistic diagnosis algorithms for large systems

Authors: Selényi, E.; Bartha, Tamás
Date: 1999.
Published by: Dependable computing - EDCC-3. Third European conference. Fast Abstracts. Prague, 1999.

Backward error recovery in the APEmille parallel computer

Authors: Maestrini, P.; Bartha, Tamás
Date: 1999.
Published by: Dependable computing - EDCC-3. Third European conference. Fast Abstracts. Prague, 1999.