Items where Author is "Bartha, Tamás"

Lukács, Gábor and Bartha, Tamás (2019) Construction of formal models and verifying property specifications through an example of railway interlocking systems. Pollack Periodica, 14 (2). pp. 39-50. ISSN 1788-1994

Vörös, András and Darvas, Dániel and Molnár, Vince and Klenik, Attila and Hajdu, Ákos and Bartha, Tamás and Majzik, István (2016) PetriDotNet 1.5: Extensible Petri net editor and analyser for education and research. In: Application and Theory of Petri Nets and Concurrency. Lecture Notes in Computer Science (9698). Springer International Publishing, Cham (Svájc), pp. 123-132. ISBN 978-3-319-39086-4

Hajdu, Ákos and Vörös, András and Bartha, Tamás (2015) New Search Strategies for the Petri Net CEGAR Approach. In: Application and Theory of Petri Nets and Concurrency. Springer International Publishing Switzerland, Switzerland, pp. 309-328. ISBN 978-3-319-19488-2

Molnár, Vince and Darvas, Dániel and Vörös, András and Bartha, Tamás (2015) Saturation-based incremental LTL model checking with inductive proofs. In: Tools and Algorithms for the Construction and Analysis of Systems,. Lecture Notes in Computer Science (9035). Springer, Berlin; Heidelberg, pp. 643-657. ISBN 978-3-662-46680-3

Vörös, András and Darvas, Dániel and Bartha, Tamás (2013) Bounded saturation-based CTL model checking. PROCEEDINGS OF THE ESTONIAN ACADEMY OF SCIENCES, 62 (1). pp. 59-70. ISSN 1736-6046

Bartha, Tamás and Vörös, András and Jámbor, Attila and Darvas, Dániel (2012) Verification of an industrial safety function using coloured Petri nets and model checking. In: MITIP 2012. 14th International Conference on Modern Information Technology in the Innovation Processes of the Industrial Enterprises. Proceedings volume. MTA SZTAKI, Budapest, pp. 472-485. ISBN 978-963-311-373-8

Németh, Erzsébet and Bartha, Tamás and Fazekas, Cs. and Hangos, Katalin (2009) Verification of a primary-to-secondary leaking safety procedure in a nuclear power plant using coloured Petri nets. RELIABILITY ENGINEERING & SYSTEM SAFETY, 94 (5). pp. 942-953. ISSN 0951-8320

Keviczky, László and Bányász, Csilla and Bartha, Tamás and Bokor, József and Edelmayer, András and Gáspár, Péter and Kulcsár, Balázs and Szászi, István (2008) Az elméletileg elérhető legjobb irányítás algoritmusainak kutatása = Investigation of the theoretically reachable best control algorithms. Project Report. OTKA.

Pataricza, András and Bartha, Tamás and Bertók, Botond and Csertán, György and Dobán, Orsolya and Friedler, Ferenc and Fülöp, János and Huszerl, Gábor and Majzik, István and Nagy, Ádám and Papp, László and Petri, Dániel and Polgár, Balázs and Varró, Dániel (2007) Operációkutatási módszerek műszaki informatikai rendszerek analízisében és verifikációjában = Operation Research Methods for the Analysis and Verification of Information Technology Systems. Project Report. OTKA.