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

    9220 Aalborg Ø

    Danmark

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

  • 5 Lignende profiler
Real time systems Teknik og materialevidenskab
Model checking Teknik og materialevidenskab
Testing Teknik og materialevidenskab
Chart Matematik
Timed Automata Matematik
Real-time Matematik
Embedded systems Teknik og materialevidenskab
Observability Teknik og materialevidenskab

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

Projekter 1996 2021

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.

Det Frie Forskningsråd | Teknologi og Produktion

01/08/201731/07/2021

Projekter: ProjektAndet

Systematic Testing of Realtime Embedded Systems

Nielsen, B.

19/05/2010 → …

Projekter: ProjektForskning

Optimal systems
Computer systems programming
Energy harvesting
Embedded systems
Energy utilization

Publikationer 1998 2019

Schedulability Analysis of Distributed Multi-core Avionics Systems with UPPAAL

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

Publikation: Bidrag til tidsskriftTidsskriftartikelForskningpeer review

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

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

3 Citationer (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, s. 212-229 (Lecture Notes in Computer Science, Bind 11247).

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer 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. (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
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, s. 59-68

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

Model checking
Real time systems
Testing
Specifications
Gears

Priser

Ansøgning Koordinator Puljen (Quasimodo)

Brian Nielsen (Modtager), 1 aug. 2007

Pris: Øvrige priser

Ansøgning START midler (Quasimodo)

Brian Nielsen (Modtager), 1 feb. 2007

Pris: Øvrige priser

Aktiviteter 2005 2010

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

6th Workshop on Advances in Model Based Testing A-MOST 2010 : PC member

Brian Nielsen (Arrangør)
1 dec. 20096 apr. 2010

Aktivitet: Deltagelse i faglig begivenhedOrganisering af eller deltagelse i konference

Presse/medie

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