Morten Jacobsen

According to our database, Morten Jacobsen authored at least 6 papers between 2009 and 2014.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2014

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

2012

A Forward Reachability Algorithm for Bounded Timed-Arc Petri Nets

Alexandre David, Lasse Jacobsen, Morten Jacobsen, Jirí Srba

Proceedings of the Proceedings Seventh Conference on Systems Software Verification, 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

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

2011

Verification of Timed-Arc Petri Nets.

Lasse Jacobsen, Morten Jacobsen, Mikael H. Møller, Jirí Srba

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

2010

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

Lasse Jacobsen, Morten Jacobsen, Mikael H. Møller, Jirí Srba

Proceedings of the Computer Performance Engineering, 2010

2009

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

Lasse Jacobsen, Morten Jacobsen, Mikael H. Møller

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