Photo of Brian Nielsen
  • 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.

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

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

2 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

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

Compositional testing of real-time systems

Larsen, K. G., Legay, A., Mikučionis, M., Nielsen, B. & Nyman, U., 1 Jan 2017, ModelEd, TestEd, TrustEd - Essays Dedicated to Ed Brinksma on the Occasion of His 60th Birthday. Springer, Vol. 10500 LNCS. p. 107-124 18 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 10500 LNCS).

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

Real time systems
Testing

Prizes

Ansøgning Koordinator Puljen (Quasimodo)

Brian Nielsen (Recipient), 1 Aug 2007

Prize: Prizes, scholarships, distinctions

Ansøgning START midler (Quasimodo)

Brian Nielsen (Recipient), 1 Feb 2007

Prize: Prizes, scholarships, distinctions

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

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

3rd International Conference on Software Test and Validation (ICST'10)

Brian Nielsen (Organizer)
26 Aug 200910 Apr 2010

Activity: Attending an eventConference organisation or participation

3rd Workshop on Advances in Model Based Testing (A-MOST 2007) : Program Kommitte Medlem

Brian Nielsen (Organizer)
9 Jul 200712 Jul 2007

Activity: Attending an eventConference organisation or participation

4th Workshop on Advances in Model Based Testing, AMOST'08 : Program Kommitte Medlem

Brian Nielsen (Organizer)
1 Sep 200711 Apr 2008

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