Kenneth Yrke Jørgensen
Kenneth Yrke Jørgensen
Department of Computer Science, Aalborg University
Verified email at - Homepage
Cited by
Cited by
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
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
Prevention of the contamination of raw milk by a hygienic milk production.
J Stadhouders, K Jørgensen
Bulletin of the international dairy federation, 32-36, 1990
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
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
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
Teat udder cleaning.
K Jørgensen
Bulletin of the International Dairy Federation, 49-51, 1990
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
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
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
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
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
The effect of vacuum fluctuation on udder health and milking performance.
O Klastrup, PS Madsen, SM Nielsen, NP Madsen, KG Klausen, ...
Verification of Timed-Arc Petri Nets using UPPAAL
J Byg, KY Jørgensen
Regular Model Checking and Verification of Cellular Automata
J Byg, KY Jørgensen
Udder washing-Danish experiences from the standpoints of milk hygiene
K Joergensen
Udder-Hygiene Symposium, Fagernes (Norway), 1 Sep 1988, 1988
Bacteriological contamination from the surface of the teat and udder [influence of grazing, cow housing and bedding, effect of udder washing]
K Joergensen
International Dairy Federation, 1980
The influence of fluctuating vacuum on udder health, yield, milking rate and acidity of milk fat.
O Klastrup, PS Madsen, MS Nielsen, KG Klausen, NP Madsen, ...
The system can't perform the operation now. Try again later.
Articles 1–18