Posters

Student Posters

Dimitri Bohlender: Verification of Reactive Programs from Industrial Automation
David Butler: Formalising Secure Multi-Party Computation in Isabelle
Claudia Cauli: Equivalence of µ^p -Calculus and p-Automata
Georgios Chatzieleftheriou: Abstract Model Repair
Mohammed Foughali: Robots, How Reliable Are They?
Hadar Frenkel: An Automata-Theoretic Approach to Modeling Systems and Specifications over Infinite Data
Manuel Gieseking: Symbolic Synthesis of Distributed Systems with Petri Games
Shibashis Guha: An Abstraction-Refinement Methodology for Reasoning about Network Games
Inzemamul Haque: Verification of a Separation Kernel
Bibek Kabi: Combining Zonotope Abstraction and Constraint Programming for Finding an Invariant
Eduard Kamburjan: Formalizing Rulebooks for Railway Operations
Siddharth Krishna: Flow Interfaces
Tobias Pfeffer: Towards Verified Security Policies for Binaries
Jose Serna: DASH: A New Language for Declarative Behavioural Requirements with Control State Hierarchy
Anna Trostanetzki: Modular Demand-Driven Analysis of Semantic Difference for Program Versions
Simon Wimmer: Verified Model Checking of Timed Automata