Login
 Forum
 
 
Personal data sheet
 Print preview
personal data approved: 2018. V. 29.
Personal data
Tamás Bartha
name Tamás Bartha
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:
completed course requirement, without degree or degree granting in process:
Gábor Lukács (PhD) 2018/08  KK_DS
present PhD students:
Balázs Farkas (PhD) (2021/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
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.
type of document: Journal paper/Article
language: Hungarian
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.
type of document: Journal paper/Konferenciaközlemény
language: English
Full text 
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.
type of document: Journal paper/Article
number of independent citations: 4
language: English
Full text 
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.)
type of document: Part of book/Proceedings Paper
number of independent citations: 1
language: English
Full text 
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.
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: 3
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. Cham (Svájc): Springer International Publishing, 2015. pp. 309-328. (Lecture Notes in Computer Science; 9115.)
type of document: Part of book/Proceedings Paper
number of independent citations: 3
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 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 
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 
Number of independent citations to these publications:11 
Scientometric data
list of publications and citations
number of scientific publications that meet accreditation criteria (TV):
54
number of scientific publications (TV):
60
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):
27
publications not in Hungarian, published in Hungary, meeting the accreditation criteria (TV):
19
number of independent citations to scientific publications and creative works (TV):
115

 
All rights reserved © 2007, Hungarian Doctoral Council. Doctoral Council registration number at commissioner for data protection: 02003/0001. Program version: 2.2358 ( 2017. X. 31. )