Máté Tejfel

28 papers A* 1C 2Misc 1Journal 12Unranked 11
YearRankTypeTitle / Venue / Authors
2025 J jnl
P4 Specific Refactoring Steps.
Acta Cybern.
Máté Tejfel, Dániel Lukács, Péter Hegyi
2025 J jnl
Some optimization possibilities in data plane programming.
CoRR
Gereltsetseg Altangerel, Máté Tejfel
2024 J jnl
Overlaying Control Flow Graphs on P4 Syntax Trees with Gremlin.
Acta Cybern.
Dániel Lukács, Máté Tejfel
2023 — conf
Chatbot-Based Querying of IoT Devices in EdgeX.
SQAMIA
Alwahab Dhulfiqar Zoltán, Norbert Pataki, Máté Tejfel
2023 — conf
Deploying a web service application on the EdgeX open edge server: An evaluation of its viability for IoT services.
ICMLDE
Aalwahab Dhulfiqar, Mohammed A. Abdala, Norbert Pataki, Máté Tejfel
2022 J jnl
Study on emerging applications on data plane and optimization possibilities.
CoRR
Gereltsetseg Altangerel, Máté Tejfel
2022 J jnl
Survey on some optimization possibilities for data plane applications.
CoRR
Gereltsetseg Altangerel, Máté Tejfel
2021 J jnl
Adaptation of a Refactoring DSL for the Object-Oriented Paradigm.
Acta Cybern.
Dávid János Németh, Dániel Horpácsi, Máté Tejfel
2021 J jnl
Component-based Error Detection of P4 programs.
Acta Cybern.
Gabriella Tóth, Máté Tejfel
2021 J jnl
Control flow based cost analysis for P4.
Open Comput. Sci.
Dániel Lukács, Gergely Pongrácz, Máté Tejfel
2020 — conf
Are Graph Databases Fast Enough for Static P4 Code Analysis?
ICAI
Dániel Lukács, Gergely Pongrácz, Máté Tejfel
2020 Misc conf
The Price for Asynchronous Execution of Extern Functions in Programmable Software Data Planes.
ICIN
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
2019 — conf
A formal method to detect possible P4 specific errors.
FedCSIS (Position Papers)
Gabriella Tóth, Máté Tejfel
2019 — conf
Asynchronous Extern Functions in Programmable Software Data Planes.
ANCS
Dániel Horpácsi, Sándor Laki, Péter Vörös, Máté Tejfel, Gergely Pongrácz, László Molnár
2019 J jnl
Keeping P4 Switches Fast and Fault-free through Automatic Verification.
Acta Cybern.
Dániel Lukács, Máté Tejfel, Gergely Pongrácz
2018 C conf
T4P4S: A Target-independent Compiler for Protocol-independent Packet Processors.
HPSR
Péter Vörös, Dániel Horpácsi, Róbert Kitlei, Dániel Leskó, Máté Tejfel, Sándor Laki
2016 J jnl
Defining C Preprocessor Macro Libraries with Functional Programs.
Comput. Informatics
Boldizsár Németh, Máté Karácsony, Zoltán Kelemen, Máté Tejfel
2016 A* conf
High speed packet forwarding compiled from protocol independent data plane specifications.
SIGCOMM
Sándor Laki, Dániel Horpácsi, Peter Vörös, Róbert Kitlei, Dániel Leskó, Máté Tejfel
2013 C conf
Embedding and Parsing Combined for Efficient Language Design.
ICSOFT
Gergely Dévai, Dániel Leskó, Máté Tejfel
2013 — conf
Language Design and Implementation via the Combination of Embedding and Parsing.
ICSOFT (Selected Papers)
Gergely Dévai, Dániel Leskó, Máté Tejfel
2013 J jnl
Testing framework for embedded languages.
Comput. Sci. Inf. Syst.
Dániel Leskó, Máté Tejfel
2013 — conf
The EDSL's Struggle for Their Sources.
CEFP
Gergely Dévai, Dániel Leskó, Máté Tejfel
2010 — conf
Analysis of preprocessor constructs in Erlang.
Erlang Workshop
Róbert Kitlei, István Bozó, Tamás Kozsik, Máté Tejfel, Melinda Tóth
2009 — —
Funkcionális programozási nyelvek helyességvizsgálata
Máté Tejfel
2009 — conf
Impact Analysis of Erlang Programs Using Behaviour Dependency Graphs.
CEFP
Melinda Tóth, István Bozó, Zoltán Horváth, László Lövei, Máté Tejfel, Tamás Kozsik
2006 J jnl
Extending the Sparkle Core language with object abstraction.
Acta Cybern.
Máté Tejfel, Zoltán Horváth, Tamás Kozsik
2005 — conf
Temporal Properties of Clean Programs Proven in Sparkle-T.
CEFP
Máté Tejfel, Zoltán Horváth, Tamás Kozsik
2003 — conf
Proving Invariants of Functional Programs.
SPLST
Zoltán Horváth, Tamás Kozsik, Máté Tejfel