Foto af Brian Nielsen
  • 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

Keywords

  • Datalogi

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

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

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

2 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

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

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, Bind 10500 LNCS. s. 107-124 18 s. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Bind 10500 LNCS).

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

Real time systems
Testing

Priser

Ansøgning Koordinator Puljen (Quasimodo)

Brian Nielsen (Modtager), 1 aug. 2007

Pris: Priser, stipendier, udnævnelser

Ansøgning START midler (Quasimodo)

Brian Nielsen (Modtager), 1 feb. 2007

Pris: Priser, stipendier, udnævnelser

Aktiviteter 2005 2010

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

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

Brian Nielsen (Arrangør)
26 aug. 200910 apr. 2010

Aktivitet: Deltagelse i faglig begivenhedOrganisering af eller deltagelse i konference

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

Brian Nielsen (Arrangør)
9 jul. 200712 jul. 2007

Aktivitet: Deltagelse i faglig begivenhedOrganisering af eller deltagelse i konference

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

Brian Nielsen (Arrangør)
1 sep. 200711 apr. 2008

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