Bejelentkezés
 Fórum
 
 
Személyi adatlap
 Nyomtatási kép
Az adatok hitelességéről nyilatkozott: 2018. V. 29.
Személyes adatok
Bartha Tamás
név Bartha Tamás
születési év 1969
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:
jelenlegi doktorandusz hallgatói az abszolutórium várható évével:
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
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 Mod eling of the Geographical and Ta bular Principles of Interlocking Systems, Transport Means - Proceedings of the International Conference XXI: (II) pp. 499-504.
dokumentum típusa: Folyóiratcikk/Konferenciaközlemény
nyelv: angol
Teljes szöveg 
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, In: Szerk.: Kordon Fabrice, Szerk.: Moldt Daniel Application and Theory of Petri Nets and Concurrency: 37th International Conference, PETRI NETS 2016, Toruń, Poland, June 19-24, 2016. Proceedings. Cham (Svájc): Springer International Publishing, 2016. pp. 123-132. (Lecture Notes in Computer Science; 9698.)
dokumentum típusa: Könyvrészlet/Konferenciaközlemény
független idéző közlemények száma: 1
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
DOI 
2015

Molnár Vince, Darvas Dániel, Vörös András, Bartha Tamás: Saturation-based incremental LTL model checking with inductive proofs, In: Christel Baier, Cesare Tinelli Tools and Algorithms for the Construction and Analysis of Systems,: 21st International Conference, TACAS 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings. Berlin; Heidelberg: Springer, 2015. pp. 643-657. (Lecture Notes in Computer Science; 9035.)
dokumentum típusa: Könyvrészlet/Konferenciaközlemény
független idéző közlemények száma: 3
nyelv: angol
Teljes szöveg 
2015

Hajdu Ákos, Vörös András, Bartha Tamás: New Search Strategies for the Petri Net CEGAR Approach, In: Szerk.: Raymond Devillers, Szerk.: Antti Valmari Application and Theory of Petri Nets and Concurrency: 36th International Conference on Application and Theory of Petri Nets and Concurrency. Cham (Svájc): Springer International Publishing, 2015. pp. 309-328. (Lecture Notes in Computer Science; 9115.)
dokumentum típusa: Könyvrészlet/Konferenciaközlemény
független idéző közlemények száma: 3
nyelv: angol
URL 
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
Teljes szöveg 
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
DOI 
2013

Vörös András, Darvas Dániel, Bartha Tamás: Bounded saturation-based CTL model checking, PROCEEDINGS OF THE ESTONIAN ACADEMY OF SCIENCES 62: (1) pp. 59-70.
dokumentum típusa: Folyóiratcikk/Szakcikk
nyelv: angol
URL 
a legjelentősebbnek tartott 10 közleményre kapott független hivatkozások száma:11 
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):
48
összes tudományos és felsőoktatási közleményének száma (TV):
54
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):
26
hazai kiadású, figyelembe vehető idegen nyelvű közleményei (TV):
18
összes tudományos közleményének és alkotásainak független idézettségi száma (TV):
114

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