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

    9220 Aalborg Ø

    Danmark

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

    9220 Aalborg Ø

    Danmark

19962019

Publikationer pr. år

Hvis du har foretaget ændringer i Pure, vil de snart blive vist her.

Personlig profil

Emneord

  • Datalogi

Fingerprint Fingerprint er automatisk genererede koncepter, som stammer fra personprofilernes indhold. Det opdateres løbende med nye registreringer.

  • 13 Lignende profiler

Netværk Klik på punkterne for at se detaljerne.

Projekter

  • Compositional Verification of Real-time MULTI-CORE SAFETY Critical Systems

    Nyman, U., Nielsen, B., Thi Xuan Phan, L., Lee, I., Legay, A. B. E., Boudjadar, J. & Kim, J. H.

    Danmarks Frie Forskningsfond | Teknologi og Produktion

    01/08/201731/07/2021

    Projekter: ProjektAndet

  • Systematic Testing of Realtime Embedded Systems

    Nielsen, B.

    19/05/2010 → …

    Projekter: ProjektForskning

    Publikationer

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

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

    Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

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

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

    Publikation: Bidrag til tidsskriftTidsskriftartikelForskningpeer review

    Åben adgang
    Fil
  • 36 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, Bind 10951. s. 22--36 (Lecture Notes in Computer Science, Bind 10951).

    Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer 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, s. 212-229 (Lecture Notes in Computer Science, Bind 11247).

    Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

  • 5 Citationer (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. (red.). s. 39-51 13 s. (Electronic Proceedings in Theoretical Computer Science, Bind 272).

    Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

    Åben adgang
    Fil
    2 Citationer (Scopus)
    79 Downloads (Pure)

    Priser

    Ansøgning Koordinator Puljen (Quasimodo)

    Nielsen, Brian (Modtager), 1 aug. 2007

    Pris: Øvrige priser

    Ansøgning START midler (Quasimodo)

    Nielsen, Brian (Modtager), 1 feb. 2007

    Pris: Øvrige priser

    Aktiviteter

    IEEE/IFIP Conference on Embedded and Ubiquitous Computing EUC 2010

    Brian Nielsen (Arrangør)

    26 aug. 201013 dec. 2010

    Aktivitet: Deltagelse i faglig begivenhedOrganisering af eller deltagelse i konference

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

    Brian Nielsen (Medlem)

    1 aug. 20107 okt. 2010

    Aktivitet: MedlemskabMedlemskab af bedømmelsesudvalg

    1st International Conference on Runtime Verification : PC Member

    Brian Nielsen (Arrangør)

    11 jan. 20104 nov. 2010

    Aktivitet: Deltagelse i faglig begivenhedOrganisering af eller deltagelse i konference

    22 IFIP Conference on International Conference on Testing Software and Systems

    Brian Nielsen (Arrangør)

    11 jan. 20101 nov. 2010

    Aktivitet: Deltagelse i faglig begivenhedOrganisering af eller deltagelse i konference

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

    Brian Nielsen (Arrangør)

    1 dec. 20094 maj 2010

    Aktivitet: Deltagelse i faglig begivenhedOrganisering af eller deltagelse i konference

    Presse/medier

    Efter 'dieselgate': Mere snyd med software i sigte

    Brian Nielsen

    10/10/2015

    1 element af Mediedækning

    Presse/medie

    Opfører dit system sig som forventet?

    Brian Nielsen

    20/04/2009

    1 Mediebidrag

    Presse/medie

    Opfører dit system sig som forventet?

    Brian Nielsen

    20/04/2009

    1 element af Mediedækning

    Presse/medie