TAPAAL: Editor, Simulator and Verifier of Timed-Arc Petri Nets. - Joakim Byg; Kenneth Yrke Jørgensen; Jirí Srba (ATVA, 2009)

An Efficient Translation of Timed-Arc Petri Nets to Networks of Timed Automata. - Joakim Byg; Kenneth Yrke Jørgensen; Jirí Srba (ICFEM, 2009)

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 (NASA Formal Methods, 2011)

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 (TACAS, 2012)

Time-Darts: A Data Structure for Verification of Closed Timed Automata - Kenneth Yrke Jørgensen; Kim G. Larsen; Jirí Srba (SSV, 2012)

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 001; Kenneth Yrke Jørgensen; Didier Lime; et al. (Communicating Embedded Systems, 2013)

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)

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 (ISoLA (1), 2020)