Ugrás a tartalomra

Publikációk

2004

Typotex, Budapest, pp. 312.

Formális módszerek az informatikában

Szerzők
Bartha, Tamás
Csertán, GY
Gyapay, SZ
Majzik, I.
Pataricza, A.
Varró, D.
Tovább
2004

In: Probabilistic safety assessment and management. Proceedings of thje PSAM7 - ESREL'04 Conference, Berlin. Vol. 5.

Status and actual risk monitoring in a NPP reactor protection system

Szerzők
Varga, István
Bartha, Tamás
Szabó, G.
Kiss, B.
Szerkesztők
Spitzer, C
Schmocker, U
Dang, VN
Tovább
2004

ERCIM NEWS (56)., pp. 33-34.

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

Szerzők
Varga, István
Bartha, Tamás
Soumelidis, Alexandros
Tovább
2003

In: Intelligent manufacturing systems 2003 (IFAC Proceedings Volumes, 0474-6674).

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ők
Monostori, L
Kádár, B
Morel, G
Tovább
2002

Boston, Kluwer, pp. 195-202.

Modeling uncertainty in system-level fault diagnosis using process graphs

Szerzők
Polgár, B.
Selényi, E.
Bartha, Tamás
Szerkesztők
Kacsuk, P
Kranzlmüller, D
Német, ZS
Volkert, J
Tovább
2000

Boston, Kluwer, pp. 77-86.

On classification heuristics of probabilistic system-level fault diagnostic algorithms

Szerzők
Bartha, Tamás
Selényi, E.
Szerkesztők
Kacsuk, P
Kotsis, G
Tovább
2000

In: 4th IFAC symposium on fault detection supervision and safety for technical processes. SAFEPROCESS 2000. Preprints. Budapest, 2000. Vol. 2..

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

Szerzők
Bartha, Tamás
Szerkesztők
Edelmayer, AM
Tovább
2000

In: 4th IFAC symposium on fault detection supervision and safety for technical processes. SAFEPROCESS 2000. Preprints. Budapest, 2000. Vol. 2..

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ők
Edelmayer, AM
Tovább
2000

PERIODICA POLYTECHNICA-ELECTRICAL ENGINEERING, 2 (2)., pp. 127-149.

Probabilistic fault diagnosis in large, heterogeneous computing systems

Szerzők
Bartha, Tamás
Selényi, E.
Tovább
1999

In: Dependable computing - EDCC-3. Third European conference. Fast Abstracts. Prague, 1999..

Efficient probabilistic diagnosis algorithms for large systems

Szerzők
Selényi, E.
Bartha, Tamás
Tovább