MTA SZTAKI Magyar Tudományos Akadémia Számítástechnikai és Automatizálási Kutatóintézet

Nem besorolt publikációk

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

Szerzők: Varga, István; Bartha, Tamás; Soumelidis, Alexandros; Katics, B.
Szerkesztő: Monostori, L; Kádár, B; Morel, G
Megjelenés: 2003.
Megjelent: Intelligent manufacturing systems 2003 (IFAC Proceedings Volumes, 0474-6674) (Oldalszám: 1)

Status and actual risk monitoring in a NPP reactor protection system

Szerzők: Varga, István; Bartha, Tamás; Szabó, G.; Kiss, B.
Szerkesztő: Spitzer, C; Schmocker, U; Dang, VN
Megjelenés: 2004.
Megjelent: Probabilistic safety assessment and management. Proceedings of thje PSAM7 - ESREL'04 Conference, Berlin. Vol. 5 (Oldalszám: 2)

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

Szerzők: Varga, István; Bartha, Tamás; Soumelidis, Alexandros
Megjelenés: 2004.
Megjelent: ERCIM NEWS (Oldalszám: 3)

Formális módszerek az informatikában

Szerzők: Bartha, Tamás; Csertán, GY; Gyapay, SZ; Majzik, I.; Pataricza, A.; Varró, D.
Megjelenés: 2004.
Megjelent: Formális módszerek az informatikában

Modeling uncertainty in system-level fault diagnosis using process graphs

Szerzők: Polgár, B.; Selényi, E.; Bartha, Tamás
Szerkesztő: Kacsuk, P; Kranzlmüller, D; Német, ZS; Volkert, J
Megjelenés: 2002.
Megjelent: Distributed and parallel systems. Cluster and grid computing. (The Kluwer international series in engineering and computer science SECS 706) (Oldalszám: 1)

On classification heuristics of probabilistic system-level fault diagnostic algorithms

Szerzők: Bartha, Tamás; Selényi, E.
Szerkesztő: Kacsuk, P; Kotsis, G
Megjelenés: 2000.
Megjelent: Distributed and parallel systems. (The Kluwer international series in engineering and omputer science 567) (Oldalszám: 7)

Visual lane and obstruction detection system for commercial vehicles

Szerzők: Gáspár, Péter; Szászi, I.; Bartha, Tamás; Varga, István; Bokor, József; Palkovics, László; Gianone, L.
Szerkesztő: Edelmayer, AM
Megjelenés: 2000.
Megjelent: 4th IFAC symposium on fault detection supervision and safety for technical processes. SAFEPROCESS 2000. Preprints. Budapest, 2000. Vol. 2. (Oldalszám: 9)

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

Szerzők: Bartha, Tamás
Szerkesztő: Edelmayer, AM
Megjelenés: 2000.
Megjelent: 4th IFAC symposium on fault detection supervision and safety for technical processes. SAFEPROCESS 2000. Preprints. Budapest, 2000. Vol. 2. (Oldalszám: 9)

Probabilistic fault diagnosis in large, heterogeneous computing systems

Szerzők: Bartha, Tamás; Selényi, E.
Megjelenés: 2000.
Megjelent: PERIODICA POLYTECHNICA-ELECTRICAL ENGINEERING (Oldalszám: 1)

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

Szerzők: Gábor, Attila; Sonnevend, Ilona; Bartha, Tamás
Megjelenés: 2011. 11. 17.
Megjelent: ACD 2011. 9th European workshop on advanced control and diagnosis. Budapest, 2011. (Oldalszám: 1)

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

Szerzők: Szabó, G.; Varga, István; Bartha, Tamás
Megjelenés: 2005.
Megjelent: ACTA AGRARIA KAPOSVÁRIENSIS (Oldalszám: 9)

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

Szerzők: Bartha, Tamás; Fazekas, Csaba; Varga, István
Megjelenés: 2009. 06. 30.
Megjelent: SAFEPROCESS 2009. 7th IFAC international symposium on fault detection, supervision and safety of technical processes. Barcelona, 2009. (Oldalszám: 1)

Parallel saturation based model checking

Szerzők: Vörös, A.; Szabó, T.; Jámbor, A.; Darvas, D.; Horváth, Á.; Bartha, Tamás
Megjelenés: 2011. 07. 06.
Megjelent: ISPDC 2011. 10th international symposium on parallel and distributed computing. Cluj-Napoca, 2011. (Oldalszám: 9)

Bounded saturation based CTL model checking

Szerzők: Vörös, András; Darvas, Dániel; Bartha, Tamás
Megjelenés: 2011. 10. 05.
Megjelent: 12th symposium on programming languages and software tools. Proceedings. Tallinn, 2011. (Oldalszám: 1)

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

Szerzők: Bartha, Tamás; Varga, István; Soumelidis, Alexandros; Szabó, G.
Megjelenés: 2005.
Megjelent: LECTURE NOTES IN COMPUTER SCIENCE (Oldalszám: 3)

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

Szerzők: Németh, Erzsébet; Bartha, Tamás; Fazekas, Csaba; Hangos, Katalin
Megjelenés: 2009.
Megjelent: Reliability Engineering and System Safety (Oldalszám: 9)

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

Szerzők: Németh, Erzsébet; Bartha, Tamás
Szerkesztő: Monostori, László; Ilie-Zudor, Angyalka Elisabeth
Megjelenés: 2006.
Megjelent: MITIP 2006. 8th international conference on the modern information technology in the innovation processes of the industrial enterprises. Budapest, 2006. (Oldalszám: 2)

Development of safety software for the Paks Nuclear Power Plant

Szerzők: Bartha, Tamás; Varga, István
Megjelenés: 2008.
Megjelent: ERCIM News (Füzetszám: (, Oldalszám: 5)

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

Szerzők: Bartha, Tamás; Gáspár, Péter
Megjelenés: 2007.
Megjelent: A Jövő Járműve - Járműipari Innováció (Füzetszám: 1, Oldalszám: 2)

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

Szerzők: Németh, Erzsébet; Bartha, Tamás
Szerkesztő: Cofer, D.; Fantechi, A.
Megjelenés: 2008.
Megjelent: FMICS 2008. 13th international workshop on formal methods for industrial critical systems. L'Aquila, 2008. (Oldalszám: 2)

Efficient probabilistic diagnosis algorithms for large systems

Szerzők: Selényi, E.; Bartha, Tamás
Megjelenés: 1999.
Megjelent: Dependable computing - EDCC-3. Third European conference. Fast Abstracts. Prague, 1999.

Backward error recovery in the APEmille parallel computer

Szerzők: Maestrini, P.; Bartha, Tamás
Megjelenés: 1999.
Megjelent: Dependable computing - EDCC-3. Third European conference. Fast Abstracts. Prague, 1999.