Dependable Systems and Software
The best base lecture in summer 2023 is our lecture Concurrent Proramming. It is the fourth time the lecture gets awarded the Busy Beaver award for outstanding teaching performance.
Read moreThe winter 2022/23 edition of our lecture Hands on Dependability receives the Busy Beaver award for outstanding teaching performance.
Read moreCongratulations to Hubert Garavel and the Convecs Team for being awarded the Inria Innovation Prize – Académie des sciences – Dassault Systèmes! A great recognition for their long-term development of the CADP toolbox.
Prof. Holger Hermanns has been awarded the ERC Proof of Concept Grant LEOpowver for exploitation and commercialisation of POWVER results in low-earth orbit.
The Volkswagenstiftung has announced to fully fund our interdisciplinary project initiative “Explainable Intelligent Systems” – EIS.
A team of Dependables has participated in the #WirVsVirus Hackathon. You can find details about their project Quokka here.
Our lecture Ethics for Nerds is Hochschulperle des Jahres. A big THANK YOU to all who supported us in the elections.
The 2019 edition of our lecture Nebenläufige Programmierung received the Busy Beaver award for outstanding teaching performance.
Our work on doping tests for cyber-physical systems wins the best paper award at QEST 2019.
Our module “Ethics for Nerds” has been declared Hochschulperle Januar 2019 by the Stifterverband für die Deutsche Wissenschaft.
Read moreThe DFG establishes a new Transregional Collaborative Research Centre on Perspicuous Computing, CRC 248, joining Saarbrücken and Dresden.
Read moreThe major scientific journal for spacewomen and spacemen publishes our earth-orbiting work rooted in the European Project SENSATION.
Read moreOur discounted work on Markov automata wins the best paper award at MMB 2018.
Our work on alternating bisimulation for interval Markov decision processes wins the best paper award at SETTA 2017.
The 2017 edition of our lecture Nebenläufige Programmierung receives the award for outstanding teaching performance Busy Beaver.
On the occasion of the 200th anniversary of Karl Drais’ Laufmaschine we have developed an electrified version thereof, the Draisine 200.0. Electrifying!
Our work on battery-aware scheduling for nano satellites wins the best paper award at FM 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.