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: 2022. XII. 30.

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

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

2022

Gábor Lukács, Bartha Tamás: Practical UML subset for railway engineers to support formal modeling,
type of document:
language: English

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
language: English
URL

2022

Lukács Gábor, Bartha Tamás: Természetes nyelven megadott vasúti követelmények transzformációja formális tulajdonság leíró nyelvre elágazó idejű temporális logika felhasználásával, In: Péter, Tamás (szerk.) XVI. Innováció és Fenntartható Felszíni Közlekedés Konferencia (IFFK 2022), Magyar Mérnökakadémia (MMA) (2022) Paper 23
type of document: Part of book/Proceedings Paper
language: Hungarian
Full text

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: 2022 IEEE 16th International Symposium on Applied Computational Intelligence and Informatics (SACI), IEEE (2022) pp. 283-288.
type of document: Part of book/Proceedings Paper
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.) Innováció és fenntartható felszíni közlekedés: XV. IFFK 2021, 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

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 1: (2) pp. 6-10.
type of document: Journal paper/Article
language: Hungarian

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:

134

2024. IV. 17.
ODT ülés
Az ODT következő ülésére 2024. június 14-én, pénteken 10.00 órakor kerül sor a Semmelweis Egyetem Szenátusi termében (Bp. Üllői út 26. I. emelet).