Kenneth Yrke Jørgensen
Kenneth Yrke Jørgensen
Department of Computer Science, Aalborg University
Verified email at cs.aau.dk - Homepage
Title
Cited by
Cited by
Year
TAPAAL 2.0: Integrated Development Environment for Timed-Arc Petri Nets
A David, L Jacobsen, M Jacobsen, KY Jørgensen, MH Møller, J Srba
542012
TAPAAL: Editor, simulator and verifier of timed-arc Petri nets
J Byg, K Jørgensen, J Srba
Automated Technology for Verification and Analysis, 84-89, 2009
382009
An efficient translation of timed-arc Petri nets to networks of timed automata
J Byg, K Jørgensen, J Srba
Formal Methods and Software Engineering, 698-716, 2009
332009
opaal: A lattice model checker
AE Dalsgaard, RR Hansen, KY Jørgensen, KG Larsen, MC Olesen, ...
NASA Formal Methods Symposium, 487-493, 2011
152011
A Semantic-Preserving Transformation from the Compositional Interchange Format to UPPAAL
DE Nadales Agut, M Reniers, RRH Schiffelers, KY Jørgensen, ...
World Congress 18 (1), 12496-12502, 2011
12*2011
Time-Darts: A Data Structure for Verification of Closed Timed Automata
KY Joergensen, KG Larsen, J Srba
Electronic Proceedings of Theoretical Computer Science, 2075-2180, 2012
92012
Tools for Model-Checking Timed Systems
A David, G Berhmann, P Bulychev, J Byg, T Chatain, K Guldstrand Larsen, ...
Communicating Embedded Systems for Computer Science, 2009
8*2009
TCTL-preserving translations from timed-arc Petri nets to networks of timed automata
J Byg, M Jacobsen, L Jacobsen, KY Jørgensen, MH Møller, J Srba
Theoretical Computer Science 537, 3-28, 2014
62014
Fluid Model-Checking in UPPAAL for Covid-19
PG Jensen, KY Jørgensen, KG Larsen, M Mikučionis, MAM Rodriguez, ...
International Symposium on Leveraging Applications of Formal Methods …, 2020
12020
Verification of Timed-Arc Petri Nets using UPPAAL
J Byg, KY Jørgensen
2009
Regular Model Checking and Verification of Cellular Automata
J Byg, KY Jørgensen
2008
The system can't perform the operation now. Try again later.
Articles 1–11