Skip to main content

Six papers at TACAS 2016


At total of six papers co-authored by members of the department will be presented at TACAS (Tools and Algorithms for the Construction and Analysis of Systems) 2016 in Eindhoven.

  • Luca Cardelli, Mirco Tribastone, Max Tschaikowski and Andrea Vandin. Efficient Syntax-driven Lumping of Differential Equations
  • Marta Kwiatkowska, David Parker and Clemens Wiltsche. PRISM-games 2.0: A Tool for Multi-Objective Strategy Synthesis for Stochastic Games
  • Sadegh Soudjani, Rupak Majumdar and Alessandro Abate. Safety Verification of Continuous-Space Pure Jump Markov Processes
  • Milan Ceska, Petr Pilar, Nicola Paoletti, Lubos Brim and Marta Kwiatkowska. PRISM-PSY: Precise GPU-Accelerated Parameter Synthesis for Stochastic Systems
  • Rajdeep Mukherjee, Michael Tautschnig and Daniel Kroening. v2c – A Verilog to C Translator Tool
  • Daniel Poetzl and Daniel Kroening. Formalizing and Checking Thread Refinement for Data-Race-Free Execution Models