Philip Offtermatt

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