Arne Skou

2008
21	EE	Anders 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
20	EE	John Knudsen, Anders P. Ravn, Arne Skou: Design Verification Patterns. Formal Methods and Hybrid Real-Time Systems 2007: 399-413
2005
19	EE	Kim Guldstrand Larsen, Marius Mikucionis, Brian Nielsen, Arne Skou: Testing real-time embedded software using UPPAAL-TRON: an industrial case study. EMSOFT 2005: 299-306
18	EE	Arnab Ray, Rance Cleaveland, Arne Skou: An Algebraic Theory Of Boundary Crossing Transitions. Electr. Notes Theor. Comput. Sci. 115: 69-88 (2005)
2004
17	EE	Jens Chr. Godskesen, Brian Nielsen, Arne Skou: Connectivity Testing Through Model-Checking. FORTE 2004: 167-184
2003
16	EE	Anders Hessel, Kim Guldstrand Larsen, Brian Nielsen, Paul Pettersson, Arne Skou: Time-Optimal Real-Time Test Case Generation Using Uppaal. FATES 2003: 114-130
15	EE	Anders Hessel, Kim Guldstrand Larsen, Brian Nielsen, Paul Pettersson, Arne Skou: Time-Optimal Test Cases for Real-Time Systems. FORMATS 2003: 234-245
14	EE	Brian Nielsen, Arne Skou: Automated test generation from timed automata. STTT 5(1): 59-77 (2003)
2001
13	EE	Brian Nielsen, Arne Skou: Test Generation for Time Critical Systems: Tool and Case Study. ECRTS 2001: 155-162
12	EE	Brian Nielsen, Arne Skou: Automated Test Generation from Timed Automata. TACAS 2001: 343-357
2000
11	EE	Henrik Ejersbo Jensen, Kim Guldstrand Larsen, Arne Skou: Scaling up Uppaal Automatic Verification of Real-Time Systems Using Compositionality and Abstraction. FTRTFT 2000: 19-30
10	EE	Jø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
9	EE	Klaus Havelund, Kim Guldstrand Larsen, Arne Skou: Formal Verification of a Power Controller Using the Real-Time Model Checker UPPAAL. ARTS 1999: 277-298
1997
8	EE	Klaus 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

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