I am looking for partners in the research area.

I am looking for partners interested in the Horizon Europe Call.

I am looking for partners for the Horizon Europe research area.

I am looking for laboratory facilities in the research/application area.

Associate Professor

Dr. Tamás Bartha

PhD

H-1111 Budapest Stoczek J. u. 2. ST. ép. 114.

+3614632255

bartha.tamas@kjk.bme.hu

Groups

Rail Traffic Control and Safety Research Group

Faculty

Faculty of Transportation Engineering and Vehicle Engineering

Department

Department of Control for Transportation and Vehicle Systems

Research keywords: · formal verification and model checking · testing and diagnostic methods of safety critical systems · reliability and risk analysis of systems · architectures of fault tolerant and safety critical systems
Horizon Europe keywords: · Smart and sustainable transport and mobility · Disaster-resilient physical and digital infrastructures

https://scholar.google.hu/citations?user=qymdzGsAAAAJ

https://www.researchgate.net/profile/Tamas-Bartha-2

https://www.linkedin.com/in/tamás-bartha-75325a87/

Publications Conferences

Publications

Lukács, Gábor ; Bartha, Tamás: Construction of formal models and verifying property specifications through an example of railway interlocking systems, POLLACK PERIODICA: AN INTERNATIONAL JOURNAL FOR ENGINEERING AND INFORMATION SCIENCES 14 : 2 pp. 39-50. , 12 p. (2019) https://doi.org/10.1556%2F606.2019.14.2.4
Vörös, András ; Darvas, Dániel ; Hajdu, Ákos ; Klenik, Attila ; Marussy, Kristóf ; Molnár, Vince ; Bartha, Tamás ; Majzik, István:Industrial Applications of the PetriDotNet Modelling and Analysis Tool, SCIENCE OF COMPUTER PROGRAMMING 157 pp. 17-40. , 24 p. (2018), https://doi.org/10.1016%2Fj.scico.2017.09.003
Vörös, András ✉ ; Darvas, Dániel ; Molnár, Vince ; Klenik, Attila ; Hajdu, Ákos ; Jámbor, Attila ; Bartha, Tamás ; Majzik, István: PetriDotNet 1.5: Extensible Petri net editor and analyser for education and research, In: Kordon, Fabrice; Moldt, Daniel (szerk.) Application and Theory of Petri Nets and Concurrency : 37th International Conference, PETRI NETS 2016, Toruń, Poland, June 19-24, 2016., pp. 123-132. , 10 p. https://doi.org/10.1007%2F978-3-319-39086-4_9
Darvas, Dániel ; Fernández Adiego, Borja ; Vörös, András ; Bartha, Tamás ; Blanco Viñuela, Enrique ; González Suárez, Víctor M: Formal verification of complex properties on PLC programs, In: Ábrahám, Erika; Catuscia, Palamidessi (szerk.) Formal Techniques for Distributed Objects, Components, and Systems, Berlin, Németország, Heidelberg, Németország : Springer-Verlag (2014) pp. 284-299. , 15 p., https://doi.org/10.1007%2F978-3-662-43613-4_18
Bartha, T ; Fazekas, C ; Varga, I: Design and implementation of an improved and reliable pressurizer controller at the Paks NPP In: IFAC (szerk.) Fault Detection, Supervision and Safety of Technical Processes : 7th IFAC International Symposium SAFEPROCESS Barcelona, Spanyolország, pp. 1162-1167. Paper: FrA2-02 , 6 p. (2009), https://doi.org/10.3182%2F20090630-4-ES-2003.0300

Conferences

Innováció és fenntartható felszíni közlekedés: XV. IFFK 2021, Budapest, participation
Proceedings of 21st International Scientific Conference. Transport Means 2017, Litvánia, participation
InnoRail2017: 3rd International Conference on the Single European Railway Area, Budapest, participation
IFAC World Congress 2011, Milano, organizng committe member