| 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 | 118 | 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 | 64 | 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 | 45 | 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 |
| 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 | 17 | 2013 |
| Dual-priced modal transition systems with time durations N Beneš, J Křetínský, K Guldstrand Larsen, MH Møller, J Srba International Conference on Logic for Programming Artificial Intelligence …, 2012 | 15 | 2012 |
| 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 | 11 | 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 (2), 269-297, 2015 | 10 | 2015 |
| 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 | 10 | 2013 |
| 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 European Performance Engineering Workshop, 83-98, 2010 | 8 | 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 |
| Channel Properties of Asynchronously Composed Systems S Haddad, R Hennicker, MH Møller | | |
| 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 | | |
