| 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 | 102 | 2012 |
| Verification of timed-arc Petri nets L Jacobsen, M Jacobsen, MH Møller, J Srba SOFSEM 2011: Theory and Practice of Computer Science: 37th Conference on …, 2011 | 61 | 2011 |
| Parametric modal transition systems N Beneš, J Křetínský, KG Larsen, MH Møller, J Srba Automated Technology for Verification and Analysis: 9th International …, 2011 | 41 | 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, 703-720, 2012 | 22 | 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 | 16 | 2013 |
| Dual-priced modal transition systems with time durations N Beneš, J Křetínský, K Guldstrand Larsen, MH Møller, J Srba Logic for Programming, Artificial Intelligence, and Reasoning: 18th …, 2012 | 15 | 2012 |
| Specification of asynchronous component systems with modal I/O-petri nets S Haddad, R Hennicker, MH Møller Trustworthy Global Computing: 8th International Symposium, TGC 2013, Buenos …, 2014 | 10 | 2014 |
| Undecidability of coverability and boundedness for timed-arc Petri nets with invariants L Jacobsen, M Jacobsen, MH Møller Annual Doctoral Workshop on Mathematical and Engineering Methods in Computer …, 2009 | 10 | 2009 |
| 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, 269-297, 2015 | 9 | 2015 |
| 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 | 8 | 2014 |
| A framework for relating timed transition systems and preserving TCTL model checking L Jacobsen, M Jacobsen, MH Møller, J Srba Computer Performance Engineering: 7th European Performance Engineering …, 2010 | 7 | 2010 |
| 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 |
| Dette kandidatspeciale er udarbejdet i forbindelse med afslutningen af cand. merc. aud-studiet på Aarhus Universitet-Business and Social Sciences. Processen og udarbejdelsen … M Møller | | |
