Máté Tejfel - 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. II. 07.

Personal data

name	Máté Tejfel
name of institution	Eötvös Loránd University, Budapest
doctoral school	ELTE 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. )
the share of work in the different doctoral schools.	ELTE Doctoral School of Informatics 100%

Contact details
E-mail address	matejinf.elte.hu
phone number	+36 1 381-2319

Academic title
scientific degree, title	Ph.D.
year degree was obtained	2009
discipline to which degree belongs	computer sciences
institution granting the degree	Eötvös Lóránd Tudományegyetem (to be translated)

Employment
2003 -	Eötvös Loránd University, Budapest 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:

Boldizsár Németh

PhD

2020

IDI2-ELTE

completed course requirement:

(50%)	Dániel Leskó	(PhD)	2013/08	IDI2-ELTE
(50%)	Judit Kőszegi	(PhD)	2013/08	IDI2-ELTE
	Dániel Lukács	(PhD)	2021/08	IDI2-ELTE
	Gereltsetseg Altangerel	(PhD)	2022/08	IDI2-ELTE
	Gergely Buday	(PhD)	2017/08	IDI2-ELTE
	Máté Karácsony	(PhD)	2016/08	IDI2-ELTE

Thesis topic proposals

Research
research area	Verification, functional programming, parallel programming
research field in which current research is conducted	computer sciences

Publications

2023

Lukács Dánel, Tóth Gabriella, Tejfel Máté: P4Query: Static analyser framework for P4, ANNALES MATHEMATICAE ET INFORMATICAE 57: pp. 49-64.
type of document: Journal paper/Article
language: English
URL

2023

Altangerel Gereltsetseg, Tejfel Máté: In-network DDoS detection and mitigation using INT data for IoT ecosystem, INFOCOMMUNICATIONS JOURNAL 15: (Special Issue) pp. 49-54.
type of document: Journal paper/Article
language: English
URL

2022

Németh Dávid János, Horpácsi Dániel, Tejfel Máté: Adaptation of a Refactoring DSL for the Object-Oriented Paradigm, ACTA CYBERNETICA 25: (4) pp. 817-846.
type of document: Journal paper/Article
language: English
URL

2022

Lukács Dániel, Pongrácz Gergely, Tejfel Máté: Model Checking-Based Performance Prediction for P4, ELECTRONICS (SWITZ) 11: (14) 2117
type of document: Journal paper/Article
language: English
URL

2021

Gabriella Tóth, Máté Tejfel: Component-based Error Detection of P4 programs, ACTA CYBERNETICA 25: (2) pp. 537-554.
type of document: Journal paper/Article
language: English
URL

2020

Lukács Dániel, Pongrácz Gergely, Tejfel Máté: Control flow based cost analysis for P4, OPEN COMPUTER SCIENCE 11: (1) pp. 70-79.
type of document: Journal paper/Article
language: English
URL

2018

Vörös Péter, Horpácsi Dániel, Kitlei Róbert, Leskó Dániel, Tejfel Máté, Laki Sándor: T4P4S: A Target-independent Compiler for Protocol-independent Packet Processors, In: Institute, of Electrical; Electronics, Engineers (szerk.) Proceedings of IEEE 19th International Conference on High Performance Switching and Routing (HPSR) 2018, IEEE (2018) pp. 1-7.
type of document: Part of book/Proceedings Paper
number of independent citations: 29
language: English
URL

2016

Sándor Laki, Dániel Horpácsi, Péter Vörös, Róbert Kitlei, Dániel Leskó, Máté Tejfel: High speed packet forwarding compiled from protocol independent data plane specifications, In: anon (szerk.) SIGCOMM '16, ACM Press (2016) pp. 629-630.
type of document: Part of book/Proceedings Paper
number of independent citations: 31
language: English
URL

2013

Leskó Dániel, Dr. Tejfel Máté: Testing framework for embedded languages, COMPUTER SCIENCE AND INFORMATION SYSTEMS 10: (4) pp. 1647-1659.
type of document: Journal paper/Article
language: English
URL

2012

Máté Tejfel, Melinda Tóth, István Bozó, Dániel Horpácsi, Zoltán Horváth: Improving quality of software analyser and transformer tools using specification based testing, ANNALES UNIVERSITATIS SCIENTIARUM BUDAPESTINENSIS DE ROLANDO EOTVOS NOMINATAE SECTIO COMPUTATORICA 37: pp. 355-368.
type of document: Journal paper/Article
number of independent citations: 4
language: English

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:

art/engineering creative works:

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:

131