Projekter pr. år
Personlig profil
Emneord
- Datalogi
- modale transitions systemer
- blandede transitions systemer
- grænseflade teori
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
- 4 Afsluttet
-
Digital technologies for Industry 4.0
Berardinelli, G. (Projektkoordinator), Nyman, U. (Projektdeltager), Schjørring, A. (Projektdeltager), Schiøler, H. (Projektdeltager), Tan, Z.-H. (Projektdeltager), Popovski, P. (Projektdeltager), Kristjansen, M. (Projektdeltager), Klicius, N. (Projektdeltager), Xie, Y. (Projektdeltager), Chiariotti, F. (Projektdeltager) & Kalør, A. E. (Projektdeltager)
01/03/2019 → 28/02/2021
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
-
CRAFTERS: ConstRaint and Application driven Framework for Tailoring Embedded Real-time Systems
Skou, A. (Projektdeltager), Larsen, K. G. (Projektdeltager), Nielsen, B. (Projektdeltager), David, A. (Projektdeltager), Nyman, U. (Projektdeltager), Mikučionis, M. (Projektdeltager), Olsen, P. (Projektdeltager), Boudjadar, J. (Projektdeltager) & Kim, J. H. (Projektdeltager)
01/06/2012 → 30/09/2015
Projekter: Projekt › Forskning
-
RECOMP: Reduced Certification Costs Using Trusted Multi-core Platforms
Skou, A. (Bevillingshaver), Larsen, K. G. (Projektdeltager), Nyman, U. (Projektdeltager), Ravn, A. P. (Projektdeltager) & David, A. (Projektdeltager)
01/04/2010 → 01/04/2013
Projekter: Projekt › Forskning
Publikationer
-
Designing successful and sustainable interdisciplinary PBL in engineering education: A cross-case analysis of System Projects in practice
Bertel, L. B., Bertelsen, P. S., Kruse, P. R., Andersen, O. K., Hansen, N. B., Löchtefeld, M., Nielsen, J. F. D., Nyman, U., Quitzau, M.-B., Torres, M. H., Winther, M. & Haase, L. M., nov. 2025, Proceedings of the 10th International Research Symposium on Problem-Based Learning (IRSPBL). s. 41-59Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review
Åben adgangFil -
Application of Statistical Model Checking for Robustness Comparison of Power Electronics Controllers
Novak, M., Grobelna, I., Nyman, U. & Blaabjerg, F., 23 jun. 2024, 2024 IEEE 15th International Symposium on Power Electronics for Distributed Generation Systems, PEDG 2024. IEEE (Institute of Electrical and Electronics Engineers), 6 s. 10667463. (IEEE International Symposium on Power Electronics for Distributed Generation Systems (PEDG) ).Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review
Åben adgangFil1 Citationer (Scopus)126 Downloads (Pure) -
A Modeling Concept for Formal Verification of OS-Based Compositional Software
Ribeiro, L. B., Lorber, F., Nyman, U., Larsen, K. G. & Baunach, M., 2023, 26th International Conference (FASE 2023): Fundamental Approaches to Software Engineering, Proceedings. Lambers, L., Uchitel, S. & Uchitel, S. (red.). Springer, s. 26-46 21 s. (Lecture Notes in Computer Science, Bind 13991 LNCS).Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review
Åben adgangFil4 Citationer (Scopus)91 Downloads (Pure) -
Modular Modeling and Statistical Validation for Grid-Connected FS-MPC-Controlled Matrix Converters
Novak, M., Grobelna, I., Nyman, U. M., Szcześniak, P. & Blaabjerg, F., sep. 2023, I: IEEE Transactions on Industrial Electronics. 70, 9, s. 8613 - 8623 11 s., 9896732.Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › peer review
Åben adgangFil8 Citationer (Scopus)339 Downloads (Pure) -
Timed I/O Automata: It is never too late to complete your timed specification theory
Goorden, M. A., Larsen, K. G., Legay, A., Lorber, F., Nyman, U. & Wasowski, A., 2023, arXiv.Publikation: Working paper/Preprint › Preprint
Åben adgangFil47 Downloads (Pure)
Presse/medier
-
Ni AAU-forskere modtager millioner fra Det Frie Forskningsråd
Sørensen, J. L., Jensen, J., Vitus, K., Pedersen, T., Smedskjær, M. M., Wisniewski, R., Møller, J., Nyman, U. M. & Carvalho, E. D.
19/05/2017
4 elementer af Mediedækning
Presse/medie
-
Eksperternes gode råd: Sådan kommer du i gang med smarte produkter
13/07/2016
1 element af Mediedækning
Presse/medie
-
-
-