Lukács Dániel; Tejfel Máté: Overlaying control flow graphs on P4 Syntax trees with Gremlin. In: Acta cybernetica, (26) 3. pp. 593-619. (2024)
Lukács Dániel; Tejfel Máté; Pongrácz Gergely: Keeping P4 switches fast and fault-free through automatic verification. In: Acta cybernetica, (24) 1. pp. 61-81. (2019)
Lukács Dániel; Pongrácz Gergely; Tejfel Máté: Keeping P4 switches fast and fault-free through automatic verification.