Máté Tejfel

According to our database, Máté Tejfel authored at least 24 papers between 2003 and 2023.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2023

Chatbot-Based Querying of IoT Devices in EdgeX.

Alwahab Dhulfiqar Zoltán, Norbert Pataki, Máté Tejfel

Proceedings of the Tenth Workshop on Software Quality Analysis, 2023

2022

Study on emerging applications on data plane and optimization possibilities.

Gereltsetseg Altangerel, Máté Tejfel

CoRR, 2022

Survey on some optimization possibilities for data plane applications.

Gereltsetseg Altangerel, Máté Tejfel

CoRR, 2022

2021

Adaptation of a Refactoring DSL for the Object-Oriented Paradigm.

Dávid János Németh, Dániel Horpácsi, Máté Tejfel

Acta Cybern., October, 2021

Control flow based cost analysis for P4.

Dániel Lukács, Gergely Pongrácz, Máté Tejfel

Open Comput. Sci., 2021

Component-based Error Detection of P4 programs.

Gabriella Tóth, Máté Tejfel

Acta Cybern., 2021

2020

The Price for Asynchronous Execution of Extern Functions in Programmable Software Data Planes.

Sándor Laki, Dániel Horpácsi, Péter Vörös, Máté Tejfel, Péter Hudoba, Gergely Pongrácz, László Molnár

Proceedings of the 23rd Conference on Innovation in Clouds, 2020

Are Graph Databases Fast Enough for Static P4 Code Analysis?

Dániel Lukács, Gergely Pongrácz, Máté Tejfel

Proceedings of the 11th International Conference on Applied Informatics (ICAI 2020), 2020

2019

Keeping P4 Switches Fast and Fault-free through Automatic Verification.

Dániel Lukács, Máté Tejfel, Gergely Pongrácz

Acta Cybern., 2019

A formal method to detect possible P4 specific errors.

Gabriella Tóth, Máté Tejfel

Proceedings of the Position Papers of the 2019 Federated Conference on Computer Science and Information Systems, 2019

Asynchronous Extern Functions in Programmable Software Data Planes.

Dániel Horpácsi, Sándor Laki, Péter Vörös, Máté Tejfel, Gergely Pongrácz, László Molnár

Proceedings of the 2019 ACM/IEEE Symposium on Architectures for Networking and Communications Systems, 2019

2018

T4P4S: A Target-independent Compiler for Protocol-independent Packet Processors.

Péter Vörös, Dániel Horpácsi, Róbert Kitlei, Dániel Leskó, Máté Tejfel, Sándor Laki

Proceedings of the IEEE 19th International Conference on High Performance Switching and Routing, 2018

2016

Defining C Preprocessor Macro Libraries with Functional Programs.

Boldizsár Németh, Máté Karácsony, Zoltán Kelemen, Máté Tejfel

Comput. Informatics, 2016

High speed packet forwarding compiled from protocol independent data plane specifications.

Sándor Laki, Dániel Horpácsi, Peter Vörös, Róbert Kitlei, Dániel Leskó, Máté Tejfel

Proceedings of the ACM SIGCOMM 2016 Conference, Florianopolis, Brazil, August 22-26, 2016, 2016

2013

Testing framework for embedded languages.

Dániel Leskó, Máté Tejfel

Comput. Sci. Inf. Syst., 2013

Language Design and Implementation via the Combination of Embedding and Parsing.

Gergely Dévai, Dániel Leskó, Máté Tejfel

Proceedings of the Software Technologies - 8th International Joint Conference, 2013

Embedding and Parsing Combined for Efficient Language Design.

Gergely Dévai, Dániel Leskó, Máté Tejfel

Proceedings of the ICSOFT 2013, 2013

The EDSL's Struggle for Their Sources.

Gergely Dévai, Dániel Leskó, Máté Tejfel

Proceedings of the Central European Functional Programming School - 5th Summer School, 2013

2010

Analysis of preprocessor constructs in Erlang.

Róbert Kitlei, István Bozó, Tamás Kozsik, Máté Tejfel, Melinda Tóth

Proceedings of the 9th ACM SIGPLAN workshop on Erlang, 2010

2009

Funkcionális programozási nyelvek helyességvizsgálata

Máté Tejfel

PhD thesis, 2009

Impact Analysis of Erlang Programs Using Behaviour Dependency Graphs.

Melinda Tóth, István Bozó, Zoltán Horváth, László Lövei, Máté Tejfel, Tamás Kozsik

Proceedings of the Central European Functional Programming School - Third Summer School, 2009

2006

Extending the Sparkle Core language with object abstraction.

Máté Tejfel, Zoltán Horváth, Tamás Kozsik

Acta Cybern., 2006

2005

Temporal Properties of Clean Programs Proven in Sparkle-T.

Máté Tejfel, Zoltán Horváth, Tamás Kozsik

Proceedings of the Central European Functional Programming School, First Summer School, 2005

2003

Proving Invariants of Functional Programs.

Zoltán Horváth, Tamás Kozsik, Máté Tejfel

Proceedings of the Eighth Symposium on Programming Languages and Software Tools, 2003