Bisimulation through probabilistic testing (preliminary report) KG Larsen, A Skou Proceedings of the 16th ACM SIGPLAN-SIGACT symposium on Principles of …, 1989 | 1692 | 1989 |
Testing real-time systems using UPPAAL A Hessel, KG Larsen, M Mikucionis, B Nielsen, P Pettersson, A Skou Formal Methods and Testing: An Outcome of the FORTEST Network, Revised …, 2008 | 341 | 2008 |
Formal modeling and analysis of an audio/video protocol: An industrial case study using UPPAAL K Havelund, A Skou, KG Larsen, K Lund Proceedings Real-Time Systems Symposium, 2-13, 1997 | 258 | 1997 |
Testing real-time embedded software using UPPAAL-TRON: an industrial case study KG Larsen, M Mikucionis, B Nielsen, A Skou Proceedings of the 5th ACM international conference on Embedded software …, 2005 | 246 | 2005 |
Time-Optimal Real-Time Test Case Generation Using Uppaal A Hessel, KG Larsen, B Nielsen, P Pettersson, A Skou Formal Approaches to Software Testing: Third International Workshop on …, 2004 | 153 | 2004 |
Compositional verification of probabilistic processes KG Larsen, A Skou International Conference on Concurrency Theory, 456-471, 1992 | 152 | 1992 |
Model-based framework for schedulability analysis using UPPAAL 4.1 A David, J Illum, KG Larsen, A Skou Model-based design for embedded systems, 117-144, 2018 | 137 | 2018 |
Modelling and analysis of a collision avoidance protocol using spin and uppaal HE Jensen, KG Larsen, A Skou BRICS Report Series 3 (24), 1996 | 120 | 1996 |
Automated test generation from timed automata B Nielsen, A Skou International Conference on Tools and Algorithms for the Construction and …, 2001 | 116 | 2001 |
Scaling up uppaal HE Jensen, KG Larsen, A Skou International Symposium on Formal Techniques in Real-Time and Fault-Tolerant …, 2000 | 99 | 2000 |
Automated test generation from timed automata B Nielsen, A Skou International Journal on Software Tools for Technology Transfer 5, 59-77, 2003 | 83 | 2003 |
Formal Verification of a Power Controller Using the Real-Time Model Checker Uppaal K Havelund, KG Larsen, A Skou Formal Methods for Real-Time and Probabilistic Systems: 5th International …, 1999 | 82 | 1999 |
Schedulability analysis using uppaal: Herschel-planck case study M Mikučionis, KG Larsen, JI Rasmussen, B Nielsen, A Skou, SU Palm, ... Leveraging Applications of Formal Methods, Verification, and Validation: 4th …, 2010 | 75 | 2010 |
An evaluation framework for energy aware buildings using statistical model checking A David, DH Du, KG Larsen, M Mikučionis, A Skou Science China information sciences 55, 2694-2707, 2012 | 57 | 2012 |
Hierarchical scheduling framework based on compositional analysis using uppaal A Boudjadar, A David, JH Kim, KG Larsen, M Mikučionis, U Nyman, ... Formal Aspects of Component Software, 61-78, 2014 | 52 | 2014 |
Practical verification of embedded software J Straunstrup, HR Andersen, H Hulgaard, J Lind-Nielsen, G Behrmann, ... Computer 33 (5), 68-75, 2000 | 47 | 2000 |
Time-optimal test cases for real-time systems A Hessel, KG Larsen, B Nielsen, P Pettersson, A Skou Formal Modeling and Analysis of Timed Systems: First International Workshop …, 2004 | 41 | 2004 |
Computer Aided Verification: 3rd International Workshop, CAV'91, Aalborg, Denmark, July 1-4, 1991. Proceedings KG Larsen Springer Science & Business Media, 1992 | 36* | 1992 |
Arrowhead compliant virtual market of energy LL Ferreira, L Siksnys, P Pedersen, P Stluka, C Chrysoulas, T Le Guilly, ... Proceedings of the 2014 IEEE Emerging Technology and Factory Automation …, 2014 | 33 | 2014 |
HomePort: Middleware for heterogeneous home automation networks T Le Guilly, P Olsen, AP Ravn, JB Rosenkilde, A Skou Pervasive Computing and Communications Workshops (PERCOM Workshops), 2013 …, 2013 | 32 | 2013 |