# Mikael H. Møller

According to our database

Collaborative distances:

^{1}, Mikael H. Møller authored at least 11 papers between 2009 and 2015.Collaborative distances:

## Timeline

#### Legend:

Book In proceedings Article PhD thesis Other## Links

#### On csauthors.net:

## Bibliography

2015

Refinement checking on parametric modal transition systems.

Acta Inf., 2015

2014

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

Theor. Comput. Sci., 2014

2013

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

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

Channel Properties of Asynchronously Composed Petri Nets.

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

2012

Compositional verification of real-time systems using Ecdar.

STTT, 2012

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

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

Dual-Priced Modal Transition Systems with Time Durations.

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

2011

Verification of Timed-Arc Petri Nets.

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

Parametric Modal Transition Systems.

Proceedings of the Automated Technology for Verification and Analysis, 2011

2010

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

Proceedings of the Computer Performance Engineering, 2010

2009

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

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