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.
- 1 Lignende profiler
Samarbejde i de sidste fem år
Klik på punkterne for at se detaljerne.
Projekter
- 23 Afsluttet
-
domOS: Operating System for Smart Services in Buildings
Skou, A. (CoI (co-investigator)), Nielsen, B. (CoI (co-investigator)), Pedersen, T. B. (CoI (co-investigator)) & Thomsen, C. (PI (principal investigator))
01/09/2020 → 31/08/2023
Projekter: Projekt › Forskning
-
FED: Flexible Energy Denmark
Larsen, K. G. (CoI (co-investigator)), Pedersen, T. B. (CoI (co-investigator)), Skou, A. (CoI (co-investigator)), Nielsen, B. (CoI (co-investigator)) & Thomsen, C. (CoI (co-investigator))
01/04/2019 → 31/03/2023
Projekter: Projekt › Forskning
-
Compositional Verification of Real-time MULTI-CORE SAFETY Critical Systems
Nyman, U. (PI (principal investigator)), Nielsen, B. (Andet), Thi Xuan Phan, L. (Projektdeltager), Lee, I. (Projektdeltager), Legay, A. B. E. (Projektdeltager), Boudjadar, J. (Kontaktperson) & Kim, J. H. (Kontaktperson)
Danmarks Frie Forskningsfond | Teknologi og Produktion
01/08/2017 → 31/07/2021
Projekter: Projekt › Andet
-
Productive4.0: Productive4.0
Skou, A. (CoI (co-investigator)), Nielsen, B. (CoI (co-investigator)) & Albano, M. (CoI (co-investigator))
01/05/2017 → 30/09/2020
Projekter: Projekt › Forskning
-
MANTIS: Cyber Physical System based Proactive Collaborative Maintenance
Skou, A. (CoI (co-investigator)), Larsen, K. G. (CoI (co-investigator)), Nielsen, B. (CoI (co-investigator)), Sørensen, J. D. (CoI (co-investigator)) & Nielsen, J. S. (CoI (co-investigator))
01/05/2015 → 30/04/2018
Projekter: Projekt › Forskning
Publikationer
-
Comparative Analysis of Uppaal SMC, ns-3 and MATLAB/Simulink
Naeem, M., Albano, M., Larsen, K. G. & Nielsen, B., 2024, Engineering of Computer-Based Systems: 8th International Conference, ECBS 2023, Västerås, Sweden, October 16–18, 2023, Proceedings. Kofroň, J., Margaria, T. & Seceleanu, C. (red.). Springer, s. 153-169 17 s. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Bind 14390 LNCS).Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review
Åben adgangFil2 Citationer (Scopus)32 Downloads (Pure) -
Energy-Efficient Motion Planning for Autonomous Vehicles Using Uppaal Stratego
Naeem, M., Gu, R., Seceleanu, C., Guldstrand Larsen, K., Nielsen, B. & Albano, M., 2024, Theoretical Aspects of Software Engineering: 18th International Symposium, TASE 2024, Guiyang, China, July 29 – August 1, 2024, Proceedings. Chin, W.-N. & Xu, Z. (red.). Cham: Springer, s. 356-373 18 s. (Lecture Notes in Computer Science, Bind 14777).Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review
Åben adgangFil3 Citationer (Scopus)17 Downloads (Pure) -
Modelling and Analysis of a Sigfox based IoT Network using UPPAAL SMC
Naeem, M., Albano, M., Larsen, K. G., Nielsen, B., Høedholt, A. & Laursen, C. Ø., 15 maj 2023, I: IEEE Sensors Journal. 23, 10, s. 10577-10587 11 s.Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › peer review
Åben adgangFil11 Citationer (Scopus)67 Downloads (Pure) -
A Sigfox Module for the Network Simulator 3
Naeem, M., Albano, M., Magrin, D., Nielsen, B. & Larsen, K. G., 22 jun. 2022, Proceedings of the 2022 Workshop on ns-3. Association for Computing Machinery (ACM), s. 81-88 8 s. (ACM International Conference Proceeding Series).Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review
4 Citationer (Scopus) -
Web of Things Semantic Interoperability in Smart Buildings
Laadhar, A., Dongo, J., Enevoldsen, S., Revaz, F., Gabioud, D., Pedersen, T. B., Meyer, M., Nielsen, B. & Thomsen, C., 2022, I: Procedia Computer Science. 207, s. 997-1006 10 s.Publikation: Bidrag til tidsskrift › Konferenceartikel i tidsskrift › Forskning › peer review
Åben adgangFil2 Citationer (Scopus)112 Downloads (Pure)
Priser
Aktiviteter
-
IEEE/IFIP Conference on Embedded and Ubiquitous Computing EUC 2010
Nielsen, B. (Arrangør)
26 aug. 2010 → 13 dec. 2010Aktivitet: Deltagelse i faglig begivenhed › Organisering af eller deltagelse i konference
-
PhD Evaluation Committee Michael Achenbach, DAIMI, 2010 (Ekstern organisation)
Nielsen, B. (Medlem)
1 aug. 2010 → 7 okt. 2010Aktivitet: Medlemskab › Medlemskab af bedømmelsesudvalg
-
1st International Conference on Runtime Verification : PC Member
Nielsen, B. (Arrangør)
11 jan. 2010 → 4 nov. 2010Aktivitet: Deltagelse i faglig begivenhed › Organisering af eller deltagelse i konference
-
22 IFIP Conference on International Conference on Testing Software and Systems
Nielsen, B. (Arrangør)
11 jan. 2010 → 1 nov. 2010Aktivitet: Deltagelse i faglig begivenhed › Organisering af eller deltagelse i konference
-
6th Workshop on Advances in Model Based Testing A-MOST 2010 : PC member
Nielsen, B. (Arrangør)
1 dec. 2009 → 6 apr. 2010Aktivitet: Deltagelse i faglig begivenhed › Organisering af eller deltagelse i konference
Presse/medier
-
The domOS ecosystem decouples field infrastructure allowing for better energy management of subsystems
30/03/2023
1 element af Mediedækning
Presse/medie
-
Nyt projekt skal udvikle energismart boligteknologi
Pedersen, T. B., Thomsen, C., Skou, A. & Nielsen, B.
07/12/2020 → 14/12/2020
3 elementer af Mediedækning
Presse/medie
-
-
-