| 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 | 102 | 2012 |
| 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 | 55 | 2009 |
| 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 | 35 | 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 | 23 | 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 | 12* | 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 | 10 | 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 | 9 | 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 | 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 | 8 | 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 | 4 | 2022 |
| 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 |
Kim G. LarsenDirector, Professor Aalborg University在 cs.aau.dk 的电子邮件经过验证
