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: 2022. XII. 30.
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ó)
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
2022

 Gábor Lukács, Bartha Tamás: Practical UML subset for railway engineers to support formal modeling,
dokumentum típusa:
nyelv: angol
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
nyelv: angol
URL 
2022

 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), Magyar Mérnökakadémia (MMA) (2022) Paper 23
dokumentum típusa: Könyvrészlet/Konferenciaközlemény
nyelv: magyar
Teljes szöveg 
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: 2022 IEEE 16th International Symposium on Applied Computational Intelligence and Informatics (SACI), IEEE (2022) pp. 283-288.
dokumentum típusa: Könyvrészlet/Konferenciaközlemény
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.) Innováció és fenntartható felszíni közlekedés: XV. IFFK 2021, 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 
2017

 Farkas Balázs, Lukács Gábor, Bartha Tamás: Formális modellezés alkalmazásának lehetőségei a vasúti biztosítóberendezések területén - 1. rész, VASÚTI VEZETÉKVILÁG 1: (2) pp. 6-10.
dokumentum típusa: Folyóiratcikk/Szakcikk
nyelv: magyar
a legjelentősebbnek tartott közleményekre kapott független hivatkozások száma:10 
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:
80
összes tudományos és felsőoktatási közleményének száma:
80
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:
39
hazai kiadású, figyelembe vehető idegen nyelvű közleményei:
25
összes tudományos közleményének és alkotásainak független idézettségi száma:
134


2023. X. 03.
ODT ülés
Az ODT következő ülésére 2023. december 5-én, kedden 10.00 órakor kerül sor a Semmelweis Egyetem Szenátusi termében (Bp. Üllői út 26. I. emelet).
 
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. )