Items where Author is "Tejfel, Máté"

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Item Type | No Grouping
Number of items: 8.

Lukács, Dániel and Tejfel, Máté and Pongrácz, Gergely: Keeping P4 switches fast and fault-free through automatic verification. Acta cybernetica, (24) 1. pp. 61-81. (2019)

Tóth, Gabriella and Tejfel, Máté: Axiom-based property verification for P4 programs. Conference of PhD Students in Computer Science, (11). pp. 80-83. (2018)

Lukács, Dániel and Pongrácz, Gergely and Tejfel, Máté: Keeping P4 switches fast and fault-free through automatic verification. Conference of PhD Students in Computer Science, (11). pp. 52-55. (2018)

Tejfel, Máté and Istenes, Zoltán and Jeni, László A.: Verified mobile code repository in the intelligent space. Conference of PhD Students in Computer Science, (6). p. 60. (2008)

Lövei, László and Tejfel, Máté and Mészáros, Mónika and Horváth, Zoltán and Kozsik, Tamás: Comparing specification with proved properties of clean dynamics. Conference of PhD Students in Computer Science, (5). p. 71. (2006)

Tejfel, Máté and Horváth, Zoltán and Kozsik, Tamás: Extending the Sparkle Core language with object abstraction. Acta cybernetica, (17) 2. pp. 419-445. (2005)

Horváth, Zoltán and Kozsik, Tamás and Tejfel, Máté: Extending the Sparkle Core language with object. Conference of PhD Students in Computer Science, (4). p. 56. (2004)

Zsók, Viktória and Horváth, Zoltán and Tejfel, Máté: Parallel functional programming on cluster. Conference of PhD Students in Computer Science, (3). p. 114. (2002)

This list was generated on 2019. december 10. 16:30:44 CET.