Theory group: 5 papers at ETAPS’14, including gold medal in TACAS Competition!

The theory group has 5 papers in the ETAPS conferences this year:

  • Timos Antonopoulos, Nikos Gorogiannis, Christoph Haase, Max I. Kanovich, Joël Ouaknine: Foundations for Decision Problems in Separation Logic with General Inductive Predicates. FoSSaCS 2014: 411-425
  • Klaus Dräger, Vojtech Forejt, Marta Z. Kwiatkowska, David Parker, Mateusz Ujma: Permissive Controller Synthesis for Probabilistic Systems. TACAS 2014: 531-546
  • Daniel Kroening, Michael Tautschnig: CBMC – C Bounded Model Checker – (Competition Contribution). TACAS 2014: 389-391
    Gold medal in the “Overall” category in the 2014 Software Verification Competition.
  • Paolo Masci, Yi Zhang, Paul L. Jones, Paul Curzon, Harold W. Thimbleby: Formal Verification of Medical Device User Interfaces Using PVS. FASE 2014: 200-214
  • Andrzej S. Murawski, Nikos Tzevelekos: Game Semantics for Nominal Exceptions. FoSSaCS 2014: 164-179

Well done everybody!