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
532012
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
432011
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
372011
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
202012
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
132012
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
122013
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
112009
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
72013
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
72010
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
62014
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
52015
ESICM LIVES 2016: part one
L Bos, L Schouten, L van Vught, M Wiewel, D Ong, O Cremer, A Artigas, ...
Intensive Care Medicine Experimental 4 (1), 1-203, 2016
32016
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
Vil principperne for regnskabsmæssig sikring efter IFRS 9 være et hensigtsmæssigt alternativ til reglerne i IAS 39?
M Møller
The system can't perform the operation now. Try again later.
Articles 1–17