Tom van Dijk
Workers in forests: developments in parallel decision diagrams
Joseph Sifakis
Rigorous System Design in BIP
Helmut Veith 1971-2016
With the deepest sadness, we announce Helmut Veith's passing on March 12, 2016.
O-Joung Kwon
Cliff B. Jones
Reasoning about Interference (or Lack Thereof)
Evgenia Ternovska
An Algebra of Modular Systems
Johannes Hölzl
Markov chains and Markov decision processes in Isabelle/HOL
Vienna Science Ball 2016
Successful second cooperation with the Vienna Science Ball
Austrian Computer Science Day 2015
All-Austrian computer scientists' meet-up
Pierre Bourhis
A Formal Study of Collaborative Access Control in Distributed Datalog