Brian Nielsen

  • Selma Lagerløfs Vej 300, 2-2-36

    9220 Aalborg Ø

    Denmark

  • Selma Lagerløfs Vej 300, 2-2-36

    9220 Aalborg Ø

    Denmark

19962019

Research output per year

If you made any changes in Pure these will be visible here soon.

Personal profile

Keywords

  • Computer Science

Fingerprint The fingerprint consists of automatically generated concepts related to the associated persons. It is updated automatically, when new content is added.

  • 13 Similar Profiles

Network Dive into details by clicking on the dots.

Projects

Research Output

Reengineering the lifecycle of Arrowhead applications: from skeletons to the client library

Pedersen, T., Albano, M. & Nielsen, B., 17 Oct 2019, Proceedings of the 45th Annual Conference of the IEEE Industrial Electronics Society. IEEE, p. 5519-5524 (Proceedings of the Annual Conference of the IEEE Industrial Electronics Society).

Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearchpeer-review

  • Schedulability Analysis of Distributed Multi-core Avionics Systems with UPPAAL

    Han, P., Zhai, Z., Nielsen, B., Nyman, U. & Kristjansen, M., 1 Nov 2019, In : Journal of Aerospace Information Systems. 16, 11

    Research output: Contribution to journalJournal articleResearchpeer-review

    Open Access
    File
  • 51 Downloads (Pure)

    20 Years of Real Real Time Model Validation

    Larsen, K. G., Lorber, F. & Nielsen, B., 2018, Formal Methods: 22nd International Symposium, FM 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 15-17, 2018, Proceedings. Springer, Vol. 10951. p. 22--36 (Lecture Notes in Computer Science, Vol. 10951).

    Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearchpeer-review

    20 Years of UPPAAL Enabled Industrial Model-Based Validation and Beyond

    Larsen, K. G., Lorber, F. & Nielsen, B., 9 Nov 2018, Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice: 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part IV. Springer, p. 212-229 (Lecture Notes in Computer Science, Vol. 11247).

    Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearchpeer-review

  • 5 Citations (Scopus)

    A Compositional Approach for Schedulability Analysis of Distributed Avionics Systems

    Han, P., Zhai, Z., Nielsen, B. & Nyman, U. M., 26 Jun 2018, Proceedings of the 1st International Workshop on Methods and Tools for Rigorous System Design. Bliudze, S. & Bensalem, S. (eds.). p. 39-51 13 p. (Electronic Proceedings in Theoretical Computer Science, Vol. 272).

    Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearchpeer-review

    Open Access
    File
    2 Citations (Scopus)
    98 Downloads (Pure)

    Prizes

    Ansøgning Koordinator Puljen (Quasimodo)

    Nielsen, Brian (Recipient), 1 Aug 2007

    Prize: Other prizes

    Ansøgning START midler (Quasimodo)

    Nielsen, Brian (Recipient), 1 Feb 2007

    Prize: Other prizes

    Activities

    • 21 Conference organisation or participation
    • 12 Membership of review committee
    • 8 Talks and presentations in private or public companies
    • 7 External teaching and course activities at other universities

    IEEE/IFIP Conference on Embedded and Ubiquitous Computing EUC 2010

    Brian Nielsen (Organizer)

    26 Aug 201013 Dec 2010

    Activity: Attending an eventConference organisation or participation

    PhD Evaluation Committee Michael Achenbach, DAIMI, 2010 (External organisation)

    Brian Nielsen (Member)

    1 Aug 20107 Oct 2010

    Activity: MembershipsMembership of review committee

    1st International Conference on Runtime Verification : PC Member

    Brian Nielsen (Organizer)

    11 Jan 20104 Nov 2010

    Activity: Attending an eventConference organisation or participation

    22 IFIP Conference on International Conference on Testing Software and Systems

    Brian Nielsen (Organizer)

    11 Jan 20101 Nov 2010

    Activity: Attending an eventConference organisation or participation

    5th International Workshop on Automation of Software Test : PC Member

    Brian Nielsen (Organizer)

    1 Dec 20094 May 2010

    Activity: Attending an eventConference organisation or participation

    Press / Media

    Efter 'dieselgate': Mere snyd med software i sigte

    Brian Nielsen

    10/10/2015

    1 item of Media coverage

    Press/Media: Press / Media

    Opfører dit system sig som forventet?

    Brian Nielsen

    20/04/2009

    1 Media contribution

    Press/Media: Press / Media

    Opfører dit system sig som forventet?

    Brian Nielsen

    20/04/2009

    1 item of Media coverage

    Press/Media: Press / Media