Brian Nielsen

	2009
18		Kim Guldstrand Larsen, Shuhao Li, Brian Nielsen, Saulius Pusinskas: Verifying Real-Time Systems against Scenario-Based Requirements. FM 2009: 676-691
	2008
17		Alexandre David, Kim Guldstrand Larsen, Shuhao Li, Brian Nielsen: A Game-Theoretic Approach to Real-Time System Testing. DATE 2008: 486-491
16		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
15		Alexandre David, Kim Guldstrand Larsen, Shuhao Li, Brian Nielsen: Cooperative Testing of Timed Systems. Electr. Notes Theor. Comput. Sci. 220(1): 79-92 (2008)
	2005
14		Jens Grabowski, Brian Nielsen: Formal Approaches to Software Testing, 4th International Workshop, FATES 2004, Linz, Austria, September 21, 2004, Revised Selected Papers Springer 2005
13		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
	2004
12		Marius Mikucionis, Kim Guldstrand Larsen, Brian Nielsen: T-UPPAAL: Online Model-based Testing of Real-Time Systems. ASE 2004: 396-397
11		Kim Guldstrand Larsen, Marius Mikucionis, Brian Nielsen: Online Testing of Real-time Systems Using Uppaal. FATES 2004: 79-94
10		Jens Chr. Godskesen, Brian Nielsen, Arne Skou: Connectivity Testing Through Model-Checking. FORTE 2004: 167-184
9		Kim Guldstrand Larsen, Marius Mikucionis, Brian Nielsen: Online Testing of Real-Time Systems Using UPPAAL: Status and Future Work. Perspectives of Model-Based Testing 2004
	2003
8		Anders Hessel, Kim Guldstrand Larsen, Brian Nielsen, Paul Pettersson, Arne Skou: Time-Optimal Real-Time Test Case Generation Using Uppaal. FATES 2003: 114-130
7		Anders Hessel, Kim Guldstrand Larsen, Brian Nielsen, Paul Pettersson, Arne Skou: Time-Optimal Test Cases for Real-Time Systems. FORMATS 2003: 234-245
6		Brian Nielsen, Arne Skou: Automated test generation from timed automata. STTT 5(1): 59-77 (2003)
	2001
5		Brian Nielsen, Arne Skou: Test Generation for Time Critical Systems: Tool and Case Study. ECRTS 2001: 155-162
4		Brian Nielsen, Arne Skou: Automated Test Generation from Timed Automata. TACAS 2001: 343-357
	1999
3		Morten Vadskær Jensen, Brian Nielsen: Real-Time Layered Video Compression Using SIMD Computation. ACPC 1999: 377-387
2		Brian Nielsen, Gul Agha: Towards Reusable Real-Time Objects. Ann. Software Eng. 7: 257-282 (1999)
	1998
1		Brian Nielsen, Shangping Ren, Gul Agha: Specification of Real-Time Interaction Constraints. ISORC 1998: 206-214

Coauthor Index

1	Gul A. Agha (Gul Agha)	[1] [2]
2	Alexandre David	[15] [17]
3	Jens Chr. Godskesen	[10]
4	Jens Grabowski	[14]
5	Anders Hessel	[7] [8] [16]
6	Morten Vadskær Jensen	[3]
7	Kim Guldstrand Larsen	[7] [8] [9] [11] [12] [13] [15] [16] [17] [18]
8	Shuhao Li	[15] [17] [18]
9	Marius Mikucionis	[9] [11] [12] [13] [16]
10	Paul Pettersson	[7] [8] [16]
11	Saulius Pusinskas	[18]
12	Shangping Ren	[1]
13	Arne Skou	[4] [5] [6] [7] [8] [10] [13] [16]

Colors in the list of coauthors