Login
 Forum
 
 
Personal data sheet
 Print preview
personal data approved: 2020. IX. 14.
Personal data
Tamás Bartha
name Tamás Bartha
name of institution
doctoral school
BME Doctoral School of Informatics (Academic staff member)
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:
László Gönczy PhD 2019  DSI-BME
András Vörös PhD 2018  DSI-BME

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
2019

Lukács Gábor, Bartha Tamás: Construction of formal models and verifying property specifications through an example of railway interlocking systems, POLLACK PERIODICA: AN INTERNATIONAL JOURNAL FOR ENGINEERING AND INFORMATION SCIENCES 14: (2) pp. 39-50.
type of document: Journal paper/Article
language: English
URL 
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.
type of document: Journal paper/Article
number of independent citations: 3
language: English
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.
type of document: Journal paper/Article
language: Hungarian
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.
type of document: Part of book/Proceedings Paper
language: English
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, LECTURE NOTES IN COMPUTER SCIENCE 9698: (Torun) pp. 123-132.
type of document: Journal paper/Konferenciaközlemény
number of independent citations: 3
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
Full text 
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.
type of document: Journal paper/Article
number of independent citations: 4
language: English
Full text 
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
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.
type of document: Journal paper/Article
language: English
URL 
Number of independent citations to these publications:14 
Scientometric data
list of publications and citations
number of scientific publications that meet accreditation criteria (TV):
64
number of scientific publications (TV):
64
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):
31
publications not in Hungarian, published in Hungary, meeting the accreditation criteria (TV):
22
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. )