Dániel Lukács

According to our database, Dániel Lukács authored at least 5 papers between 2017 and 2024.

Collaborative distances:

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

2024

Overlaying Control Flow Graphs on P4 Syntax Trees with Gremlin.

Dániel Lukács, Máté Tejfel

Acta Cybern., 2024

2021

Control flow based cost analysis for P4.

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

Open Comput. Sci., 2021

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

2017

Structuring Erlang BEAM control flow.

Dániel Lukács, Melinda Tóth

Proceedings of the 16th ACM SIGPLAN International Workshop on Erlang, 2017