Brian Nielsen

  1. 2016
  2. Published

    Distributed Algorithms for Time Optimal Reachability Analysis. / Zhang, Zhengkui; Nielsen, Brian; Larsen, Kim Guldstrand.

    Formal Modeling and Analysis of Timed Systems. Springer, 2016. p. 157-176.

    Research output: Research - peer-reviewArticle in proceeding

  3. Published

    Learning deterministic probabilistic automata from a model checking perspective. / Mao, Hua; Chen, Yingke; Jaeger, Manfred; Nielsen, Thomas D.; Larsen, Kim G.; Nielsen, Brian.

    In: Machine Learning, Vol. 105, No. 2, 2016, p. 255-299.

    Research output: Research - peer-reviewJournal article

  4. Published

    Time Optimal Reachability Analysis Using Swarm Verification. / Zhang, Zhengkui; Nielsen, Brian; Larsen, Kim Guldstrand.

    Proceedings of the 31st Annual ACM Symposium on Applied Computing. Vol. SAC '16 New York, NY, USA : Association for Computing Machinery, 2016. p. 1634-1640.

    Research output: Research - peer-reviewArticle in proceeding

  5. Published

    WUppaal: : A web-service for the Uppaal model-checker. / Fogh, Peter; Cano Hald, Thomas; Nielsen, Brian.

    2016 2nd International Workshop on Modelling, Analysis, and Control of Complex CPS (CPS Data). IEEE, 2016. p. 1-6.

    Research output: Research - peer-reviewArticle in proceeding

  6. 2015
  7. Published

    Formal Analysis and Testing of Real-Time Automotive Systems Using UPPAAL Tools. / Kim, Jin Hyun; Larsen, Kim Guldstrand; Nielsen, Brian; Mikučionis, Marius; Olsen, Petur.

    Formal Methods for Industrial Critical Systems: 20th International Workshop, FMICS 2015 Oslo, Norway, June 22-23, 2015 Proceedings. ed. / Manuel Núñez; Matthias Güdemann. Springer, 2015. p. 47-61.

    Research output: Research - peer-reviewArticle in proceeding

  8. Published

    Resource-Parameterized Timing Analysis of Real-Time Systems. / Kim, Jin Hyun ; Legay, Axel; Larsen, Kim Guldstrand; Mikučionis, Marius; Nielsen, Brian.

    Hardware and Software: Verification and Testing: 11th International Haifa Verification Conference, HVC 2015, Haifa, Israel, November 17-19, 2015, Proceedings. ed. / Nir Piterman. Springer, 2015. p. 190-205.

    Research output: Research - peer-reviewBook chapter

  9. 2014
  10. Published

    Expressing best practices in (risk) analysis and testing of safety-critical systems using patterns. / Herzner, Wolfgang; Sieverding, Sven; Kacimi, Omar; Böde, Eckard; Bauer, Thomas; Nielsen, Brian.

    Proceedings of the 25th IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW). IEEE, 2014. p. 299-304.

    Research output: Research - peer-reviewArticle in proceeding

  11. Published

    Towards a Method for Combined Model-based Testing and Analysis. / Nielsen, Brian.

    2014. Paper presented at Proceedings of the 2nd International Conference on Model-Driven Engineering and Software Development, Lissabon, Portugal.

    Research output: Research - peer-reviewPaper without publisher/journal

  12. 2012
  13. Published
  14. Published

    Learning Markov models for stationary system behaviors. / Chen, Yingke; Mao, Hua; Jaeger, Manfred; Nielsen, Thomas Dyhre; Larsen, Kim Guldstrand; Nielsen, Brian.

    NASA Formal Methods: 4th International Symposium, NFM 2012, Norfolk, VA, USA, April 3-5, 2012. Proceedings. ed. / Alwyn E. Goodloe; Suzette Person. Springer, 2012. p. 216-230.

    Research output: Research - peer-reviewArticle in proceeding

  15. Published

    Proceedings of the ICTSS 2012 Ph.D. Workshop. / Weise, Carsten (Editor); Nielsen, Brian (Editor).

    Aalborg, 2012.

    Research output: Research - peer-reviewAnthology

  16. Published

    Proceedings of the ICTSS 2012 PhD Workshop - Preface. / Nielsen, Brian; Weise, Carsten.

    Proceedings of the ICTSS 2012 PhD Workshop - Preface. Vol. 12-201 Aalborg. ed. Department of Computer Science, Aalborg University, 2012. p. 1.

    Research output: ResearchPreface/Introduction/postscript

  17. Published

    Testing real-time systems under uncertainty. / David, Alexandre; Larsen, Kim Guldstrand; Li, Shuhao; Mikucionis, Marius; Nielsen, Brian.

    Formal Methods for Components and Objects: 9th International Symposium, FMCO 2010, Graz, Austria, November 29 - December 1, 2010. Revised Papers. Vol. 6957 Berlin : Springer, 2012. p. 352-371.

    Research output: Research - peer-reviewArticle in proceeding

  18. Published

    Testing Software and Systems : 24th IFIP WG 6.1 International Conference, ICTSS 2012, Aalborg, Denmark, November 19-21, 2012, Proceedings. / Nielsen, Brian (Editor); Weise, Carsten (Editor).

    Springer Publishing Company, 2012.

    Research output: Research - peer-reviewAnthology

  19. Published

    Testing Software and Systems - Preface : 24th IFIP WG 6.1 International Conference, ICTSS 2012, Aalborg, Denmark, November 19-21, 2012, Proceedings. / Nielsen, Brian; Weise, Carsten.

    Testing Software and Systems: 24th IFIP WG 6.1 International Conference, ICTSS 2012, Aalborg, Denmark, November 19-21, 2012. Proceedings. ed. / Brian Nielsen; Carsten Weise. Springer Publishing Company, 2012. p. V-VI.

    Research output: ResearchPreface/Introduction/postscript

  20. 2011
  21. Published

    Learning Probabilistic Automata for Model Checking. / Mao, Hua; Chen, Yingke; Jaeger, Manfred; Nielsen, Thomas Dyhre; Larsen, Kim Guldstrand; Nielsen, Brian.

    8th International Conference on Quantitative Evaluation of Systems (QEST). IEEE, 2011. p. 111-120.

    Research output: Research - peer-reviewArticle in proceeding

  22. Published

    Monitoring Dynamical Signals While Testing Timed Aspects of a System. / Frehse, Goran; Larsen, Kim Guldstrand; Mikucionis, Marius; Nielsen, B.

    In: Lecture Notes in Computer Science, Vol. 7019 LNCS, 01.01.2011, p. 115-130.

    Research output: Research - peer-reviewConference article in Journal

  23. Published

    Quasimodo Final Report. / Nielsen, Brian; Larsen, Kim Guldstrand.

    2011.

    Research output: ResearchWorking paper

  24. Published

    Quasimodo Year 3 Management Report. / Nielsen, Brian; Larsen, Kim Guldstrand.

    2011.

    Research output: ResearchWorking paper

  25. 2010
  26. Published

    Quasimodo Year 2 Management Report. / Nielsen, Brian; Larsen, Kim Guldstrand.

    2010.

    Research output: ResearchWorking paper

  27. Published

    Scenario-based analysis and synthesis of real-time systems using Uppaal. / Larsen, Kim Guldstrand; Li, Shuhao; Nielsen, Brian; Pusinskas, Saulius.

    Proc. 13th Conference on Design, Automation, and Test in Europe (DATE'10), March 2010, Dresden, Germany.. European Design and Automation Association, EDAA, 2010.

    Research output: Research - peer-reviewArticle in proceeding

  28. Published

    Scenario-based verification of real-time systems using UPPAAL. / Li, Shuhao; Belaguer, Sandie ; David, Alexandre; Larsen, Kim Guldstrand; Nielsen, Brian; Pusinskas, Saulius.

    In: Formal Methods in System Design, Vol. 37, No. 2-3, 2010, p. 200-264.

    Research output: Research - peer-reviewJournal article

  29. Published

    Schedulability Analysis Using Uppaal: Herschel-Planck Case Study. / Mikucionis, Marius; Larsen, Kim Guldstrand; Nielsen, Brian; Rasmussen, Jacob Illum; Skou, Arne; Palm, Steen Ulrik; Pedersen, Jan Storbank ; Hougaard, Poul.

    In: Lecture Notes in Computer Science, Vol. 6416, No. 2010, 10.2010, p. 175-190.

    Research output: Research - peer-reviewJournal article

  30. 2009
  31. Published

    Quasimodo Year 1 Management Report. / Nielsen, Brian; Larsen, Kim Guldstrand.

    2009.

    Research output: ResearchWorking paper

  32. Published

    Test af Software : Test af indlejret og teknisk software. / Skou, Arne (Editor); Nielsen, Brian (Editor); Biegel, Jørgen (Editor).

    Aalborg : CISS, Aalborg Universitet, 2009. 85 p.

    Research output: CommunicationBook

  33. Published

    Timed Testing under Partial Observability. / David, Alexandre; Larsen, Kim Guldstrand; Li, Shuhao; Nielsen, Brian.

    Proceedings of 2009 International Conference on Software Testing Verification and Validation. IEEE Computer Society Press, 2009. p. 61-70.

    Research output: Research - peer-reviewArticle in proceeding

  34. Published

    Verifying real-time systems against scenario-based requirements. / Larsen, Kim Guldstrand; Li, Shuhao; Nielsen, Brian; Pusinskas, Saulius.

    In: Lecture Notes in Computer Science, Vol. 5850, 2009, p. 676-691.

    Research output: Research - peer-reviewConference article in Journal

  35. 2008
  36. Published
  37. Published
  38. Published

    Model-Driven Development of Embedded Real-Time Systems. / Nielsen, Brian; David, Alexandre.

    In: ERCIM News, No. 75, 2008, p. 19-20.

    Research output: CommunicationJournal article

  39. Published

    Quasimodo. / Nielsen, Brian.

    In: ERCIM News, No. 75, 2008, p. 20-21.

    Research output: CommunicationJournal article

  40. Published

    Testing Real-Time Systems Using UPPAAL. / Hessel, Anders; Larsen, Kim Guldstrand; Mikucionis, Marius; Nielsen, Brian; Pettersson, Paul; Skou, Arne.

    Formal Methods and Testing: An Outcome of the FORTEST Network, Revised Selected Papers. Berlin Heidelberg : Springer, 2008. p. 77-117.

    Research output: ResearchBook chapter

  41. 2007
  42. Published
  43. 2006
  44. Published

    Prosoft : procesforbedring under udvikling af indlejret og teknisk software. / Skou, Arne (Editor); Nielsen, Brian; Skou, Arne; Aaen, Ivan; Nielsen, Peter Axel; Knudsen, John; Biegel, Jørgen (Editor).

    Aalborg : CISS, Aalborg Universitet, 2006. 150 p.

    Research output: CommunicationReport

  45. 2005
  46. Published

    Online Testing of Real-time Systems Using Uppaal. / Larsen, Kim Guldstrand; Mikucionis, Marius; Nielsen, Brian.

    Formal Approaches to Testing of Software (FATES 2004) Proceedings. ed. / Jens Grabowski; Brian Nielsen. Springer, 2005. p. 79-94.

    Research output: Research - peer-reviewArticle in proceeding

  47. Published

    Testing Real-Time Embedded Software using UppAal-TRON : an industrial case study. / Mikucionis, Marius; Larsen, Kim Guldstrand; Nielsen, Brian; Skou, Arne.

    Fifth ACM International Conference on Embedded Software (EMSOFT). Association for Computing Machinery, 2005. p. 299-306.

    Research output: Research - peer-reviewArticle in proceeding

  48. Published

    Tools for Verification and Validation. / Larsen, Kim Guldstrand; Nielsen, Brian.

    Embedded Systems Design: The ARTIST Roadmap for Research and Development. ed. / Bruno Bouyssounouse; Joseph Sifakis. Berlin / Heidelberg : IEEE Computer Society Press, 2005. p. 72.

    Research output: ResearchBook chapter

  49. 2004
  50. Published

    Connectivity testing through model-checking. / Godskesen, J.C.; Nielsen, Brian; Skou, Arne.

    Formal Techniques for Networked and Distributed Systems - Forte 2004, Proceedings. Vol. 3235 2004. p. 167-184.

    Research output: Research - peer-reviewArticle in proceeding

  51. Published

    Danfoss EKC Trial Project Deliverables. / Nielsen, Brian; Larsen, Kim Guldstrand; Larsen, Ulrik; Skou, Arne; Andrzej, Wasowski.

    2004. p. 52.

    Research output: ResearchWorking paper

  52. Published

    I takt med Tiden. / Behrmann, Gerd; Nielsen, Brian; Mikucionis, Marius.

    Rundt om CISS. ed. / Kim Larsen; Lars Vestergaard; Naia Bang. 2004.

    Research output: ResearchBook chapter

  53. Published

    Online Testing of Real-time Systems using Uppaal : Status and Future Work. / Larsen, Kim Guldstrand; Mikucionis, Marius; Nielsen, Brian.

    Dagstuhl Seminar Proceedings: Perspectives of Model-Based Testing. ed. / Brinksma; Grieskamp; Tretmans; Weyuker. Vol. 04371 IBFI gem. GmbH, Schloss Dagstuhl, 2004.

    Research output: ResearchArticle in proceeding

  54. Published

    On the Construction of Connectivity Test Cases in the Setting of UppAal. / Nielsen, Brian; Jens. Chr., Godskesen; Skou, Arne.

    Formal Techniques for Networked and Distributed Systems - FORTE 2004. Vol. 3235 Springer, 2004.

    Research output: ResearchArticle in proceeding

  55. Published

    Proceedings of 4th International Workshop on Formal Approaches to Software Testing. / Grabowski, Jens (Editor); Nielsen, Brian (Editor).

    1 ed. Germany : Springer, 2004. 227 p.

    Research output: ResearchAnthology

  56. Published

    Time-Optimal Real-Time Test Case Generation using UPPAAL. / Hessel, Anders; Larsen, Kim Guldstrand; Nielsen, Brian; Pettersson, Paul; Skou, Arne.

    Formal approaches to software testing : Third International Workshop on Formal Approaches to Testing of Software, FATES 2003, Montreal, Quebec, Canada, October 6th, 2003: Lecture Notes in Computer Science. ed. / Petrenko, Alexandre : Ulrich, Andreas (eds.). 2931. ed. IEEE Computer Society Press, 2004. p. 118-135.

    Research output: ResearchArticle in proceeding

  57. Published

    T-UPPAAL: Online Model-based Testing of Real-Time Systems. / Mikucionis, Marius; Larsen, Kim Guldstrand; Nielsen, Brian.

    19th IEEE International Conference on Automated Software Engineering (ASE 2004) Proceedings. ed. / Paul Grunbacher. IEEE Computer Society Press, 2004. p. 396-397.

    Research output: ResearchArticle in proceeding

  58. 2003
  59. Published

    Danfoss {EKC} Trial Project Deliverables. / Larsen, Kim Guldstrand; Larsen, Ulrik; Nielsen, Brian; Skou, Arne; Wasowski, Andrzej.

    December ed. Århus University : BRICS, 2003. 53 p.

    Research output: ResearchBook

  60. Published

    Online On-the-Fly Testing of Real-time Systems. / Mikucionis, Marius; Larsen, Kim Guldstrand; Nielsen, Brian.

    September ed. Århus University : BRICS, 2003. 14 p.

    Research output: ResearchBook

  61. Published

    Real-time system testing on-the-fly. / Larsen, Kim Guldstrand; Mikucionis, Marius; Nielsen, Brian.

    The 15th Nordic Workshop on Programming Theory (NWPT’03). ed. / Kaisa Sere and Marina Walden and Anna Karlsson. Åbo Akademi University, 2003.

    Research output: ResearchArticle in proceeding

  62. Published

    ROAD MAP on Hard Real-Time Development Environments W1.A1.N1.Y1 Chapter 4.4.c: Testing Embedded Systems. / Larsen, Kim Guldstrand; Nielsen, Brian.

    Year 1 deliverables of Project IST-2001-34820 ARTIST:Advanced Real-Time Systems. 2003. p. 79-83.

    Research output: ResearchBook chapter

  63. Published

    Time-Optimal Test Cases for Real-Time Systems. / Hessel, Anders; Larsen, Kim Guldstrand; Nielsen, Brian; Pettersson, Paul; Skou, Arne.

    Proceedings of the 1st International Workshop on Formal Modeling and Analysis of Timed Systems (FORMATS'03). Vol. 2791 2003. p. 234-245.

    Research output: ResearchArticle in proceeding

  64. 2002
  65. Published
  66. Published

    Handoff Initiation in Mobile IPv6. / Andersen, T. W.; Lindballe, A.; Nielsen, Brian.

    Wireless IP and building the mobile Internet. ed. / Dixit, Sudhir (ed.) : Prasad, Ramjee (ed.). Boston : Artech House, 2002.

    Research output: ResearchBook chapter

  67. 2001
  68. Published

    Automated Test Generation Timed Automata. / Nielsen, Brian; Skou, Arne.

    Tools and Algorithms for the Construction and Analysis of Systems : 7th International Conference, TACAS 2001, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001, Genova, Italy, April 2 - 6, 2001 : Proceedings: Lecture Notes in Computer Science. ed. / Margaria, T. : Yi, W. (eds.). 2031. ed. IEEE Computer Society Press, 2001. p. 343-357.

    Research output: ResearchArticle in proceeding

  69. Published

    Handoff Initiation in Mobile IPv6. / Andersen, T. W.; Lildballe, A.; Nielsen, Brian.

    WPMC' 01 : Conference Proceedings : The Fourth International Symposium on Wireless Personal Multimedia Communications : September 9-12, 2001 Aalborg, Denmark. Center For PersonKommunikation, Aalborg Universitet, 2001.

    Research output: ResearchArticle in proceeding

  70. Published

    Test Generation for Time Critical Systems : Tool and Case Study. / Nielsen, Brian; Skou, Arne.

    13th Euromicro Conference on Real-Time Systems, Delft, The Netherlands, June 2001. 2001. p. 155-162.

    Research output: ResearchArticle in proceeding

  71. 2000
  72. Published

    Automated Test Generation Timed Automata : Tool and Case Study. / Nielsen, Brian; Skou, Arne.

    21st IEEE Real-Time Systems Symposium 2000, Work in Progress-Session, Walt Disney World, Orlando, Florida, USA, November 2000. 2000.

    Research output: ResearchArticle in proceeding

  73. Published

    Specification and Test of Real-Time Systems. / Nielsen, Brian.

    Aalborg : Aalborg Universitetsforlag, 2000.

    Research output: ResearchPh.D. thesis

  74. 1999
  75. Published

    Real-Time Layered Video Compression using SIMD Computation. / Jensen, M. V.; Nielsen, Brian.

    Parallel Computation : 4th International ACPC Conference Including Special Tracks on Parallel Numerics (ParNum '99) and Parallel Computing in Image Processing, Video Processing, and Multimedia : Salzburg, Austria, February 16-18,1999 : Proceedings: Lecture Notes in Computer Science. ed. / Zinterhof, P. : Vajtersic, M. : Uhl,A. (eds.). 1557. ed. IEEE Computer Society Press, 1999. p. 377-387.

    Research output: ResearchArticle in proceeding

  76. Published

    Towards Re-Usable Real-Time Objects. / Nielsen, Brian; Agha, G.

    In: Annals of Software Engineering, Vol. 7, 1999, p. 257-282.

    Research output: Research - peer-reviewJournal article

  77. 1998
  78. Published

    Design and Implementation of an Efficient, Layered Video Codec for Heterogeneous Networks. / Jensen, Morten Vadskær; Nielsen, Brian.

    Aalborg : Aalborg Universitetsforlag, 1998.

    Research output: ResearchBook

  79. Published

    The Design and Implementation of ZCRP Zero Copying Reliable Protocol. / Christiansen, Mikkel; Hagen, J. L.; Nielsen, Brian; Skou, Arne; Skov, K. Q.

    Aalborg : Aalborg University : Department of Computer Science, Aalborg University, 1998.

    Research output: ResearchBook