Arne Skou

	2009
23		Ulrik H. Hjort, Jacob Illum Rasmussen, Kim Guldstrand Larsen, Michael A. Petersen, Arne Skou: Model-Based GUI Testing Using Uppaal at Novo Nordisk. FM 2009: 814-818
22		Istvan Knoll, Anders P. Ravn, Arne Skou: Semantics for Communicating Actors with Interdependent Real-Time Deadlines. TASE 2009: 29-35
	2008
21		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		John Knudsen, Anders P. Ravn, Arne Skou: Design Verification Patterns. Formal Methods and Hybrid Real-Time Systems 2007: 399-413
	2005
19		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		Arnab Ray, Rance Cleaveland, Arne Skou: An Algebraic Theory Of Boundary Crossing Transitions. Electr. Notes Theor. Comput. Sci. 115: 69-88 (2005)
	2004
17		Jens Chr. Godskesen, Brian Nielsen, Arne Skou: Connectivity Testing Through Model-Checking. FORTE 2004: 167-184
	2003
16		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		Anders Hessel, Kim Guldstrand Larsen, Brian Nielsen, Paul Pettersson, Arne Skou: Time-Optimal Test Cases for Real-Time Systems. FORMATS 2003: 234-245
14		Brian Nielsen, Arne Skou: Automated test generation from timed automata. STTT 5(1): 59-77 (2003)
	2001
13		Brian Nielsen, Arne Skou: Test Generation for Time Critical Systems: Tool and Case Study. ECRTS 2001: 155-162
12		Brian Nielsen, Arne Skou: Automated Test Generation from Timed Automata. TACAS 2001: 343-357
	2000
11		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		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		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		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	Ulrik H. Hjort	[23]
9	Henrik Hulgaard	[10]
10	Henrik Ejersbo Jensen	[11]
11	Istvan Knoll	[22]
12	John Knudsen	[20]
13	Kåre J. Kristoffersen	[10]
14	Kim Guldstrand Larsen	[1] [2] [3] [4] [5] [6] [7] [8] [9] [10] [11] [15] [16] [19] [21] [23]
15	Henrik Leerberg	[10]
16	Jørn Lind-Nielsen	[10]
17	K. Lund	[8]
18	Marius Mikucionis	[19] [21]
19	Brian Nielsen	[12] [13] [14] [15] [16] [17] [19] [21]
20	Michael A. Petersen	[23]
21	Paul Pettersson	[15] [16] [21]
22	Jacob Illum Rasmussen	[23]
23	Anders P. Ravn	[20] [22]
24	Arnab Ray	[18]
25	Jørgen Staunstrup	[10]
26	Niels Bo Theilgaard	[10]