Brian Nielsen

2008
17	EE	Alexandre David, Kim Guldstrand Larsen, Shuhao Li, Brian Nielsen: A Game-Theoretic Approach to Real-Time System Testing. DATE 2008: 486-491
16	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
15	EE	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	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
2004
12	EE	Marius Mikucionis, Kim Guldstrand Larsen, Brian Nielsen: T-UPPAAL: Online Model-based Testing of Real-Time Systems. ASE 2004: 396-397
11	EE	Kim Guldstrand Larsen, Marius Mikucionis, Brian Nielsen: Online Testing of Real-time Systems Using Uppaal. FATES 2004: 79-94
10	EE	Jens Chr. Godskesen, Brian Nielsen, Arne Skou: Connectivity Testing Through Model-Checking. FORTE 2004: 167-184
9	EE	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	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
7	EE	Anders Hessel, Kim Guldstrand Larsen, Brian Nielsen, Paul Pettersson, Arne Skou: Time-Optimal Test Cases for Real-Time Systems. FORMATS 2003: 234-245
6	EE	Brian Nielsen, Arne Skou: Automated test generation from timed automata. STTT 5(1): 59-77 (2003)
2001
5	EE	Brian Nielsen, Arne Skou: Test Generation for Time Critical Systems: Tool and Case Study. ECRTS 2001: 155-162
4	EE	Brian Nielsen, Arne Skou: Automated Test Generation from Timed Automata. TACAS 2001: 343-357
1999
3	EE	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	EE	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]
8	Shuhao Li	[15] [17]
9	Marius Mikucionis	[9] [11] [12] [13] [16]
10	Paul Pettersson	[7] [8] [16]
11	Shangping Ren	[1]
12	Arne Skou	[4] [5] [6] [7] [8] [10] [13] [16]

Colors in the list of coauthors