Martin Fränzle

Publications with FICTION

Journal Articles

  1. (2020). Indecision and Delays are the Parents of Failure. Acta Inform.. PDF Cite Code Slides Video DOI
  2. (2019). In Memory of Oded Maler: Automatic Reachability Analysis of Hybrid-State Automata. ACM SIGLOG News. PDF Cite DOI

Conference Papers

  1. (2019). Taming Delays in Dynamical Systems. In CAV 2019. PDF Cite Slides DOI Artifact Evaluated
  2. (2018). What's to Come is Still Unsure. In ATVA 2018. PDF Cite Code Slides Video DOI Distinguished Paper Award
  3. (2017). Safe Over- and Under-Approximation of Reachable Sets for Delay Differential Equations. In FORMATS 2017. PDF Cite Slides Video DOI
  4. (2016). Validated Simulation-Based Verification of Delayed Differential Dynamics. In FM 2016. PDF Cite Code Poster Slides DOI