Skip to main content

Publications

Tamás Bartha, Ph.D.

senior research fellow
Email
@email
Phone
+36 1 279 6011
Fax
+36 1 466 7483
Address
1111 Budapest, Kende u. 13-17.
Room number
K 217

Systems and Control Lab

Read more
Clear selection
2016

FORMAL ASPECTS OF COMPUTING, 28 (3)., pp. 345-379. ISSN 0934-5043

Component-wise incremental LTL model checking

Authors
Molnár, Vince
Vörös, András
Darvas, Dániel
Bartha, Tamás
Majzik, István
Read more
2016

ACTA CYBERNETICA-SZEGED, 22 (3)., pp. 573-589. ISSN 0324-721X

Improving Saturation-based Bounded Model Checking

Authors
Darvas, Dániel
Vörös, András
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
2013-03

Proceedings of the Estonian Academy of Sciences, 62 (1)., pp. 59-70.

Bounded saturation-based CTL model checking

Authors
Vörös, András
Darvas, Dániel
Bartha, Tamás
Read more
2013

In: Proceedings of the 13th Symposium on Programming Languages and Software Tools, SPLST'13, 2013-08-26 - 2013-08-27, Szeged, Magyarország.

Extensions to the CEGAR Approach on Petri Nets

Authors
Hajdu, Ákos
Vörös, András
Bartha, Tamás
Mártonka, Zoltán
Editors
Kiss, Ákos
Kiss, Ákos
Read more
2013

In: Proceedings of the 13th Symposium on Programming Languages and Software Tools, SPLST'13, 2013-08-26 - 2013-08-27, Szeged, Magyarország.

Efficient Saturation-based Bounded Model Checking of Asynchronous Systems

Authors
Darvas, Dániel
Vörös, András
Bartha, Tamás
Editors
Kiss, Ákos
Kiss, Ákos
Read more
2009-06-30

In: SAFEPROCESS 2009. 7th IFAC international symposium on fault detection, supervision and safety of technical processes. Barcelona, 2009..

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

Authors
Bartha, Tamás
Fazekas, Csaba
Varga, István
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