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
492012
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
372009
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
342009
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
11*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
7*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
52014
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–10