Arne Skou
Arne Skou
Associate Professor of Computer Science, Aalborg University
Email verificata su cs.aau.dk
TitoloCitata daAnno
Bisimulation through probabilistic testing
KG Larsen, A Skou
Information and computation 94 (1), 1-28, 1991
14231991
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
2602008
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
1932005
Compositional verification of probabilistic processes
KG Larsen, A Skou
International Conference on Concurrency Theory, 456-471, 1992
1371992
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
1272003
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
1072009
Automated test generation from timed automata
B Nielsen, A Skou
International Conference on Tools and Algorithms for the Construction and …, 2001
1042001
Modelling and Analysis of a Collision Avoidance Protocol using SPIN and UPPAAL
HE Jensen, KG Larsen, A Skou
BRICS Report Series 3 (24), 1996
971996
Scaling up uppaal
HE Jensen, KG Larsen, A Skou
International Symposium on Formal Techniques in Real-Time and Fault-Tolerant …, 2000
922000
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
Automated test generation from timed automata
B Nielsen, A Skou
International Journal on Software Tools for Technology Transfer 5 (1), 59-77, 2003
622003
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
602008
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
532010
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
422012
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
Practical verification of embedded software
J Straunstrup, HR Andersen, H Hulgaard, J Lind-Nielsen, G Behrmann, ...
Computer 33 (5), 68-75, 2000
392000
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
352003
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
281992
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
272014
Il sistema al momento non può eseguire l'operazione. Riprova più tardi.
Articoli 1–20