Mikael H. Møller

According to our database1, Mikael H. Møller
  • authored at least 11 papers between 2009 and 2015.
  • has a "Dijkstra number"2 of four.

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


  Loading...