Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.
You can find the classic dblp view of this page here.
Brian Nielsen
2010 – today
- 2012
[c22]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- [c21]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
- [e2]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
- 2011
- [c20]Goran Frehse, Kim G. Larsen, Marius Mikucionis, Brian Nielsen: Monitoring Dynamical Signals While Testing Timed Aspects of a System. ICTSS 2011: 115-130
- [c19]Hua Mao, Yingke Chen, Manfred Jaeger, Thomas D. Nielsen, Kim G. Larsen, Brian Nielsen: Learning Probabilistic Automata for Model Checking. QEST 2011: 111-120
- 2010
- [j6]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)
- [c18]Kim Guldstrand Larsen, Shuhao Li, Brian Nielsen, Saulius Pusinskas: Scenario-based analysis and synthesis of real-time systems using uppaal. DATE 2010: 447-452
- [c17]Alexandre David, Kim Guldstrand Larsen, Shuhao Li, Marius Mikucionis, Brian Nielsen: Testing Real-Time Systems under Uncertainty. FMCO 2010: 352-371
- [c16]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
2000 – 2009
- 2009
- [c15]Kim Guldstrand Larsen, Shuhao Li, Brian Nielsen, Saulius Pusinskas: Verifying Real-Time Systems against Scenario-Based Requirements. FM 2009: 676-691
- [c14]Alexandre David, Kim Guldstrand Larsen, Shuhao Li, Brian Nielsen: Timed Testing under Partial Observability. ICST 2009: 61-70
- 2008
- [j5]Alexandre David, Kim Guldstrand Larsen, Shuhao Li, Brian Nielsen: Cooperative Testing of Timed Systems. Electr. Notes Theor. Comput. Sci. 220(1): 79-92 (2008)
- [j4]Alexandre David, Brian Nielsen: Model-Driven Development of Embedded Real-Time Systems. ERCIM News 2008(75) (2008)
- [j3]
- [c13]Alexandre David, Kim Guldstrand Larsen, Shuhao Li, Brian Nielsen: A Game-Theoretic Approach to Real-Time System Testing. DATE 2008: 486-491
- [c12]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
- 2005
- [c11]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
- [e1]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
- 2004
- [c10]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
- [c9]Kim Guldstrand Larsen, Marius Mikucionis, Brian Nielsen: Online Testing of Real-time Systems Using Uppaal. FATES 2004: 79-94
- [c8]Jens Chr. Godskesen, Brian Nielsen, Arne Skou: Connectivity Testing Through Model-Checking. FORTE 2004: 167-184
- [c7]Marius Mikucionis, Kim Guldstrand Larsen, Brian Nielsen: T-UPPAAL: Online Model-based Testing of Real-Time Systems. ASE 2004: 396-397
- 2003
- [j2]
- [c6]Anders Hessel, Kim Guldstrand Larsen, Brian Nielsen, Paul Pettersson, Arne Skou: Time-Optimal Real-Time Test Case Generation Using Uppaal. FATES 2003: 114-130
- [c5]Anders Hessel, Kim Guldstrand Larsen, Brian Nielsen, Paul Pettersson, Arne Skou: Time-Optimal Test Cases for Real-Time Systems. FORMATS 2003: 234-245
- 2001
- [c4]Brian Nielsen, Arne Skou: Test Generation for Time Critical Systems: Tool and Case Study. ECRTS 2001: 155-162
- [c3]
1990 – 1999
- 1999
- [j1]
- [c2]Morten Vadskær Jensen, Brian Nielsen: Real-Time Layered Video Compression Using SIMD Computation. ACPC 1999: 377-387
- 1998
- [c1]Brian Nielsen, Shangping Ren, Gul Agha: Specification of Real-Time Interaction Constraints. ISORC 1998: 206-214
Coauthor Index
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-01-05 19:51 CET by the dblp team