Szerző: " Tejfel Máté"

Cikk, tanulmány, mű

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)

Konferencia vagy workshop anyag

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].