Tamás Bartha - ODT Personal data sheet


	Login Forum Organisation officers member institutions resolutions (in Hung.) by-laws (in Hung.) regulations Doctoral program doctoral schools by institution by research field by number ceased working academic staff member by name by research topic archives thesis topic proposals by doctoral school by research field by research topic supervision of PhD students search students Theses defended by institution by research field by name by date by doctoral school Naturalized degrees by institution by research field by name by date Habilitation presentations by institution by branch of science by name Documents (all in Hung.) public documents news legal backgrounds guidelines Contacts contact details partners

Personal data sheet

Print preview

personal data approved: 2024. VII. 10.

Personal data

name	Tamás Bartha
name of institution	Budapest University of Technology and Economics
doctoral school	BME Doctoral School of Informatics (Academic staff member Az oktató a doktori iskola doktoranduszai számára oktat tantárgyat, és/vagy a doktori iskola megszavazta, hogy doktoranduszok számára kutatási témát írjon ki. ) BME Kálmán Kandó Doctoral School of Transportation and Vehicle Engineering (Academic staff member Az oktató a doktori iskola doktoranduszai számára oktat tantárgyat, és/vagy a doktori iskola megszavazta, hogy doktoranduszok számára kutatási témát írjon ki. )
the share of work in the different doctoral schools.	BME Kálmán Kandó Doctoral School of Transportation and Vehicle Engineering 100%

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

number of students who fulfilled course requirements

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:

	Balázs Farkas	(PhD)	2021/08	KK_DS
	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

2024

Lukács Gábor, Bartha Tamás: Verification of Railway Control Systems Using Model Checking and CTL, Explained Through a Case Study, PERIODICA POLYTECHNICA TRANSPORTATION ENGINEERING OF: 10.3311/PPtr.23344
type of document: Journal paper/Article
language: English
URL

2022

Lukács Gábor, Tamás Bartha: Practical UML subset for railway engineers to support formal modeling, INTERNATIONAL SCIENTIFIC JOURNAL, TRANS&MOTAUTO WORLD 7: (2) pp. 56-59.
type of document: Journal paper/Konferenciaközlemény
language: English

2022

Lukács G, Bartha T: Formal Modeling and Verification of the Functionality of Electronic Urban Railway Control Systems Through a Case Study, Urban Rail Transit 8: pp. 217-245.
type of document: Journal paper/Article
number of independent citations: 2
language: English
URL

2022

Lukacs Gabor, Bartha Tamas: Conception of a formal model-based methodology to support railway engineers in the specification and verification of interlocking systems, In: Szakál, Anikó (szerk.) IEEE 16th International Symposium on Applied Computational Intelligence and Informatics SACI 2022, IEEE (2022) pp. 283-288.
type of document: Part of book/Proceedings Paper
language: English
URL

2022

Lukacs G., Bartha T.: Transformation domain requirements specification into computation tree logic language, In: IEEE (szerk.) 2022 IEEE 1st International Conference on Cognitive Mobility (CogMob), IEEE (2022) pp. 73-78.
type of document: Part of book/Proceedings Paper
language: English
URL

2022

Farkas Balázs, Bartha Tamás: Automated Railway Interlocking Plan Verification Using Petri Nets, In: Proceedings of the Fifth International Conference on Railway Technology: Research, Development and Maintenance, Civil-Comp Press (2022) 15.7
type of document: Conference paper/Előadás vagy poszter cikke
language: English
URL

2021

Farkas Balázs, Dr. Bartha Tamás: Vasúti biztosítóberendezések tervezésének formális modellezése Petri-hálók alkalmazásával: vágányutak azonosítása T-invariánsok felhasználásával, In: Péter, Tamás (szerk.) XV. IFFK 2021: Innováció és fenntartható felszíni közlekedés, Magyar Mérnökakadémia (MMA) (2021) 30
type of document: Part of book/Proceedings Paper
language: Hungarian
Full text

2021

Lukács Gábor, Bartha Tamás: Közúti fedezőjelzőrendszer formális modellezése UPPAAL keretrendszer felhasználásával, MŰSZAKI SZEMLE (EMT) 77: pp. 18-37.
type of document: Journal paper/Article
language: Hungarian

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
number of independent citations: 1
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: 9
language: English
URL

Number of independent citations to these publications:

Scientometric data

list of publications and citations

number of scientific publications that meet accreditation criteria:

number of scientific publications:

monographs and professional books:

monographs/books in which chapters/sections were contributed:

scientific publications published abroad that meet the accreditation criteria:

publications not in Hungarian, published in Hungary, meeting the accreditation criteria:

number of independent citations to scientific publications and creative works:

139