Lasse Jacobsen

Publication Activity (10 Years)

Years Active: 2009-2014
Publications (10 Years): 0

Top Topics

Integrated Development Environment

Top Venues

Theor. Comput. Sci.

Publications

Joakim Byg, Morten Jacobsen, Lasse Jacobsen, Kenneth Yrke Jørgensen, Mikael Harkjær Møller, Jirí Srba
TCTL-preserving translations from timed-arc Petri nets to networks of timed automata. Theor. Comput. Sci. 537 (2014)
Alexandre David, Lasse Jacobsen, Morten Jacobsen, Kenneth Yrke Jørgensen, Mikael H. Møller, Jirí Srba
TAPAAL 2.0: Integrated Development Environment for Timed-Arc Petri Nets. TACAS (2012)
Alexandre David, Lasse Jacobsen, Morten Jacobsen, Jirí Srba
A Forward Reachability Algorithm for Bounded Timed-Arc Petri Nets SSV (2012)
Lasse Jacobsen, Morten Jacobsen, Mikael H. Møller, Jirí Srba
Verification of Timed-Arc Petri Nets. SOFSEM (2011)
Lasse Jacobsen, Morten Jacobsen, Mikael H. Møller, Jirí Srba
A Framework for Relating Timed Transition Systems and Preserving TCTL Model Checking. EPEW (2010)
Lasse Jacobsen, Morten Jacobsen, Mikael H. Møller
Undecidability of Coverability and Boundedness for Timed-Arc Petri Nets with Invariants. MEMICS (2009)