Bejelentkezés
 Fórum
 
 
Személyi adatlap
 Nyomtatási kép
Az adatok hitelességéről nyilatkozott: 2016. V. 07.
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:
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
2016

Darvas Dániel, Vörös András, Bartha Tamás: Improving Saturation-based Bounded Model Checking, ACTA CYBERNETICA-SZEGED 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: 1
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. Switzerland: Springer International Publishing, 2015. pp. 309-328. (Lecture Notes in Computer Science; 9115.)
dokumentum típusa: Könyvrészlet/Konferenciaközlemény
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-SZEGED 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 
2014

Darvas Dániel, Fernández Adiego, Borja, Vörös András, Bartha Tamás, Blanco Viñuela, Enrique, González Suárez, Víctor M: Formal verification of complex properties on PLC programs, In: Szerk.: Ábrahám Erika, Szerk.: Catuscia Palamidessi Formal Techniques for Distributed Objects, Components, and Systems. Berlin; Heidelberg: Springer, 2014. pp. 284-299. (Lecture Notes in Computer Science; 8461.)
dokumentum típusa: Könyvrészlet/Konferenciaközlemény
független idéző közlemények száma: 5
nyelv: angol
DOI 
2013

Darvas Dániel, Vörös András, Bartha Tamás: Efficient Saturation-based Bounded Model Checking of Asynchronous Systems, In: Szerk.: Kiss Ákos Proceedings of the 13th Symposium on Programming Languages and Software Tools, SPLST'13. Szeged: University of Szeged, 2013. pp. 259-273.
dokumentum típusa: Könyvrészlet/Konferenciaközlemény
nyelv: angol
Teljes szöveg 
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 
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
impakt faktor: 0.312*
nyelv: angol
2009

Németh E, Bartha T, Fazekas Cs, Hangos K M: Verification of a primary-to-secondary leaking safety procedure in a nuclear power plant using coloured Petri nets, RELIABILITY ENGINEERING & SYSTEM SAFETY 94: (5) pp. 942-953.
dokumentum típusa: Folyóiratcikk/Szakcikk
független idéző közlemények száma: 9
nyelv: angol
a legjelentősebbnek tartott 10 közleményre kapott független hivatkozások száma:15 
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):
49
összes tudományos és felsőoktatási közleményének száma (TV):
55
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):
19
összes tudományos közleményének és alkotásainak független idézettségi száma (TV):
80

 
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ó: 1.2318 ( 2016. XI. 26. )