Philip Offtermatt
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
9
Venues
3
Active years
2019–2026
Best venue rank
A*
Where they publish
Papers
9 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | CAV | The TLA+ Model Checker Apalache. | Rodrigo Otoni, Shon Feder, Jure Kukovec, Andrey Kupriyanov, Gabriela Moreira, Philip Offtermatt, Thomas Pani, Thanh-Hai Tran, Igor Konnov |
| 2024 | LICS | Soundness of reset workflow nets. | Michael Blondin, Alain Finkel, Piotr Hofman, Filip Mazowiecki, Philip Offtermatt |
| 2023 | CAV | Fast Termination and Workflow Nets. | Piotr Hofman, Filip Mazowiecki, Philip Offtermatt |
| 2023 | LICS | Verifying linear temporal specifications of constant-rate multi-mode systems. | Michael Blondin, Philip Offtermatt, Alex Sansfaon-Buchanan |
| 2022 | CAV | Verifying Generalised and Structural Soundness of Workflow Nets via Relaxations. | Michael Blondin, Filip Mazowiecki, Philip Offtermatt |
| 2022 | LICS | The complexity of soundness in workflow nets. | Michael Blondin, Filip Mazowiecki, Philip Offtermatt |
| 2021 | LICS | Continuous One-Counter Automata. | Michael Blondin, Tim Leys, Filip Mazowiecki, Philip Offtermatt, Guillermo A. Prez |
| 2021 | TACAS | Directed Reachability for Infinite-State Systems. | Michael Blondin, Christoph Haase, Philip Offtermatt |
| 2019 | TACAS | Computing the Expected Execution Time of Probabilistic Workflow Nets. | Philipp J. Meyer, Javier Esparza, Philip Offtermatt |