Skip to main content

Publications

2004

Typotex, Budapest, pp. 312.

Formális módszerek az informatikában

Authors
Bartha, Tamás
Csertán, GY
Gyapay, SZ
Majzik, I.
Pataricza, A.
Varró, D.
Read more
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

Authors
Hajdu, Ákos
Vörös, András
Bartha, Tamás
Editors
Devillers, Raymond
Valmari, Antti
Read more
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

Authors
Németh, Erzsébet
Bartha, Tamás
Editors
Monostori, László
Ilie-Zudor, Angyalka Elisabeth
Read more
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

Authors
Bartha, Tamás
Editors
Edelmayer, AM
Read more
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

Authors
Németh, Erzsébet
Bartha, Tamás
Fazekas, Csaba
Hangos, Katalin
Read more
2003

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

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

Authors
Varga, István
Bartha, Tamás
Soumelidis, Alexandros
Katics, B.
Editors
Monostori, L
Kádár, B
Morel, G
Read more
2014

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

Extensions to the CEGAR Approach on Petri Nets

Authors
Hajdu, Ákos
Vörös, András
Bartha, Tamás
Mártonka, Zoltán
Read more
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

Authors
Szabó, G.
Varga, István
Bartha, Tamás
Read more
2016

In: Application and Theory of Petri Nets and Concurrency Lecture Notes in Computer Science (9698) Springer International Publishing, Cham (Svájc), pp. 123-132.

PetriDotNet 1.5: Extensible Petri net editor and analyser for education and research

Authors
Vörös, András
Darvas, Dániel
Molnár, Vince
Klenik, Attila
Hajdu, Ákos
Bartha, Tamás
Majzik, István
Editors
Kordon, Fabrice
Moldt, Daniel
Read more
1999

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

Efficient probabilistic diagnosis algorithms for large systems

Authors
Selényi, E.
Bartha, Tamás
Read more