Arne Skou
Arne Skou
Associate Professor of Computer Science, Aalborg University
Vahvistettu sähköpostiosoite verkkotunnuksessa cs.aau.dk - Kotisivu
Nimike
Viittaukset
Viittaukset
Vuosi
Bisimulation through probabilistic testing
KG Larsen, A Skou
Information and computation 94 (1), 1-28, 1991
14891991
Testing real-time systems using UPPAAL
A Hessel, KG Larsen, M Mikucionis, B Nielsen, P Pettersson, A Skou
Formal methods and testing, 77-117, 2008
3092008
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
2371997
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
2202005
Compositional verification of probabilistic processes
KG Larsen, A Skou
International Conference on Concurrency Theory, 456-471, 1992
1451992
Time-optimal real-time test case generation using UPPAAL
A Hessel, KG Larsen, B Nielsen, P Pettersson, A Skou
International Workshop on Formal Approaches to Software Testing, 114-130, 2003
1442003
Model-based framework for schedulability analysis using UPPAAL 4.1
A David, J Illum, KG Larsen, A Skou
Model-based design for embedded systems 1 (1), 93-119, 2009
1132009
Automated test generation from timed automata
B Nielsen, A Skou
International Conference on Tools and Algorithms for the Construction and …, 2001
1112001
Modelling and Analysis of a Collision Avoidance Protocol using SPIN and UPPAAL
HE Jensen, KG Larsen, A Skou
BRICS Report Series 3 (24), 1996
1041996
Scaling up UPPAAL
HE Jensen, KG Larsen, A Skou
International Symposium on Formal Techniques in Real-Time and Fault-Tolerant …, 2000
942000
Automated test generation from timed automata
B Nielsen, A Skou
International Journal on Software Tools for Technology Transfer 5 (1), 59-77, 2003
752003
Formal Verification of a Power Controller Using the Real-Time Model Checker Uppaal
K Havelund, KG Larsen, A Skou
International AMAST Workshop on Aspects of Real-Time Systems and Concurrent …, 1999
711999
Schedulability analysis using uppaal: Herschel-planck case study
M Mikučionis, KG Larsen, JI Rasmussen, B Nielsen, A Skou, SU Palm, ...
International Symposium On Leveraging Applications of Formal Methods …, 2010
572010
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
472014
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 (12), 2694-2707, 2012
432012
Practical verification of embedded software
J Straunstrup, HR Andersen, H Hulgaard, J Lind-Nielsen, G Behrmann, ...
Computer 33 (5), 68-75, 2000
432000
Time-optimal test cases for real-time systems
A Hessel, KG Larsen, B Nielsen, P Pettersson, A Skou
International Conference on Formal Modeling and Analysis of Timed Systems …, 2003
382003
Computer Aided Verification: 3rd International Workshop, CAV'91, Aalborg, Denmark, July 1-4, 1991. Proceedings
KG Larsen
Springer Science & Business Media, 1992
35*1992
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
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
292013
Järjestelmä ei voi suorittaa toimenpidettä nyt. Yritä myöhemmin uudelleen.
Artikkelit 1–20