Brian Nielsen

Yingke Chen, Hua Mao, Manfred Jaeger, Thomas Dyhre Nielsen, Kim Guldstrand Larsen, Brian Nielsen: Learning Markov Models for Stationary System Behaviors. NASA Formal Methods 2012: 216-230

Hua Mao, Yingke Chen, Manfred Jaeger, Thomas D. Nielsen, Kim G. Larsen, Brian Nielsen: Learning Markov Decision Processes for Model Checking. QFM 2012: 49-63

Brian Nielsen, Carsten Weise (Eds.): Testing Software and Systems - 24th IFIP WG 6.1 International Conference, ICTSS 2012, Aalborg, Denmark, November 19-21, 2012. Proceedings. Lecture Notes in Computer Science 7641, Springer 2012, isbn 978-3-642-34690-3

Goran Frehse, Kim G. Larsen, Marius Mikucionis, Brian Nielsen: Monitoring Dynamical Signals While Testing Timed Aspects of a System. ICTSS 2011: 115-130

Hua Mao, Yingke Chen, Manfred Jaeger, Thomas D. Nielsen, Kim G. Larsen, Brian Nielsen: Learning Probabilistic Automata for Model Checking. QEST 2011: 111-120

Shuhao Li, Sandie Balaguer, Alexandre David, Kim G. Larsen, Brian Nielsen, Saulius Pusinskas: Scenario-based verification of real-time systems using Uppaal. Formal Methods in System Design 37(2-3): 200-264 (2010)

Kim Guldstrand Larsen, Shuhao Li, Brian Nielsen, Saulius Pusinskas: Scenario-based analysis and synthesis of real-time systems using uppaal. DATE 2010: 447-452

Alexandre David, Kim Guldstrand Larsen, Shuhao Li, Marius Mikucionis, Brian Nielsen: Testing Real-Time Systems under Uncertainty. FMCO 2010: 352-371

Marius Mikucionis, Kim Guldstrand Larsen, Jacob Illum Rasmussen, Brian Nielsen, Arne Skou, Steen Ulrik Palm, Jan Storbank Pedersen, Poul Hougaard: Schedulability Analysis Using Uppaal: Herschel-Planck Case Study. ISoLA (2) 2010: 175-190

Kim Guldstrand Larsen, Shuhao Li, Brian Nielsen, Saulius Pusinskas: Verifying Real-Time Systems against Scenario-Based Requirements. FM 2009: 676-691

Alexandre David, Kim Guldstrand Larsen, Shuhao Li, Brian Nielsen: Timed Testing under Partial Observability. ICST 2009: 61-70

Alexandre David, Kim Guldstrand Larsen, Shuhao Li, Brian Nielsen: Cooperative Testing of Timed Systems. Electr. Notes Theor. Comput. Sci. 220(1): 79-92 (2008)

Alexandre David, Brian Nielsen: Model-Driven Development of Embedded Real-Time Systems. ERCIM News 2008(75) (2008)

Brian Nielsen: Quasimodo. ERCIM News 2008(75) (2008)

Alexandre David, Kim Guldstrand Larsen, Shuhao Li, Brian Nielsen: A Game-Theoretic Approach to Real-Time System Testing. DATE 2008: 486-491

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

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

Jens Grabowski, Brian Nielsen (Eds.): Formal Approaches to Software Testing, 4th International Workshop, FATES 2004, Linz, Austria, September 21, 2004, Revised Selected Papers. Lecture Notes in Computer Science 3395, Springer 2005, isbn 3-540-25109-X

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

Kim Guldstrand Larsen, Marius Mikucionis, Brian Nielsen: Online Testing of Real-time Systems Using Uppaal. FATES 2004: 79-94

Jens Chr. Godskesen, Brian Nielsen, Arne Skou: Connectivity Testing Through Model-Checking. FORTE 2004: 167-184

Marius Mikucionis, Kim Guldstrand Larsen, Brian Nielsen: T-UPPAAL: Online Model-based Testing of Real-Time Systems. ASE 2004: 396-397

Brian Nielsen, Arne Skou: Automated test generation from timed automata. STTT 5(1): 59-77 (2003)

Anders Hessel, Kim Guldstrand Larsen, Brian Nielsen, Paul Pettersson, Arne Skou: Time-Optimal Real-Time Test Case Generation Using Uppaal. FATES 2003: 114-130

Anders Hessel, Kim Guldstrand Larsen, Brian Nielsen, Paul Pettersson, Arne Skou: Time-Optimal Test Cases for Real-Time Systems. FORMATS 2003: 234-245

Brian Nielsen, Arne Skou: Test Generation for Time Critical Systems: Tool and Case Study. ECRTS 2001: 155-162

Brian Nielsen, Arne Skou: Automated Test Generation from Timed Automata. TACAS 2001: 343-357

Brian Nielsen, Gul Agha: Towards Reusable Real-Time Objects. Ann. Software Eng. 7: 257-282 (1999)

Morten Vadskær Jensen, Brian Nielsen: Real-Time Layered Video Compression Using SIMD Computation. ACPC 1999: 377-387

Brian Nielsen, Shangping Ren, Gul Agha: Specification of Real-Time Interaction Constraints. ISORC 1998: 206-214