Follow
Mikael Harkjær Møller
Mikael Harkjær Møller
Ph.D. Fellow, Computer Science, Aalborg University
Verified email at mikael.hm
Title
Cited by
Cited by
Year
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
1012012
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
612011
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
412011
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
232012
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
162012
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
152013
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
102009
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
92015
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
82014
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
82014
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
72010
Extending Timed-Arc Petri Nets
L Jacobsen, M Jacobsen, MH Møller
DAT5 Project Report, 2009
12009
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
The system can't perform the operation now. Try again later.
Articles 1–16