Projekter pr. år
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/2017 → 31/07/2021
Projekter: Projekt › Andet
DiCyPS: Center for Data-Intensive Cyber-Physical Systems
Larsen, K. G., Skou, A., Pedersen, T. B., Jensen, C. S., Kjeldskov, J., Skov, M. B., Nielsen, B., Lahrmann, H., Bak-Jensen, B. & Guerrero, J. M.
01/01/2015 → 31/12/2020
Projekter: Projekt › Forskning
MANTIS: Cyber Physical System based Proactive Collaborative Maintenance
Skou, A., Larsen, K. G., Nielsen, B., Sørensen, J. D. & Nielsen, J. S.
01/05/2015 → 30/04/2018
Projekter: Projekt › Forskning
SENSATION: Self Energy-Supporting Autonomous Computation
Larsen, K. G., Hansen, R. R., Koch, P., Nielsen, B. & Skou, A.
01/10/2012 → 30/09/2015
Projekter: Projekt › Forskning
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 tidsskrift › Tidsskriftartikel › Forskning › peer 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 proceeding › Konferenceartikel i proceeding › Forskning › peer 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 proceeding › Konferenceartikel i proceeding › Forskning › peer 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 proceeding › Konferenceartikel i proceeding › Forskning › peer review
Åben adgang
Fil
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-68Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review
Model checking
Real time systems
Testing
Specifications
Gears
Priser
Aktiviteter 2005 2010
IEEE/IFIP Conference on Embedded and Ubiquitous Computing EUC 2010
Brian Nielsen (Arrangør)26 aug. 2010 → 13 dec. 2010
Aktivitet: Deltagelse i faglig begivenhed › Organisering af eller deltagelse i konference
PhD Evaluation Committee Michael Achenbach, DAIMI, 2010 (Ekstern organisation)
Brian Nielsen (Medlem)1 aug. 2010 → 7 okt. 2010
Aktivitet: Medlemskab › Medlemskab af bedømmelsesudvalg
1st International Conference on Runtime Verification : PC Member
Brian Nielsen (Arrangør)11 jan. 2010 → 4 nov. 2010
Aktivitet: Deltagelse i faglig begivenhed › Organisering af eller deltagelse i konference
22 IFIP Conference on International Conference on Testing Software and Systems
Brian Nielsen (Arrangør)11 jan. 2010 → 1 nov. 2010
Aktivitet: Deltagelse i faglig begivenhed › Organisering af eller deltagelse i konference
6th Workshop on Advances in Model Based Testing A-MOST 2010 : PC member
Brian Nielsen (Arrangør)1 dec. 2009 → 6 apr. 2010
Aktivitet: Deltagelse i faglig begivenhed › Organisering af eller deltagelse i konference