Follow
Arne Skou
Arne Skou
Associate Professor of Computer Science, Aalborg University
Verified email at cs.aau.dk - Homepage
Title
Cited by
Cited by
Year
Bisimulation through probabilistic testing (preliminary report)
KG Larsen, A Skou
Proceedings of the 16th ACM SIGPLAN-SIGACT symposium on Principles of …, 1989
17271989
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
3482008
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
2631997
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
2492005
Compositional verification of probabilistic processes
KG Larsen, A Skou
International Conference on Concurrency Theory, 456-471, 1992
1531992
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
1522004
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
1392018
Modelling and analysis of a collision avoidance protocol using spin and uppaal
HE Jensen, KG Larsen, A Skou
BRICS Report Series 3 (24), 1996
1241996
Automated test generation from timed automata
B Nielsen, A Skou
International Conference on Tools and Algorithms for the Construction and …, 2001
1162001
Scaling up uppaal
HE Jensen, KG Larsen, A Skou
International Symposium on Formal Techniques in Real-Time and Fault-Tolerant …, 2000
992000
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
861999
Automated test generation from timed automata
B Nielsen, A Skou
International Journal on Software Tools for Technology Transfer 5, 59-77, 2003
842003
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
752010
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
572012
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
492014
Practical verification of embedded software
J Straunstrup, HR Andersen, H Hulgaard, J Lind-Nielsen, G Behrmann, ...
Computer 33 (5), 68-75, 2000
462000
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
412004
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
322014
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
322013
The system can't perform the operation now. Try again later.
Articles 1–20