Philip Offtermatt

Publication Activity (10 Years)

Years Active: 2018-2024
Publications (10 Years): 15

Top Topics

Finite Automata

Workflow Management Systems

Top Venues

ACM Trans. Comput. Log.

Publications

Michael Blondin, Alain Finkel, Piotr Hofman, Filip Mazowiecki, Philip Offtermatt
Soundness of reset workflow nets. LICS (2024)
Michael Blondin, Philip Offtermatt, Alex Sansfaçon-Buchanan
Verifying linear temporal specifications of constant-rate multi-mode systems. CoRR (2023)
Michael Blondin, Philip Offtermatt, Alex Sansfaçon-Buchanan
Verifying linear temporal specifications of constant-rate multi-mode systems. LICS (2023)
Piotr Hofman, Filip Mazowiecki, Philip Offtermatt
Fast Termination and Workflow Nets. CAV (1) (2023)
Michael Blondin, Tim Leys, Filip Mazowiecki, Philip Offtermatt, Guillermo A. Pérez
Continuous One-counter Automata. ACM Trans. Comput. Log. 24 (1) (2023)
Michael Blondin, Filip Mazowiecki, Philip Offtermatt
The complexity of soundness in workflow nets. LICS (2022)
Michael Blondin, Filip Mazowiecki, Philip Offtermatt
Verifying generalised and structural soundness of workflow nets via relaxations. CoRR (2022)
Michael Blondin, Filip Mazowiecki, Philip Offtermatt
Verifying Generalised and Structural Soundness of Workflow Nets via Relaxations. CAV (2) (2022)
Michael Blondin, Filip Mazowiecki, Philip Offtermatt
The complexity of soundness in workflow nets. CoRR (2022)
Michael Blondin, Christoph Haase, Philip Offtermatt
Directed Reachability for Infinite-State Systems. TACAS (2) (2021)
Michael Blondin, Tim Leys, Filip Mazowiecki, Philip Offtermatt, Guillermo A. Pérez
Continuous One-Counter Automata. CoRR (2021)
Michael Blondin, Tim Leys, Filip Mazowiecki, Philip Offtermatt, Guillermo A. Pérez
Continuous One-Counter Automata. LICS (2021)
Michael Blondin, Christoph Haase, Philip Offtermatt
Directed Reachability for Infinite-State Systems. CoRR (2020)
Philipp J. Meyer, Javier Esparza, Philip Offtermatt
Computing the Expected Execution Time of Probabilistic Workflow Nets. TACAS (2) (2019)
Philipp J. Meyer, Javier Esparza, Philip Offtermatt
Computing the Expected Execution Time of Probabilistic Workflow Nets. CoRR (2018)