Stefan Schupp
About MeNews archiveProjectsPublications

News archive

  • 2023-04-24 Journal Paper: On the Applicability of Hybrid Systems Safety Verification Tools from the Automotive Perspective
  • 2023-04-10 Conference Paper: Maximizing Reachability Probabilities in Rectangular Automata with Random Clocks
  • 2023-02-24 Conference Paper: Provable Correct and Adaptive Simplex Architecture for Bounded-Liveness Properties
  • 2022-11-22 Journal Paper: Controlling timed automata against MTL specifications with TACoS
  • 2022-08-27 Publication Chair @HSCC'22
  • 2022-07-20 Journal Paper: Recent Developments in Theory and Tool Support for Hybrid Systems Verification with HyPro
  • 2021-12-14 Best tool-paper award @SEFM'21
  • 2021-12-03 New website online
  • 2021-09-25 Paper @SEFM'21: TACoS
  • Stefan Schupp
  • github
  • linkedIn
  • google-scholar
  • orcid