Mikael Harkjær Møller
Mikael Harkjær Møller
Ph.D. Fellow, Computer Science, Aalborg University
Bekræftet mail på mikael.hm
Titel
Citeret af
Citeret af
År
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
692012
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
472011
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
212012
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
142012
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
132013
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
112009
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
72014
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
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
62015
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
Systemet kan ikke foretage handlingen nu. Prøv igen senere.
Artikler 1–16