Travelled to:1 × Canada
1 × France
1 × Italy
1 × The Netherlands
1 × USA
2 × Austria
2 × Germany
Collaborated with:K.G.Larsen S.Li M.Mikucionis A.David A.Skou S.Pusinskas G.Frehse K.G.Larsen A.Hessel P.Pettersson
Talks about:time (11) test (8) system (7) real (6) uppaal (4) base (3) use (3) scenario (2) generat (2) onlin (2)
Person: Brian Nielsen
DBLP: Nielsen:Brian
Facilitated 2 volumes:
Ed
EdContributed to:
2011
2010
2009
20092008
2008
200420042003
2001Wrote 10 papers:
- ICTSS-2011-FrehseLMN #aspect-oriented #monitoring #testing
- Monitoring Dynamical Signals While Testing Timed Aspects of a System (GF, KGL, MM, BN), pp. 115–130.
- DATE-2010-LarsenLNP #analysis #realtime #synthesis #using
- Scenario-based analysis and synthesis of real-time systems using uppaal (KGL, SL, BN, SP), pp. 447–452.
- FM-2009-LarsenLNP #realtime #requirements #verification
- Verifying Real-Time Systems against Scenario-Based Requirements (KGL, SL, BN, SP), pp. 676–691.
- ICST-2009-DavidLLN #testing
- Timed Testing under Partial Observability (AD, KGL, SL, BN), pp. 61–70.
- DATE-2008-DavidLLN #approach #game studies #realtime #testing
- A Game-Theoretic Approach to Real-Time System Testing (AD, KGL, SL, BN), pp. 486–491.
- MBT-2008-DavidLLN #testing
- Cooperative Testing of Timed Systems (AD, KGL, SL, BN), pp. 79–92.
- ASE-2004-MikucionisLN #modelling #named #online #realtime #testing
- T-UPPAAL: Online Model-based Testing of Real-Time Systems (MM, KGL, BN), pp. 396–397.
- FATES-2004-LarsenMN #online #realtime #testing #using
- Online Testing of Real-time Systems Using Uppaal (KGL, MM, BN), pp. 79–94.
- FATES-2003-HesselLNPS #generative #realtime #testing #using
- Time-Optimal Real-Time Test Case Generation Using Uppaal (AH, KGL, BN, PP, AS), pp. 114–130.
- TACAS-2001-NielsenS #automation #automaton #generative #testing
- Automated Test Generation from Timed Automata (BN, AS), pp. 343–357.