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
TCTL-preserving translations from timed-arc Petri nets to networks of timed automata.
Theor. Comput. Sci., 2014
Proceedings of the Trustworthy Global Computing - 8th International Symposium, 2013
Proceedings of the Application and Theory of Petri Nets and Concurrency, 2013
Int. J. Softw. Tools Technol. Transf., 2012
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2012
Proceedings of the Logic for Programming, Artificial Intelligence, and Reasoning, 2012
Proceedings of the SOFSEM 2011: Theory and Practice of Computer Science, 2011
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