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
16461989
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
3392008
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
2551997
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
2472005
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
1502004
Compositional verification of probabilistic processes
KG Larsen, A Skou
International Conference on Concurrency Theory, 456-471, 1992
1491992
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
1322018
Modelling and Analysis of a Collision Avoidance Protocol using SPIN and UPPAAL
HE Jensen, KG Larsen, A Skou
BRICS Report Series 3 (24), 1996
1161996
Automated test generation from timed automata
B Nielsen, A Skou
International Conference on Tools and Algorithms for the Construction and …, 2001
1132001
Scaling up Uppaal: Automatic verification of real-time systems using compositionality and abstraction
H Ejersbo Jensen, K Guldstrand Larsen, A Skou
International Symposium on Formal Techniques in Real-Time and Fault-Tolerant …, 2000
992000
Automated test generation from timed automata
B Nielsen, A Skou
International Journal on Software Tools for Technology Transfer 5, 59-77, 2003
842003
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
801999
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
732010
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
542014
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
402004
Computer Aided Verification: 3rd International Workshop, CAV'91, Aalborg, Denmark, July 1-4, 1991. Proceedings
KG Larsen
Springer Science & Business Media, 1992
39*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
332014
Generality in design and compositional verification using tav
A Børjesson, KG Larsen, A Skou
Proceedings of the IFIP TC6/WG6. 1 Fifth International Conference on Formal …, 1992
331992
The system can't perform the operation now. Try again later.
Articles 1–20