Arnd Hartmanns

Research Projects

Ongoing

• TruSTy: Trustworthy Analysis of Stochastic Timed Systems
  (NWO VIDI project, 2024-2029)
• STORM_SAFE: Software Reliability for Critical Infrastructures: Co-Development, Implementation and Wider Application of Solutions in Pilot Infrastructures such as Storm Surge Barriers
  (Interreg North Sea project, 2024-2027)
• MISSION: Models in Space Systems: Integration, Operation, and Networking
  (coordinator, MSCA RISE project, 2021-2026)

Completed

• Verified Probabilistic Verification
  (NWO Open Competition project, 2021-2025)
• Verification of Cyber-Physical Systems: Exploiting Uncertainty for Scalability
  (NWO VENI personal grant, 2018-2023)