Brian Nielsen

Research output

Research output per year 1998 2003 2004 2008 2009 2010 2011 2012 2016 2018 2021 2024

• 38 Article in proceeding
• 10 Journal article
• 6 Book chapter
• 6 Conference article in Journal
• 20 More
  • 6 Working paper
  • 5 Book
  • 3 Anthology
  • 2 Preface/Introduction/postscript
  • 1 Report
  • 1 Paper without publisher/journal
  • 1 Poster
  • 1 PhD thesis

Research output per year

Research output per year

Search results

• 2015

  Resource-Parameterized Timing Analysis of Real-Time Systems

  Kim, J. H., Legay, A., Larsen, K. G., Mikučionis, M. & Nielsen, B., 2015, Hardware and Software: Verification and Testing: 11th International Haifa Verification Conference, HVC 2015, Haifa, Israel, November 17-19, 2015, Proceedings. Piterman, N. (ed.). Springer, p. 190-205 (Lecture Notes in Computer Science; No. 9434).

  Research output: Contribution to book/anthology/report/conference proceeding › Book chapter › Research › peer-review
  3 Citations (Scopus)
• 2008

  Testing Real-Time Systems Using UPPAAL

  Hessel, A., Larsen, K. G., Mikucionis, M., Nielsen, B., Pettersson, P. & Skou, A., 2008, Formal Methods and Testing: An Outcome of the FORTEST Network, Revised Selected Papers. Berlin Heidelberg: Springer, p. 77-117 (Lecture Notes in Computer Science; No. 4949).

  Research output: Contribution to book/anthology/report/conference proceeding › Book chapter › Research

  • Real Time Systems 100%
  • Input/Output 50%
  • Timed Automaton 50%
  • Conformance Testing 50%
  • Model Checking 50%
  181 Citations (Scopus)
• 2005

  Tools for Verification and Validation

  Larsen, K. G. & Nielsen, B., 2005, Embedded Systems Design: The ARTIST Roadmap for Research and Development. Bouyssounouse, B. & Sifakis, J. (eds.). Berlin / Heidelberg: IEEE Computer Society Press, p. 72 (Lecture Notes in Computer Science, Vol. 3436).

  Research output: Contribution to book/anthology/report/conference proceeding › Book chapter › Research
• 2004

  I takt med Tiden

  Behrmann, G., Nielsen, B. & Mikucionis, M., 2004, Rundt om CISS. Larsen, K., Vestergaard, L. & Bang, N. (eds.).

  Research output: Contribution to book/anthology/report/conference proceeding › Book chapter › Research
• 2003

  ROAD MAP on Hard Real-Time Development Environments W1.A1.N1.Y1 Chapter 4.4.c: Testing Embedded Systems

  Larsen, K. G. & Nielsen, B., 2003, Year 1 deliverables of Project IST-2001-34820 ARTIST:Advanced Real-Time Systems. p. 79-83 (ARTIST IST-2001-34820).

  Research output: Contribution to book/anthology/report/conference proceeding › Book chapter › Research
• 2002

  Handoff Initiation in Mobile IPv6

  Andersen, T. W., Lindballe, A. & Nielsen, B., 2002, Wireless IP and building the mobile Internet. Dixit, Sudhir (ed.) : Prasad, Ramjee (ed.) (ed.). Boston: Artech House, (Artech House Universal Personal Communications Series).

  Research output: Contribution to book/anthology/report/conference proceeding › Book chapter › Research