Philip Offtermatt

Orcid: 0000-0001-8477-2849

According to our database1, Philip Offtermatt authored at least 8 papers between 2019 and 2024.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2024
Soundness of reset workflow nets.
Proceedings of the 39th Annual ACM/IEEE Symposium on Logic in Computer Science, 2024

2023
Continuous One-counter Automata.
ACM Trans. Comput. Log., January, 2023

Verifying linear temporal specifications of constant-rate multi-mode systems.
Proceedings of the 38th Annual ACM/IEEE Symposium on Logic in Computer Science, 2023

Fast Termination and Workflow Nets.
Proceedings of the Computer Aided Verification - 35th International Conference, 2023

2022
The complexity of soundness in workflow nets.
Proceedings of the LICS '22: 37th Annual ACM/IEEE Symposium on Logic in Computer Science, Haifa, Israel, August 2, 2022

Verifying Generalised and Structural Soundness of Workflow Nets via Relaxations.
Proceedings of the Computer Aided Verification - 34th International Conference, 2022

2021
Directed Reachability for Infinite-State Systems.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2021

2019
Computing the Expected Execution Time of Probabilistic Workflow Nets.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2019


  Loading...