Projects per year
Personal profile
Keywords
- Computer Science
Fingerprint
The fingerprint consists of automatically generated concepts related to the associated persons. It is updated automatically, when new content is added.
- 1 Similar Profiles
Collaborations from the last five years
Dive into details by clicking on the dots.
Projects
- 23 Finished
-
domOS: Operating System for Smart Services in Buildings
Skou, A. (CoI), Nielsen, B. (CoI), Pedersen, T. B. (CoI) & Thomsen, C. (PI)
01/09/2020 → 31/08/2023
Project: Research
-
FED: Flexible Energy Denmark
Larsen, K. G. (CoI), Pedersen, T. B. (CoI), Skou, A. (CoI), Nielsen, B. (CoI) & Thomsen, C. (CoI)
01/04/2019 → 31/03/2023
Project: Research
-
Compositional Verification of Real-time MULTI-CORE SAFETY Critical Systems
Nyman, U. (PI), Nielsen, B. (Other), Thi Xuan Phan, L. (Project Participant), Lee, I. (Project Participant), Legay, A. B. E. (Project Participant), Boudjadar, J. (Contact) & Kim, J. H. (Contact)
Independent Research Fund Denmark | Technology and Production sciences
01/08/2017 → 31/07/2021
Project: Other
-
Productive4.0: Productive4.0
Skou, A. (CoI), Nielsen, B. (CoI) & Albano, M. (CoI)
01/05/2017 → 30/09/2020
Project: Research
-
MANTIS: Cyber Physical System based Proactive Collaborative Maintenance
Skou, A. (CoI), Larsen, K. G. (CoI), Nielsen, B. (CoI), Sørensen, J. D. (CoI) & Nielsen, J. S. (CoI)
01/05/2015 → 30/04/2018
Project: Research
Research output
-
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. (eds.). Springer, p. 153-169 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 14390 LNCS).Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review
Open AccessFile2 Citations (Scopus)17 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. (eds.). Cham: Springer, p. 356-373 18 p. (Lecture Notes in Computer Science, Vol. 14777).Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review
Open AccessFile2 Citations (Scopus) -
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 May 2023, In: IEEE Sensors Journal. 23, 10, p. 10577-10587 11 p.Research output: Contribution to journal › Journal article › Research › peer-review
Open AccessFile9 Citations (Scopus)25 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), p. 81-88 8 p. (ACM International Conference Proceeding Series).Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review
3 Citations (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, In: Procedia Computer Science. 207, p. 997-1006 10 p.Research output: Contribution to journal › Conference article in Journal › Research › peer-review
Open AccessFile2 Citations (Scopus)87 Downloads (Pure)
Prizes
Activities
-
IEEE/IFIP Conference on Embedded and Ubiquitous Computing EUC 2010
Nielsen, B. (Organizer)
26 Aug 2010 → 13 Dec 2010Activity: Attending an event › Conference organisation or participation
-
PhD Evaluation Committee Michael Achenbach, DAIMI, 2010 (External organisation)
Nielsen, B. (Member)
1 Aug 2010 → 7 Oct 2010Activity: Memberships › Membership of review committee
-
22 IFIP Conference on International Conference on Testing Software and Systems
Nielsen, B. (Organizer)
11 Jan 2010 → 1 Nov 2010Activity: Attending an event › Conference organisation or participation
-
1st International Conference on Runtime Verification : PC Member
Nielsen, B. (Organizer)
11 Jan 2010 → 4 Nov 2010Activity: Attending an event › Conference organisation or participation
-
6th Workshop on Advances in Model Based Testing A-MOST 2010 : PC member
Nielsen, B. (Organizer)
1 Dec 2009 → 6 Apr 2010Activity: Attending an event › Conference organisation or participation
Press/Media
-
The domOS ecosystem decouples field infrastructure allowing for better energy management of subsystems
30/03/2023
1 item of Media coverage
Press/Media: Press / Media
-
Nyt projekt skal udvikle energismart boligteknologi
Pedersen, T. B., Thomsen, C., Skou, A. & Nielsen, B.
07/12/2020 → 14/12/2020
3 items of Media coverage
Press/Media: Press / Media
-
Efter 'dieselgate': Mere snyd med software i sigte
10/10/2015
1 item of Media coverage
Press/Media: Press / Media
-
-