Bartha Tamás - ODT Személyi adatlap


	Bejelentkezés Fórum Szervezet tisztségviselők tagintézmények határozatok alapító okirat ügyrend Doktori képzés doktori iskolák intézményenként tudományáganként azonosító alapján megszűnt oktatók név alapján kutatási téma szerint archívum témakiírások doktori iskolánként tudományáganként kutatási téma szerint témavezetések hallgatók keresése Doktori védések intézményenként tudományáganként név szerint dátum szerint doktori iskolánként Honosított fokozatok intézményenként tudományáganként név szerint dátum szerint Habilitációs előadások intézményenként tudományterületenként név szerint Dokumentumok nyilvános anyagok hírek jogszabályok útmutatók Kapcsolatok elérhetőségünk partnereink

Személyi adatlap

Nyomtatási kép

Az adatok hitelességéről nyilatkozott: 2022. XII. 30.

Személyes adatok

név	Bartha Tamás
intézmény neve	Budapesti Műszaki és Gazdaságtudományi Egyetem
doktori iskola	BME Informatikai Tudományok Doktori Iskola (oktató Az oktató a doktori iskola doktoranduszai számára oktat tantárgyat, és/vagy a doktori iskola megszavazta, hogy doktoranduszok számára kutatási témát írjon ki. ) BME Kandó Kálmán Doktori Iskola (oktató Az oktató a doktori iskola doktoranduszai számára oktat tantárgyat, és/vagy a doktori iskola megszavazta, hogy doktoranduszok számára kutatási témát írjon ki. )
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

ezek közül abszolutóriumot szerzettek száma

témavezetettjei közül fokozatot szereztek:

	Gönczy László	PhD	2019	ITDI-BME
	Vörös András	PhD	2018	ITDI-BME

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:

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:

összes tudományos és felsőoktatási közleményének száma:

kiválasztható monográfiák és szakkönyvek:

monográfiák és szakkönyvek száma melyben fejezetet/részt írt:

külföldön megjelent, figyelembe vehető tudományos közleményei:

hazai kiadású, figyelembe vehető idegen nyelvű közleményei:

összes tudományos közleményének és alkotásainak független idézettségi száma:

134