Bejelentkezés
 Fórum


 Doktori képzés 

 Doktori védések 

 Honosított fokozatok 

 Habilitációs előadások 

 Dokumentumok 

 Kapcsolatok 
 
 
Személyi adatlap
 Nyomtatási kép
Az adatok hitelességéről nyilatkozott: 2024. VII. 10.
Személyes adatok
Bartha Tamás
név Bartha Tamás
intézmény neve
doktori iskola
BME Informatikai Tudományok Doktori Iskola (oktató)
BME Kandó Kálmán Doktori Iskola (oktató)
doktori képzéssel kapcsolatos munkájának megoszlása BME Kandó Kálmán Doktori Iskola 100%
Elérhetőségek
drótpostacím barthamail.bme.hu
telefonszám +36 1 463-2255
saját honlap
saját honlap (angol)
Fokozat, cím
tudományos fokozat, cím PhD
fokozat megszerzésének éve 2001
fokozat tudományága villamosmérnöki tudományok
fokozatot kiadó intézmény neve BME Villamosmérnöki Szak
Jelenlegi munkahelyek
1998 - MTA SZTAKI Rendszer és Irányításelméleti Kutató Labor (további intézmény)
további (tud. főmunkatárs)
1996 - Budapesti Műszaki és Gazdaságtudományi Egyetem
egyetemi oktató
Témavezetés
témavezetői tevékenysége során eddig vezetésére bízott doktoranduszok száma 2
ezek közül abszolutóriumot szerzettek száma 2
témavezetettjei közül fokozatot szereztek:
Gönczy László PhD 2019  ITDI-BME
Vörös András PhD 2018  ITDI-BME
abszolutóriumot szerzett:
Farkas Balázs (PhD) 2021/08  KKDI
Lukács Gábor (PhD) 2018/08  KKDI
  Témakiírások
Kutatás
kutatási terület Formális verifikáció, modellellenőrzés, komplex beágyazott irányító rendszerek formális verifikációja, biztonságkritikus rendszerek tesztelése és diagnosztikája, megbízhatósági és kockázatanalízis
jelenlegi kutatásainak tudományága közlekedés- és járműtudományok
informatikai tudományok
Közlemények
2024

 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
dokumentum típusa: Folyóiratcikk/Szakcikk
nyelv: angol
URL 
2022

 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.
dokumentum típusa: Folyóiratcikk/Konferenciaközlemény
nyelv: angol
2022

 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.
dokumentum típusa: Folyóiratcikk/Szakcikk
független idéző közlemények száma: 2
nyelv: angol
URL 
2022

 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.
dokumentum típusa: Könyvrészlet/Konferenciaközlemény
nyelv: angol
URL 
2022

 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.
dokumentum típusa: Könyvrészlet/Konferenciaközlemény
nyelv: angol
URL 
2022

 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
dokumentum típusa: Konferenciacikk/Előadás vagy poszter cikke
nyelv: angol
URL 
2021

 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
dokumentum típusa: Könyvrészlet/Konferenciaközlemény
nyelv: magyar
Teljes szöveg 
2021

 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.
dokumentum típusa: Folyóiratcikk/Szakcikk
nyelv: magyar
2019

 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.
dokumentum típusa: Folyóiratcikk/Szakcikk
független idéző közlemények száma: 1
nyelv: angol
URL 
2018

 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.
dokumentum típusa: Folyóiratcikk/Szakcikk
független idéző közlemények száma: 9
nyelv: angol
URL 
a legjelentősebbnek tartott közleményekre kapott független hivatkozások száma:12 
Tudománymetriai adatok
Tudományos közlemény- és idézőlista mycite adattárban
a 10 válogatott közlemény közé kiválasztható közleményeinek száma:
83
összes tudományos és felsőoktatási közleményének száma:
83
kiválasztható monográfiák és szakkönyvek:
1
monográfiák és szakkönyvek száma melyben fejezetet/részt írt:
1 
külföldön megjelent, figyelembe vehető tudományos közleményei:
41
hazai kiadású, figyelembe vehető idegen nyelvű közleményei:
26
összes tudományos közleményének és alkotásainak független idézettségi száma:
139

 
Minden jog fenntartva © 2007, Országos Doktori Tanács - a doktori adatbázis nyilvántartási száma az adatvédelmi biztosnál: 02003/0001. Program verzió: 2.2358 ( 2017. X. 31. )