• Selma Lagerløfs Vej 300, 1-2-10

    9220 Aalborg Ø

    Denmark

19962021
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.

  • 5 Similar Profiles
Real time systems Engineering & Materials Science
Model checking Engineering & Materials Science
Testing Engineering & Materials Science
Chart Mathematics
Timed Automata Mathematics
Real-time Mathematics
Embedded systems Engineering & Materials Science
Observability Engineering & Materials Science

Network Dive into details by clicking on the dots.

Projects 1996 2021

Research Output 1998 2019

Schedulability Analysis of Distributed Multi-core Avionics Systems with UPPAAL

Han, P., Zhai, Z., Nielsen, B., Nyman, U. & Kristjansen, M., 2019, (Accepted/In press) In : AIAA Journal.

Research output: Contribution to journalJournal articleResearchpeer-review

Open Access
File
Avionics
Model checking
Stop watches
Ethernet
Concretes

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

3 Citations (Scopus)

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

Industry
20 Downloads (Pure)

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
1 Citation (Scopus)

Model-Based Mutation Testing of Real-Time Systems via Model Checking

Lorber, F., Larsen, K. G. & Nielsen, B., Apr 2018, 2018 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW). IEEE, p. 59-68

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

Model checking
Real time systems
Testing
Specifications
Gears

Prizes

Ansøgning Koordinator Puljen (Quasimodo)

Brian Nielsen (Recipient), 1 Aug 2007

Prize: Other prizes

Ansøgning START midler (Quasimodo)

Brian Nielsen (Recipient), 1 Feb 2007

Prize: Other prizes

Activities 2005 2010

  • 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 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