Mathias Grund Sørensen

Publication Activity (10 Years)

Years Active: 2012-2015
Publications (10 Years): 0

Top Topics

Iterative Deepening

Memory Efficient

Top Venues

Fundam. Informaticae

NASA Formal Methods

Publications

José Antonio Mateo, Jirí Srba, Mathias Grund Sørensen
Soundness of Timed-Arc Workflow Nets in Discrete and Continuous-Time Semantics. Fundam. Informaticae 140 (1) (2015)
Alexandre David, Peter Gjøl Jensen, Kim Guldstrand Larsen, Axel Legay, Didier Lime, Mathias Grund Sørensen, Jakob Haahr Taankvist
On Time with Minimal Expected Cost! ATVA (2014)
Peter Gjøl Jensen, Kim Guldstrand Larsen, Jirí Srba, Mathias Grund Sørensen, Jakob Haahr Taankvist
Memory Efficient Data Structures for Explicit Verification of Timed Systems. NASA Formal Methods (2014)
José Antonio Mateo, Jirí Srba, Mathias Grund Sørensen
Soundness of Timed-Arc Workflow Nets. Petri Nets (2014)
Mathias Andersen, Heine Gatten Larsen, Jirí Srba, Mathias Grund Sørensen, Jakob Haahr Taankvist
Verification of Liveness Properties on Closed Timed-Arc Petri Nets. MEMICS (2012)