Kenneth Yrke Jørgensen

Publication Activity (10 Years)

Years Active: 2009-2020
Publications (10 Years): 1

Top Topics

Integrated Development Environment

Reachability Analysis

Top Venues

Theor. Comput. Sci.

Publications

Peter Gjøl Jensen, Kenneth Yrke Jørgensen, Kim G. Larsen, Marius Mikucionis, Marco Muñiz, Danny Bøgsted Poulsen
Fluid Model-Checking in UPPAAL for Covid-19. ISoLA (1) (2020)
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)
Kenneth Yrke Jørgensen, Kim G. Larsen, Jirí Srba
Time-Darts: A Data Structure for Verification of Closed Timed Automata SSV (2012)
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)
Andreas Engelbredt Dalsgaard, René Rydhof Hansen, Kenneth Yrke Jørgensen, Kim Guldstrand Larsen, Mads Chr. Olesen, Petur Olsen, Jirí Srba
opaal: A Lattice Model Checker. NASA Formal Methods (2011)
Joakim Byg, Kenneth Yrke Jørgensen, Jirí Srba
TAPAAL: Editor, Simulator and Verifier of Timed-Arc Petri Nets. ATVA (2009)
Joakim Byg, Kenneth Yrke Jørgensen, Jirí Srba
An Efficient Translation of Timed-Arc Petri Nets to Networks of Timed Automata. ICFEM (2009)