Six papers at TACAS 2016
Posted: 20th December 2015
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