Kenneth Yrke Jørgensen

According to our database, Kenneth Yrke Jørgensen authored at least 8 papers between 2009 and 2020.

Collaborative distances:

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

2020

Fluid Model-Checking in UPPAAL for Covid-19.

Peter Gjøl Jensen, Kenneth Yrke Jørgensen, Kim G. Larsen, Marius Mikucionis, Marco Muñiz, Danny Bøgsted Poulsen

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles, 2020

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

2013

Tools for Model-Checking Timed Systems.

Alexandre David, Gerd Behrmann, Peter E. Bulychev, Joakim Byg, Thomas Chatain, Kim G. Larsen, Paul Pettersson, Jacob Illum Rasmussen, Jirí Srba, Wang Yi, Kenneth Yrke Jørgensen, Didier Lime, Morgan Magnin, Olivier H. Roux, Louis-Marie Traonouez

Proceedings of the Communicating Embedded Systems, 2013

2012

Time-Darts: A Data Structure for Verification of Closed Timed Automata

Kenneth Yrke Jørgensen, Kim G. Larsen, 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

opaal: A Lattice Model Checker.

Andreas Engelbredt Dalsgaard, René Rydhof Hansen, Kenneth Yrke Jørgensen, Kim Guldstrand Larsen, Mads Chr. Olesen, Petur Olsen, Jirí Srba

Proceedings of the NASA Formal Methods, 2011

2009

An Efficient Translation of Timed-Arc Petri Nets to Networks of Timed Automata.

Joakim Byg, Kenneth Yrke Jørgensen, Jirí Srba

Proceedings of the Formal Methods and Software Engineering, 2009

TAPAAL: Editor, Simulator and Verifier of Timed-Arc Petri Nets.

Joakim Byg, Kenneth Yrke Jørgensen, Jirí Srba

Proceedings of the Automated Technology for Verification and Analysis, 2009