Tóth Gabriella; Tejfel Máté: Component-based error detection of P4 programs. In: Acta cybernetica, (25) 2. pp. 537-554. (2021)
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)
Tejfel Máté; Horváth Zoltán; Kozsik Tamás: Extending the Sparkle Core language with object abstraction. In: Acta cybernetica, (17) 2. pp. 419-445. (2005)
Tóth Gabriella; Tejfel Máté: Axiom-based property verification for P4 programs.
Lukács Dániel; Pongrácz Gergely; Tejfel Máté: Keeping P4 switches fast and fault-free through automatic verification.
Tejfel Máté; Istenes Zoltán; Jeni László A.: Verified mobile code repository in the intelligent space : [abstract].
Lövei László; Tejfel Máté; Mészáros Mónika; Horváth Zoltán; Kozsik Tamás: Comparing specification with proved properties of clean dynamics : [abstract].
Horváth Zoltán; Kozsik Tamás; Tejfel Máté: Extending the Sparkle Core language with object : [abstract].
Zsók Viktória; Horváth Zoltán; Tejfel Máté: Parallel functional programming on cluster : [abstract].