Országos Doktori Tanács

Személyi adatlap

Tejfel, Máté

személyes adatok
név
Tejfel Máté

Az adatok frissességéről nyilatkozott: 2025-02-11

doktori iskolák
időszak
2010-03-18 –
elérhetőségek
e-mail-cím
fokozatok
tudományos fokozat
PhD
fokozat megszerzésének éve
2009
fokozat tudományága
fokozatot kiadó intézmény neve
Eötvös Lóránd Tudományegyetem
címek
tudományos cím
Habilitáció
cím megszerzésének éve
cím tudományága
címet kiadó intézmény neve
Eötvös Loránd Tudományegyetem
munkahelyek
2003 –
kutatás
kutatási terület
Helyességvizsgálat, funkcionális programozás, párhuzamos programozás
jelenlegi kutatásainak tudományága
informatikai tudományok
közlemények
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.

dokumentum típusa: Folyóiratcikk

nyelv: angol

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.

dokumentum típusa: Folyóiratcikk

nyelv: angol

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.

dokumentum típusa: Folyóiratcikk

nyelv: angol

2022

Lukács Dániel, Pongrácz Gergely, Tejfel Máté: Model Checking-Based Performance Prediction for P4

ELECTRONICS (SWITZ) 11: (14) 2117

dokumentum típusa: Folyóiratcikk

nyelv: angol

2021

Gabriella Tóth, Máté Tejfel: Component-based Error Detection of P4 programs

ACTA CYBERNETICA 25: (2) pp. 537-554.

dokumentum típusa: Folyóiratcikk

nyelv: angol

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.

dokumentum típusa: Folyóiratcikk

nyelv: angol

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.

dokumentum típusa: Folyóiratcikk

független idéző közlemények száma: 29

nyelv: angol

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.

dokumentum típusa: Folyóiratcikk

független idéző közlemények száma: 31

nyelv: angol

2013

Leskó Dániel, Dr. Tejfel Máté: Testing framework for embedded languages

COMPUTER SCIENCE AND INFORMATION SYSTEMS 10: (4) pp. 1647-1659.

dokumentum típusa: Folyóiratcikk

nyelv: angol

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.

dokumentum típusa: Folyóiratcikk

független idéző közlemények száma: 4

nyelv: angol