| On time with minimal expected cost! A David, PG Jensen, KG Larsen, A Legay, D Lime, MG Sørensen, ... Automated Technology for Verification and Analysis: 12th International …, 2014 | 80 | 2014 |
| Verification of Liveness Properties on Closed Timed-Arc Petri Nets M Andersen, HG Larsen, J Srba, MG Sørensen, JH Taankvist Mathematical and Engineering Methods in Computer Science, 69-81, 2013 | 19 | 2013 |
| Memory efficient data structures for explicit verification of timed systems PG Jensen, KG Larsen, J Srba, MG Sørensen, JH Taankvist NASA Formal Methods: 6th International Symposium, NFM 2014, Houston, TX, USA …, 2014 | 10 | 2014 |
| Soundness of timed-arc workflow nets in discrete and continuous-time semantics JA Mateo, J Srba, MG Sørensen Fundamenta Informaticae 140 (1), 89-121, 2015 | 6 | 2015 |
| Soundness of timed-arc workflow nets JA Mateo, J Srba, MG Sørensen Application and Theory of Petri Nets and Concurrency: 35th International …, 2014 | 6 | 2014 |
| The Conceptual Pond: A Persuasive Tool for Quantifiable Qualitative Assessment CG Sørensen, MG Sørensen Emerging Research and Trends in Interactivity and the Human-Computer …, 2014 | 3 | 2014 |
| Controller synthesis for home automation MG Sørensen Master’s thesis, Department of Computer Science, Aalborg University, 2014 | 1 | 2014 |
| Ad Hoc Cloud System MG Sørensen, JH Taankvist, HG en Larsen, M Andersen, Š Miklošovič, ... | | 2011 |
| Towards Automated Controller Synthesis in Home Automation MG Sørensen | | |