Arne Skou
Arne Skou
Associate Professor of Computer Science, Aalborg University
Email verificata su cs.aau.dk - Home page
Titolo
Citata da
Citata da
Anno
Bisimulation through probabilistic testing
KG Larsen, A Skou
Information and computation 94 (1), 1-28, 1991
14611991
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
2862008
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
2331997
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
2042005
Compositional verification of probabilistic processes
KG Larsen, A Skou
International Conference on Concurrency Theory, 456-471, 1992
1391992
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
1362003
Automated test generation from timed automata
B Nielsen, A Skou
International Conference on Tools and Algorithms for the Construction and …, 2001
1082001
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
1062009
Modelling and Analysis of a Collision Avoidance Protocol using SPIN and UPPAAL
HE Jensen, KG Larsen, A Skou
BRICS Report Series 3 (24), 1996
1001996
Scaling up uppaal
HE Jensen, KG Larsen, A Skou
International Symposium on Formal Techniques in Real-Time and Fault-Tolerant …, 2000
952000
Automated test generation from timed automata
B Nielsen, A Skou
International Journal on Software Tools for Technology Transfer 5 (1), 59-77, 2003
702003
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
691999
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
552010
Testing real-time systems using UPPAAL, Formal methods and testing: an outcome of the FORTEST network
A Hessel, KG Larsen, M Mikucionis, B Nielsen, P Pettersson, A Skou
Springer-Verlag, Berlin, Heidelberg, 2008
502008
Practical verification of embedded software
J Straunstrup, HR Andersen, H Hulgaard, J Lind-Nielsen, G Behrmann, ...
Computer 33 (5), 68-75, 2000
422000
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
412012
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
402014
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
372003
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
311992
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
282014
Il sistema al momento non può eseguire l'operazione. Riprova più tardi.
Articoli 1–20