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.
- 13 Lignende profiler
Netværk
Klik på punkterne for at se detaljerne.
Projekter
FED: Flexible Energy Denmark
Larsen, K. G., Pedersen, T. B., Skou, A., Nielsen, B. & Thomsen, C.
01/04/2019 → 31/03/2023
Projekter: Projekt › Forskning
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.
Danmarks Frie Forskningsfond | 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. & Raptis, D.
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
Publikationer
Reengineering the lifecycle of Arrowhead applications: from skeletons to the client library
Pedersen, T., Albano, M. & Nielsen, B., 17 okt. 2019, Proceedings of the 45th Annual Conference of the IEEE Industrial Electronics Society. IEEE, s. 5519-5524 (Proceedings of the Annual Conference of the IEEE Industrial Electronics Society).Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review
Schedulability Analysis of Distributed Multi-core Avionics Systems with UPPAAL
Han, P., Zhai, Z., Nielsen, B., Nyman, U. & Kristjansen, M., 1 nov. 2019, I : Journal of Aerospace Information Systems. 16, 11Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › peer review
Åben adgang
Fil
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
5
Citationer
(Scopus)
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
2
Citationer
(Scopus)
79
Downloads
(Pure)
Priser
Aktiviteter
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
5th International Workshop on Automation of Software Test : PC Member
Brian Nielsen (Arrangør)
1 dec. 2009 → 4 maj 2010
Aktivitet: Deltagelse i faglig begivenhed › Organisering af eller deltagelse i konference