Mathias Grund Sørensen

According to our database, Mathias Grund Sørensen authored at least 5 papers between 2012 and 2015.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2015

Soundness of Timed-Arc Workflow Nets in Discrete and Continuous-Time Semantics.

José Antonio Mateo, Jirí Srba, Mathias Grund Sørensen

Fundam. Informaticae, 2015

2014

Memory Efficient Data Structures for Explicit Verification of Timed Systems.

Peter Gjøl Jensen, Kim Guldstrand Larsen, Jirí Srba, Mathias Grund Sørensen, Jakob Haahr Taankvist

Proceedings of the NASA Formal Methods - 6th International Symposium, NFM 2014, Houston, TX, USA, April 29, 2014

On Time with Minimal Expected Cost!

Alexandre David, Peter Gjøl Jensen, Kim Guldstrand Larsen, Axel Legay, Didier Lime, Mathias Grund Sørensen, Jakob Haahr Taankvist

Proceedings of the Automated Technology for Verification and Analysis, 2014

Soundness of Timed-Arc Workflow Nets.

José Antonio Mateo, Jirí Srba, Mathias Grund Sørensen

Proceedings of the Application and Theory of Petri Nets and Concurrency, 2014

2012

Verification of Liveness Properties on Closed Timed-Arc Petri Nets.

Mathias Andersen, Heine Gatten Larsen, Jirí Srba, Mathias Grund Sørensen, Jakob Haahr Taankvist

Proceedings of the Mathematical and Engineering Methods in Computer Science, 2012