Follow
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
1052012
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
572009
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
382009
opaal: A lattice model checker
AE Dalsgaard, RR Hansen, KY Jørgensen, KG Larsen, MC Olesen, ...
NASA Formal Methods: Third International Symposium, NFM 2011, Pasadena, CA …, 2011
232011
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
13*2011
Fluid model-checking in UPPAAL for Covid-19
PG Jensen, KY Jørgensen, KG Larsen, M Mikučionis, M Muñiz, ...
Leveraging Applications of Formal Methods, Verification and Validation …, 2020
112020
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
9*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
82014
An investigation of safe and near-optimal strategies for prevention of Covid-19 exposure using stochastic hybrid models and machine learning
A Bilgram, PG Jensen, KY Jørgensen, KG Larsen, M Mikučionis, M Muñiz, ...
Decision Analytics Journal 5, 100141, 2022
52022
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–12