Mikael H. Møller
According to our database1, Mikael H. Møller authored at least 11 papers between 2009 and 2015.
Legend:Book In proceedings Article PhD thesis Other
Refinement checking on parametric modal transition systems.
Acta Inf., 2015
TCTL-preserving translations from timed-arc Petri nets to networks of timed automata.
Theor. Comput. Sci., 2014
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
Compositional verification of real-time systems using Ecdar.
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
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
A Framework for Relating Timed Transition Systems and Preserving TCTL Model Checking.
Proceedings of the Computer Performance Engineering, 2010
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