20 Jul 2018
The major scientific journal for spacewomen and spacemen publishes our earth-orbiting work rooted in the European Project SENSATION.
02 Mar 2018
Our discounted work on Markov automata wins the best paper award at MMB 2018.
24 Oct 2017
Our work on alternating bisimulation for interval Markov decision processes wins the best paper award at SETTA 2017.
16 Oct 2017
The 2017 edition of our lecture Nebenläufige Programmierung receives the award for outstanding teaching performance Busy Beaver.
11 Jun 2017
On the occasion of the 200th anniversary of Karl Drais’ Laufmaschine we have developed an electrified version thereof, the Draisine 200.0. Electrifying!
07 Nov 2016
Our work on battery-aware scheduling for nano satellites wins the best paper award at FM 2016.
01 Sep 2016
Prof. Holger Hermanns has been awarded the ERC Advanced Grant POWVER. A huge investment in the right kind of science. Read more about Power to the people. Verified.