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.

Research keywords: · railway interlocking · air traffic control
Horizon Europe keywords: · Smart and sustainable transport and mobility


1. Bence, Számel ; Géza, Szabó
Functional model of a decision support tool for Air Traffic Control supervisors
ANNALES MATHEMATICAE ET INFORMATICAE 48 : 1 pp. 65-73. , 9 p. (2018)
2. I. F., Lövétei ; G., Szabó
Application and Adaptation of the TRACEr Method for the Decision-Making Process Analysis of Tram Drivers
In: Rolandas, Makaras; Robertas, Keršys; Rasa, Džiaugienė (szerk.) Proceedings of 20th International Scientific Conference Transport Means 2016
Kaunas, Litvánia : Kaunas University of Technology (2016) 1,159 p. pp. 856-861. , 6 p.
3. I F, Lövétei ; G, Szabó
Safety Modeling of Centralized Railway Traffic Control
In: Rolandas, Makaras; Robertas, Keršys; Povilas, Gražulis; Rasa, Džiaugienė (szerk.) Transport Means 2015 Proceedings of 19th International Scientific Conference
Kaunas, Litvánia : Technologija (2015) 781 p. pp. 294-297. , 4 p.
4. Szabó, G.
Formal Specifications and Dependability Analysis: a Fault-Tree Synthesis Algorithm
In: G., Tarnai; E., Schneider (szerk.) Formal Methods for Railway Operation and Control Systems 2003
5. Szabó, G. ; G., Tarnai
Automatic Fault-Tree Generation as a Support for Safety Studies of Railway Interlocking Systems
In: U, Becker (szerk.) Proceedings of the IFAC Symposium on Control in Transportation Systems


Mikó Imre award, 2021


New Trends in Civil Aviation 2022; 26.–27. 10. 2022; Prague; Member of the Programme Committee

Other activities

Member of the Railway Technical Committee
Chair of the Tram-train Committee (Railway Technical Committee)