Publications

A list of my publications.

2021

  1. TACAS
    Directed Reachability for Infinite-State Systems Blondin, Michael, Haase, Christoph, and Offtermatt, Philip In International Conference on Tools and Algorithms for the Construction and Analysis of Systems 2021 [Abs] [HTML]

2019

  1. TACAS
    Computing the expected execution time of probabilistic workflow nets Meyer, Philipp J, Esparza, Javier, and Offtermatt, Philip In International Conference on Tools and Algorithms for the Construction and Analysis of Systems 2019 [HTML]
  2. Thesis
    Approaching Safety for Parameterized Systems via View Abstraction Offtermatt, Philip 2019 [PDF]

2017

  1. Thesis
    A Tool for Verification and Simulation of Population Protocols Offtermatt, Philip 2017 [PDF]