Mikael H. Møller

According to our database, Mikael H. Møller authored at least 11 papers between 2009 and 2015.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2015

Refinement checking on parametric modal transition systems.

Nikola Benes, Jan Kretínský, Kim G. Larsen, Mikael H. Møller, Salomon Sickert, Jirí Srba

Acta Informatica, 2015

2014

TCTL-preserving translations from timed-arc Petri nets to networks of timed automata.

Joakim Byg, Morten Jacobsen, Lasse Jacobsen, Kenneth Yrke Jørgensen, Mikael Harkjær Møller, Jirí Srba

Theor. Comput. Sci., 2014

2013

Specification of Asynchronous Component Systems with Modal I/O-Petri Nets.

Serge Haddad, Rolf Hennicker, Mikael H. Møller

Proceedings of the Trustworthy Global Computing - 8th International Symposium, 2013

Channel Properties of Asynchronously Composed Petri Nets.

Serge Haddad, Rolf Hennicker, Mikael H. Møller

Proceedings of the Application and Theory of Petri Nets and Concurrency, 2013

2012

Compositional verification of real-time systems using Ecdar.

Alexandre David, Kim Guldstrand Larsen, Axel Legay, Mikael H. Møller, Ulrik Nyman, Anders P. Ravn, Arne Skou, Andrzej Wasowski

Int. J. Softw. Tools Technol. Transf., 2012

TAPAAL 2.0: Integrated Development Environment for Timed-Arc Petri Nets.

Alexandre David, Lasse Jacobsen, Morten Jacobsen, Kenneth Yrke Jørgensen, Mikael H. Møller, Jirí Srba

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2012

Dual-Priced Modal Transition Systems with Time Durations.

Nikola Benes, Jan Kretínský, Kim Guldstrand Larsen, Mikael H. Møller, Jirí Srba

Proceedings of the Logic for Programming, Artificial Intelligence, and Reasoning, 2012

2011

Verification of Timed-Arc Petri Nets.

Lasse Jacobsen, Morten Jacobsen, Mikael H. Møller, Jirí Srba

Proceedings of the SOFSEM 2011: Theory and Practice of Computer Science, 2011

Parametric Modal Transition Systems.

Nikola Benes, Jan Kretínský, Kim G. Larsen, Mikael H. Møller, Jirí Srba

Proceedings of the Automated Technology for Verification and Analysis, 2011

2010

A Framework for Relating Timed Transition Systems and Preserving TCTL Model Checking.

Lasse Jacobsen, Morten Jacobsen, Mikael H. Møller, Jirí Srba

Proceedings of the Computer Performance Engineering, 2010

2009

Undecidability of Coverability and Boundedness for Timed-Arc Petri Nets with Invariants.

Lasse Jacobsen, Morten Jacobsen, Mikael H. Møller

Proceedings of the Annual Doctoral Workshop on Mathematical and Engineering Methods in Computer Science, 2009