| TAPAAL 2.0: Integrated Development Environment for Timed-Arc Petri Nets A David, L Jacobsen, M Jacobsen, KY Jørgensen, MH Møller, J Srba Proceedings of the 18th International Conference on Tools and Algorithms for …, 2012 | 56 | 2012 |
| Verification of timed-arc Petri nets L Jacobsen, M Jacobsen, MH Møller, J Srba International Conference on Current Trends in Theory and Practice of …, 2011 | 45 | 2011 |
| Parametric modal transition systems N Beneš, J Křetínský, KG Larsen, MH Møller, J Srba International Symposium on Automated Technology for Verification and …, 2011 | 37 | 2011 |
| Compositional verification of real-time systems using ECDAR A David, KG Larsen, A Legay, MH Møller, U Nyman, AP Ravn, A Skou, ... International Journal on Software Tools for Technology Transfer 14 (6), 703-720, 2012 | 22 | 2012 |
| Dual-priced modal transition systems with time durations N Beneš, J Křetínský, KG Larsen, MH Møller, J Srba International Conference on Logic for Programming Artificial Intelligence …, 2012 | 13 | 2012 |
| Channel properties of asynchronously composed petri nets S Haddad, R Hennicker, MH Møller International Conference on Applications and Theory of Petri Nets and …, 2013 | 12 | 2013 |
| Undecidability of Coverability and Boundedness for Timed-Arc Petri Nets with Invariatnts M Jacobsen, L Jacobsen, MH Møller OpenAccess Series in Informatics 12, 2009 | 11 | 2009 |
| Specification of asynchronous component systems with modal I/O-Petri Nets S Haddad, R Hennicker, MH Møller International Symposium on Trustworthy Global Computing, 219-234, 2013 | 7 | 2013 |
| A framework for relating timed transition systems and preserving TCTL model checking L Jacobsen, M Jacobsen, MH Møller, J Srba European Performance Engineering Workshop, 83-98, 2010 | 7 | 2010 |
| TCTL-preserving translations from timed-arc Petri nets to networks of timed automata J Byg, M Jacobsen, L Jacobsen, KY Jørgensen, MH Møller, J Srba Theoretical Computer Science 537, 3-28, 2014 | 6 | 2014 |
| Refinement checking on parametric modal transition systems N Beneš, J Křetínský, KG Larsen, MH Møller, S Sickert, J Srba Acta Informatica 52 (2-3), 269-297, 2015 | 5 | 2015 |
| Extending Timed-Arc Petri Nets L Jacobsen, M Jacobsen, MH Møller DAT5 Project Report, 2009 | 1 | 2009 |
| Modal and Component-based System Specifications: Ph. D. Thesis MH Møller Department of Computer Science, The Faculties of Engineering, Science, and …, 2013 | | 2013 |
| Master Thesis Modeling and Verification of Extended Timed-Arc Petri Nets L Jacobsen, M Jacobsen, MH Møller | | 2010 |
| Logics for Homer MH Møller, J van Vliet | | 2009 |
