Ugrás a tartalomra

Publikációk

2024

PERIODICA POLYTECHNICA TRANSPORTATION ENGINEERING, 52 (4)., pp. 402-411. ISSN 0303-7800

Verification of Railway Control Systems Using Model Checking and CTL, Explained Through a Case Study

Szerzők
Lukács, Gábor
Bartha, Tamás
Tovább
2022

Urban Rail Transit, 8, pp. 217-245. ISSN 2199-6679

Formal Modeling and Verification of the Functionality of Electronic Urban Railway Control Systems Through a Case Study

Szerzők
Lukács, Gábor
Bartha, Tamás
Tovább
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
2015

In: Application and Theory of Petri Nets and Concurrency Lecture Notes in Computer Science (9115) Springer International Publishing, Switzerland, pp. 309-328. ISSN 0302-9743

New Search Strategies for the Petri Net CEGAR Approach

Szerzők
Hajdu, Ákos
Vörös, András
Bartha, Tamás
Szerkesztők
Devillers, Raymond
Valmari, Antti
Tovább
2006

In: MITIP 2006. 8th international conference on the modern information technology in the innovation processes of the industrial enterprises. Budapest, 2006..

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

Szerzők
Németh, Erzsébet
Bartha, Tamás
Szerkesztők
Monostori, László
Ilie-Zudor, Angyalka Elisabeth
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
2009

Reliability Engineering and System Safety, 94 (5)., pp. 942-953.

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
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
2014

ACTA CYBERNETICA-SZEGED, 21 (3)., pp. 401-417. ISSN 0324-721X

Extensions to the CEGAR Approach on Petri Nets

Szerzők
Hajdu, Ákos
Vörös, András
Bartha, Tamás
Mártonka, Zoltán
Tovább
2005

ACTA AGRARIA KAPOSVÁRIENSIS, 8 (3)., pp. 99-115.

Á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
Tovább