Undecidability of Coverability and Boundedness for Timed-Arc Petri Nets with Invariants. - Lasse Jacobsen; Morten Jacobsen; Mikael H. Møller (MEMICS, 2009)

A Framework for Relating Timed Transition Systems and Preserving TCTL Model Checking. - Lasse Jacobsen; Morten Jacobsen; Mikael H. Møller; Jirí Srba (EPEW, 2010)

Parametric Modal Transition Systems. - Nikola Benes; Jan Kretínský; Kim G. Larsen; Mikael H. Møller; Jirí Srba (ATVA, 2011)

Verification of Timed-Arc Petri Nets. - Lasse Jacobsen; Morten Jacobsen; Mikael H. Møller; Jirí Srba (SOFSEM, 2011)

Dual-Priced Modal Transition Systems with Time Durations. - Nikola Benes; Jan Kretínský; Kim Guldstrand Larsen; Mikael H. Møller; Jirí Srba (LPAR, 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 (TACAS, 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)

Channel Properties of Asynchronously Composed Petri Nets. - Serge Haddad; Rolf Hennicker; Mikael H. Møller (Petri Nets, 2013)

Specification of Asynchronous Component Systems with Modal I/O-Petri Nets. - Serge Haddad; Rolf Hennicker; Mikael H. Møller (TGC, 2013)

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)

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)