Mikael H. Møller

Publication Activity (10 Years)

Years Active: 2009-2015
Publications (10 Years): 1

Top Topics

Transition Systems

Top Venues

Int. J. Softw. Tools Technol. Transf.

Acta Informatica

Publications

Nikola Benes, Jan Kretínský, Kim G. Larsen, Mikael H. Møller, Salomon Sickert, Jirí Srba
Refinement checking on parametric modal transition systems. Acta Informatica 52 (2-3) (2015)
Serge Haddad, Rolf Hennicker, Mikael H. Møller
Specification of Asynchronous Component Systems with Modal I/O-Petri Nets. TGC (2013)
Serge Haddad, Rolf Hennicker, Mikael H. Møller
Channel Properties of Asynchronously Composed Petri Nets. Petri Nets (2013)
Alexandre David, Lasse Jacobsen, Morten Jacobsen, Kenneth Yrke Jørgensen, Mikael H. Møller, Jirí Srba
TAPAAL 2.0: Integrated Development Environment for Timed-Arc Petri Nets. TACAS (2012)
Nikola Benes, Jan Kretínský, Kim Guldstrand Larsen, Mikael H. Møller, Jirí Srba
Dual-Priced Modal Transition Systems with Time Durations. LPAR (2012)
Alexandre David, Kim Guldstrand Larsen, Axel Legay, Mikael H. Møller, Ulrik Nyman, Anders P. Ravn, Arne Skou, Andrzej Wasowski
Compositional verification of real-time systems using Ecdar. Int. J. Softw. Tools Technol. Transf. 14 (6) (2012)
Nikola Benes, Jan Kretínský, Kim G. Larsen, Mikael H. Møller, Jirí Srba
Parametric Modal Transition Systems. ATVA (2011)
Lasse Jacobsen, Morten Jacobsen, Mikael H. Møller, Jirí Srba
Verification of Timed-Arc Petri Nets. SOFSEM (2011)
Lasse Jacobsen, Morten Jacobsen, Mikael H. Møller, Jirí Srba
A Framework for Relating Timed Transition Systems and Preserving TCTL Model Checking. EPEW (2010)
Lasse Jacobsen, Morten Jacobsen, Mikael H. Møller
Undecidability of Coverability and Boundedness for Timed-Arc Petri Nets with Invariants. MEMICS (2009)