Login
 Forum
 
 
Personal data sheet
 Print preview
personal data approved: 2016. V. 07.
Personal data
Tamás Bartha
name Tamás Bartha
year of birth 1969
name of institution
doctoral school
BME Kálmán Kandó Doctoral School of Transportation and Vehicle Engineering (Supervisor)
Contact details
E-mail address barthamail.bme.hu
phone number +36 1 463-2255
own web page
Academic title
scientific degree, title Ph.D.
year degree was obtained 2001
discipline to which degree belongs electrical engineering
institution granting the degree BME Villamosmérnöki Szak (to be translated)
Employment
1998 - MTA SZTAKI Rendszer és Irányításelméleti Kutató Labor (research institute, not university)
other (not specified) (tud. főmunkatárs)
1996 - Budapest University of Technology and Economics
university professor or researcher
Thesis topic supervisor
number of doctoral students supervised until now 2
number of students who fulfilled course requirements 2
students who obtained their degrees:
present PhD students:
Gábor Lukács (PhD) (2018/08)  KK_DS
  Thesis topic proposals
Research
research area Model checking, formal verification and validation of complex embedded control systems, testing and diagnostic methods of safety critical SW&HW, reliability and risk analysis of computer systems
research field in which current research is conducted transportation and vehicle engineering
computer sciences
Publications
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.
type of document: Journal paper/Article
language: English
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.)
type of document: Part of book/Proceedings Paper
number of independent citations: 1
language: English
Full text 
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.)
type of document: Part of book/Proceedings Paper
language: English
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.
type of document: Journal paper/Article
language: English
Full text 
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.
type of document: Journal paper/Article
language: English
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.)
type of document: Part of book/Proceedings Paper
number of independent citations: 5
language: English
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.
type of document: Part of book/Proceedings Paper
language: English
Full text 
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.
type of document: Journal paper/Article
language: English
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.
type of document: Journal paper/Article
impact factor: 0.312*
language: English
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.
type of document: Journal paper/Article
number of independent citations: 9
language: English
Number of independent citations to these publications:15 
Scientometric data
list of publications and citations
number of scientific publications that meet accreditation criteria (TV):
49
number of scientific publications (TV):
55
monographs and professional books (TV):
1
monographs/books in which chapters/sections were contributed:
1 
scientific publications published abroad that meet the accreditation criteria (TV):
26
publications not in Hungarian, published in Hungary, meeting the accreditation criteria (TV):
19
number of independent citations to scientific publications and creative works (TV):
80

 
All rights reserved © 2007, Hungarian Doctoral Council. Doctoral Council registration number at commissioner for data protection: 02003/0001. Program version: 1.2318 ( 2016. XI. 26. )