dblp.uni-trier.dewww.uni-trier.de

Arne Skou

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2008
21EEAnders Hessel, Kim Guldstrand Larsen, Marius Mikucionis, Brian Nielsen, Paul Pettersson, Arne Skou: Testing Real-Time Systems Using UPPAAL. Formal Methods and Testing 2008: 77-117
2007
20EEJohn Knudsen, Anders P. Ravn, Arne Skou: Design Verification Patterns. Formal Methods and Hybrid Real-Time Systems 2007: 399-413
2005
19EEKim Guldstrand Larsen, Marius Mikucionis, Brian Nielsen, Arne Skou: Testing real-time embedded software using UPPAAL-TRON: an industrial case study. EMSOFT 2005: 299-306
18EEArnab Ray, Rance Cleaveland, Arne Skou: An Algebraic Theory Of Boundary Crossing Transitions. Electr. Notes Theor. Comput. Sci. 115: 69-88 (2005)
2004
17EEJens Chr. Godskesen, Brian Nielsen, Arne Skou: Connectivity Testing Through Model-Checking. FORTE 2004: 167-184
2003
16EEAnders Hessel, Kim Guldstrand Larsen, Brian Nielsen, Paul Pettersson, Arne Skou: Time-Optimal Real-Time Test Case Generation Using Uppaal. FATES 2003: 114-130
15EEAnders Hessel, Kim Guldstrand Larsen, Brian Nielsen, Paul Pettersson, Arne Skou: Time-Optimal Test Cases for Real-Time Systems. FORMATS 2003: 234-245
14EEBrian Nielsen, Arne Skou: Automated test generation from timed automata. STTT 5(1): 59-77 (2003)
2001
13EEBrian Nielsen, Arne Skou: Test Generation for Time Critical Systems: Tool and Case Study. ECRTS 2001: 155-162
12EEBrian Nielsen, Arne Skou: Automated Test Generation from Timed Automata. TACAS 2001: 343-357
2000
11EEHenrik Ejersbo Jensen, Kim Guldstrand Larsen, Arne Skou: Scaling up Uppaal Automatic Verification of Real-Time Systems Using Compositionality and Abstraction. FTRTFT 2000: 19-30
10EEJørgen Staunstrup, Henrik Reif Andersen, Henrik Hulgaard, Jørn Lind-Nielsen, Kim Guldstrand Larsen, Gerd Behrmann, Kåre J. Kristoffersen, Arne Skou, Henrik Leerberg, Niels Bo Theilgaard: Practical Verification of Embedded Software. IEEE Computer 33(5): 68-75 (2000)
1999
9EEKlaus Havelund, Kim Guldstrand Larsen, Arne Skou: Formal Verification of a Power Controller Using the Real-Time Model Checker UPPAAL. ARTS 1999: 277-298
1997
8EEKlaus Havelund, Arne Skou, Kim Guldstrand Larsen, K. Lund: Formal modeling and analysis of an audio/video protocol: an industrial case study using UPPAA. IEEE Real-Time Systems Symposium 1997: 2-13
1995
7 Anders Børjesson, Kim Guldstrand Larsen, Arne Skou: Generality in Design and Compositional Verification Using TAV. Formal Methods in System Design 6(3): 239-258 (1995)
1994
6 Jens Chr. Godskesen, Kim Guldstrand Larsen, Arne Skou: Automatic verification of real-tim systems using epsilon. PSTV 1994: 323-330
1992
5 Kim Guldstrand Larsen, Arne Skou: Computer Aided Verification, 3rd International Workshop, CAV '91, Aalborg, Denmark, July, 1-4, 1991, Proceedings Springer 1992
4 Kim Guldstrand Larsen, Arne Skou: Compositional Verification of Probabilistic Processes. CONCUR 1992: 456-471
3 Anders Børjesson, Kim Guldstrand Larsen, Arne Skou: Generality in design and compositional verification using TAV. FORTE 1992: 449-464
1991
2 Kim Guldstrand Larsen, Arne Skou: Bisimulation through Probabilistic Testing Inf. Comput. 94(1): 1-28 (1991)
1989
1 Kim Guldstrand Larsen, Arne Skou: Bisimulation Through Probabilistic Testing. POPL 1989: 344-352

Coauthor Index

1Henrik Reif Andersen [10]
2Gerd Behrmann [10]
3Anders Børjesson [3] [7]
4Rance Cleaveland [18]
5Jens Chr. Godskesen [6] [17]
6Klaus Havelund [8] [9]
7Anders Hessel [15] [16] [21]
8Henrik Hulgaard [10]
9Henrik Ejersbo Jensen [11]
10John Knudsen [20]
11Kåre J. Kristoffersen [10]
12Kim Guldstrand Larsen [1] [2] [3] [4] [5] [6] [7] [8] [9] [10] [11] [15] [16] [19] [21]
13Henrik Leerberg [10]
14Jørn Lind-Nielsen [10]
15K. Lund [8]
16Marius Mikucionis [19] [21]
17Brian Nielsen [12] [13] [14] [15] [16] [17] [19] [21]
18Paul Pettersson [15] [16] [21]
19Anders P. Ravn [20]
20Arnab Ray [18]
21Jørgen Staunstrup [10]
22Niels Bo Theilgaard [10]

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)