Bejelentkezés
 Fórum
 
 
Személyi adatlap
 Nyomtatási kép
Az adatok hitelességéről nyilatkozott: 2019. X. 14.
Személyes adatok
Bartha Tamás
név Bartha Tamás
intézmény neve
doktori iskola
BME Kandó Kálmán Doktori Iskola (témavezető)
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

abszolutóriumot szerzett, de nincs folyamatban doktori cselekmény és nincs fokozat:
Lukács Gábor (PhD) 2018/08  KKDI
jelenlegi doktorandusz hallgatói az abszolutórium várható évével:
Farkas Balázs (PhD) (2021/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
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: 3
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 I: (2) pp. 6-10.
dokumentum típusa: Folyóiratcikk/Szakcikk
nyelv: magyar
2017

G Lukács, B Farkas, T Bartha: Experiences with the Formal Modeling of the Geographical and Tabular Principles of Interlocking Systems, In: Kaunas, University of Technology (szerk.) Proceedings of 21st International Scientific Conference. Transport Means 2017, Kaunas University of Technology (2017) pp. 499-504.
dokumentum típusa: Könyvrészlet/Konferenciaközlemény
nyelv: angol
2017

Lukács Gábor, Bartha Tamás: Biztosítóberendezések szakterületi formális specifikációinak előkészítése, In: anon (szerk.) InnoRail2017: 3rd International Conference on the Single European Railway Area, Innorail Kiadó és Konferencia Kft. (2017) pp. 712-723.
dokumentum típusa: Könyvrészlet/Konferenciaközlemény
nyelv: magyar
2016

Molnár Vince, Vörös András, Darvas Dániel, Bartha Tamás, Majzik István: Component-wise incremental LTL model checking, FORMAL ASPECTS OF COMPUTING 28: (3) pp. 345-379.
dokumentum típusa: Folyóiratcikk/Szakcikk
független idéző közlemények száma: 4
nyelv: angol
Teljes szöveg 
2016

Vörös András, Darvas Dániel, Molnár Vince, Klenik Attila, Hajdu Ákos, Jámbor Attila, Bartha Tamás, Majzik István: PetriDotNet 1.5: Extensible Petri net editor and analyser for education and research, LECTURE NOTES IN COMPUTER SCIENCE 9698: (Torun) pp. 123-132.
dokumentum típusa: Folyóiratcikk/Konferenciaközlemény
független idéző közlemények száma: 2
nyelv: angol
Teljes szöveg 
2016

Darvas Dániel, Vörös András, Bartha Tamás: Improving Saturation-based Bounded Model Checking, ACTA CYBERNETICA 22: (3) pp. 573-589.
dokumentum típusa: Folyóiratcikk/Szakcikk
nyelv: angol
Teljes szöveg 
2015

Molnár V, Darvas D, Vörös A, Bartha T: Saturation-based incremental LTL model checking with inductive proofs, LECTURE NOTES IN COMPUTER SCIENCE 9035: pp. 643-657.
dokumentum típusa: Folyóiratcikk/Szakcikk
független idéző közlemények száma: 4
nyelv: angol
Teljes szöveg 
2014

Ákos Hajdu, András Vörös, Tamás Bartha, Zoltán Mártonka: Extensions to the CEGAR Approach on Petri Nets, ACTA CYBERNETICA 21: (3) pp. 401-417.
dokumentum típusa: Folyóiratcikk/Szakcikk
nyelv: angol
URL 
2014

Vörös András, Darvas Dániel, Jámbor Attila, Bartha Tamás: Advanced saturation-based model checking of well-formed coloured Petri nets, PERIODICA POLYTECHNICA-ELECTRICAL ENGINEERING AND COMPUTER SCIENCE 58: (1) pp. 3-13.
dokumentum típusa: Folyóiratcikk/Szakcikk
nyelv: angol
URL 
a legjelentősebbnek tartott közleményekre kapott független hivatkozások száma:13 
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 (TV):
66
összes tudományos és felsőoktatási közleményének száma (TV):
66
kiválasztható monográfiák és szakkönyvek (TV):
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 (TV):
32
hazai kiadású, figyelembe vehető idegen nyelvű közleményei (TV):
22
összes tudományos közleményének és alkotásainak független idézettségi száma (TV):
113

 
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. )