Print preview personal data approved: 2024. VII. 10. Publications |
2024
from data base, 2024. VII. 10. |
Lukács Gábor, Bartha Tamás: Verification of Railway Control Systems Using Model Checking and CTL, Explained Through a Case Study, PERIODICA POLYTECHNICA TRANSPORTATION ENGINEERING OF: 10.3311/PPtr.23344 type of document: Journal paper/Article language: English URL |
2022
from data base, 2024. VII. 10. |
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. type of document: Journal paper/Konferenciaközlemény language: English
|
2022
from data base, 2024. VII. 10. |
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. type of document: Journal paper/Article number of independent citations: 2 language: English URL |
2022
from data base, 2024. VII. 10. |
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, IEEE (2022) pp. 283-288. type of document: Part of book/Proceedings Paper language: English URL |
2022
from data base, 2024. VII. 10. |
Lukacs G., Bartha T.: Transformation domain requirements specification into computation tree logic language, In: IEEE (szerk.) 2022 IEEE 1st International Conference on Cognitive Mobility (CogMob), IEEE (2022) pp. 73-78. type of document: Part of book/Proceedings Paper language: English URL |
2022
from data base, 2024. VII. 10. |
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, Civil-Comp Press (2022) 15.7 type of document: Conference paper/Előadás vagy poszter cikke language: English URL |
2021
from data base, 2024. VII. 10. |
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, Magyar Mérnökakadémia (MMA) (2021) 30 type of document: Part of book/Proceedings Paper language: Hungarian Full text |
2021
from data base, 2024. VII. 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. type of document: Journal paper/Article language: Hungarian
|
2019
from data base, 2024. VII. 10. |
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. type of document: Journal paper/Article number of independent citations: 1 language: English URL |
2018
from data base, 2024. VII. 10. |
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. type of document: Journal paper/Article number of independent citations: 9 language: English URL |
| Number of independent citations to these publications: | 12 |
|
|