ZORRO project Kick-off meeting 25 May 2023Failures. We all suffer from them: payment apps that don't work, websites that are down, or software that doesn't cooperate. Often just irritating, but for businesses, downtime is a huge cost whose bill can run into millions. Some outages can spread like an oil slick: We saw this in the Flevoland power failure, for example: due to a fuse not working, a short circuit could occur. Subsequently, a fire occurred, trains did not run, and locks could not function. See for the entire UT news item: Preventing failures with artificial intelligence (utwente.nl)Read more
Joost-Pieter Katoen and former FMT-colleague Holger Hermanns and co-authors receive the 2023 Jean-Claude Laprie Award in Dependable ComputingIFIP Working Group 10.4 announced that the following outstanding paper has been selected as winner of the 2023 Jean-Claude Laprie Award in Dependable Computing:Read more
ZORRO project Kick-off meeting 25 May 2023
Joost-Pieter Katoen and former FMT-colleague Holger Hermanns and co-authors receive the 2023 Jean-Claude Laprie Award in Dependable Computing
FMT welcomes three MISSION visitors
Inter-Actief Teacher's award for Tom van Dijk!
Paper accepted (Milan Lopuhaä, Marielle Stoelinga)
Papers accepted (Petra van den Bos, Tannaz Zameni, Humaid Mollah)
Educational bouquet 2023 awarded to Tom van Dijk
Vacancy: PhD position on Knowledge Engineering for Smart Diagnostics
Vacancy: PhD position on Model-driven System Engineering for Smart Diagnostics
Vacancy: Assistant/Associate Professor Energy-efficient Software Development
Paper accepted at FASE 2023@ETAPS
TACAS paper accepted (Arnd Hartmanns)