Mathias Grund Sørensen

On Time with Minimal Expected Cost!

Kim G. Larsen, Axel Legay, Alexandre David, 2014, ATVA.

Soundness of Timed-Arc Workflow Nets

Jirí Srba, Mathias Grund Sørensen, José Antonio Mateo, 2014, Petri Nets.

Memory Efficient Data Structures for Explicit Verification of Timed Systems

Kim G. Larsen, Jirí Srba, Peter Gjøl Jensen, 2014, NASA Formal Methods.

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

Jirí Srba, Mathias Grund Sørensen, José Antonio Mateo, 2015, Fundam. Informaticae.

Verification of Liveness Properties on Closed Timed-Arc Petri Nets

Jirí Srba, Mathias Grund Sørensen, Jakob Haahr Taankvist, 2012, MEMICS.

Automated Technology for Verification and Analysis

Axel Legay, Alexandre David, Didier Lime, 2016, Lecture Notes in Computer Science.

The Conceptual Pond – a Persuasive Tool for Quantifiable Qualitative Assessment

Mathias Grund Sørensen, Christian Grund Sørensen, 2013 .

Controller Synthesis for Home Automation

Mathias Grund Sørensen, 2014 .