1.
Lukács, G ✉ ; Bartha, T
Verification of Railway Control Systems Using Model Checking and CTL, Explained Through a Case Study
PERIODICA POLYTECHNICA TRANSPORTATION ENGINEERING 52 : 4 pp. 402-411. , 10 p. (2024)
DOI SZTAKI Scopus Teljes dokumentum
Zárolt Közlemény:34970591 Egyeztetett Forrás Folyóiratcikk (Szakcikk ) Tudományos
Szakcikk (Folyóiratcikk) | Tudományos[34970591] [Egyeztetett]
2.
Farkas, Balázs ; Bartha, Tamás
Állomási főjelzők kialakításának és jelzési képeinek szisztematikus meghatározása
In: Péter, Tamás (szerk.) XVI. Innováció és Fenntartható Felszíni Közlekedés Konferencia (IFFK 2022)
Budapest, Magyarország : Magyar Mérnökakadémia (MMA) (2022) p. paper 21 , 9 p.
Közlemény:33636621 Nyilvános Forrás Könyvrészlet (Konferenciaközlemény ) Tudományos
Konferenciaközlemény (Könyvrészlet) | Tudományos[33636621] [Nyilvános]
3.
Farkas, Balázs ; Bartha, Tamás
Automated Railway Interlocking Plan Verification Using Petri Nets
In: Proceedings of the Fifth International Conference on Railway Technology: Research, Development and Maintenance
Edinburgh, Egyesült Királyság / Skócia : Civil-Comp Press (2022) Paper: 15.7 , 11 p.
DOI Egyéb URL
Közlemény:34043926 Nyilvános Forrás Egyéb konferenciaközlemény (Konferenciaközlemény ) Tudományos
Konferenciaközlemény (Egyéb konferenciaközlemény) | Tudományos[34043926] [Nyilvános]
4.
Lukács, G ✉ ; Bartha, T
Formal Modeling and Verification of the Functionality of Electronic Urban Railway Control Systems Through a Case Study
Urban Rail Transit 8 pp. 217-245. , 29 p. (2022)
DOI WoS SZTAKI Scopus Egyéb URL Teljes dokumentum
Közlemény:33231253 Egyeztetett Forrás Idéző Folyóiratcikk (Szakcikk ) Tudományos
Nyilvános idéző összesen: 10 | Független: 9 | Függő: 1 | Nem jelölt: 0 | WoS jelölt: 9 | Scopus jelölt: 6 | WoS/Scopus jelölt: 10 | DOI jelölt: 10 (Nem nyilvános: 1)
Szakcikk (Folyóiratcikk) | Tudományos[33231253] [Egyeztetett]
Nyilvános idéző összesen: 10, Független: 9, Függő: 1, Nem jelölt: 0
5.
Lukacs, G. ; Bartha, T.
Transformation domain requirements specification into computation tree logic language
In: IEEE - IEEE (szerk.) 2022 IEEE 1st International Conference on Cognitive Mobility (CogMob)
Piscataway (NJ), Amerikai Egyesült Államok : Institute of Electrical and Electronics Engineers (IEEE) (2022) pp. 73-78. , 6 p.
DOI Scopus
Közlemény:34004107 Nyilvános Forrás Idéző Könyvrészlet (Konferenciaközlemény ) Tudományos
Konferenciaközlemény (Könyvrészlet) | Tudományos[34004107] [Nyilvános]
6.
Lukács, Gábor ; Tamás, Bartha
Practical UML subset for railway engineers to support formal modeling
INTERNATIONAL SCIENTIFIC JOURNAL, TRANS&MOTAUTO WORLD 7 : 2 pp. 56-59. , 4 p. (2022)
Egyéb URL
Közlemény:33124099 Nyilvános Forrás Folyóiratcikk (Konferenciaközlemény ) Tudományos
Konferenciaközlemény (Folyóiratcikk) | Tudományos[33124099] [Nyilvános]
7.
Lukács, Gábor ; Bartha, Tamás
Természetes nyelven megadott vasúti követelmények transzformációja formális tulajdonság leíró nyelvre elágazó idejű temporális logika felhasználásával
In: Péter, Tamás (szerk.) XVI. Innováció és Fenntartható Felszíni Közlekedés Konferencia (IFFK 2022)
Budapest, Magyarország : Magyar Mérnökakadémia (MMA) (2022) Paper: Paper 23 , 8 p.
Teljes dokumentum
Közlemény:33251112 Nyilvános Forrás Könyvrészlet (Konferenciaközlemény ) Tudományos
Konferenciaközlemény (Könyvrészlet) | Tudományos[33251112] [Nyilvános]
8.
Lukacs, Gabor ; Bartha, Tamas
Conception of a formal model-based methodology to support railway engineers in the specification and verification of interlocking systems
In: Szakál, Anikó (szerk.) IEEE 16th International Symposium on Applied Computational Intelligence and Informatics SACI 2022
Temesvár, Románia : Institute of Electrical and Electronics Engineers (IEEE) (2022) pp. 283-288. , 6 p.
DOI Scopus Egyéb URL
Közlemény:33266681 Nyilvános Forrás Idéző Könyvrészlet (Konferenciaközlemény ) Tudományos
Konferenciaközlemény (Könyvrészlet) | Tudományos[33266681] [Nyilvános]
9.
Farkas, Balázs ; Dr. Bartha, Tamás
Vasúti biztosítóberendezések tervezésének formális modellezése Petri-hálók alkalmazásával: vágányutak azonosítása T-invariánsok felhasználásával
In: Péter, Tamás (szerk.) XV. IFFK 2021: Innováció és fenntartható felszíni közlekedés
Budapest, Magyarország : Magyar Mérnökakadémia (MMA) (2021) Paper: 30 , 8 p.
Teljes dokumentum
Közlemény:32600842 Egyeztetett Forrás Idéző Könyvrészlet (Konferenciaközlemény ) Tudományos
Konferenciaközlemény (Könyvrészlet) | Tudományos[32600842] [Egyeztetett]
10.
Lukács, Gábor ; Bartha, Tamás
Közúti fedezőjelzőrendszer formális modellezése UPPAAL keretrendszer felhasználásával
MŰSZAKI SZEMLE (EMT) 77 pp. 18-37. , 20 p. (2021)
Közlemény:32785153 Nyilvános Forrás Folyóiratcikk (Szakcikk ) Tudományos
Szakcikk (Folyóiratcikk) | Tudományos[32785153] [Nyilvános]
2026-06-15 19:24