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
-
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 adgangFil56 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 adgangFil2 Citationer (Scopus)36 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 adgangFil6 Citationer (Scopus)203 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 adgangFil27 Downloads (Pure) -
Usage-and Risk-Aware Falsification Testing for Cyber-Physical Systems
Kiviriga, A., Larsen, K. G., Nickovic, D. & Nyman, U., 2023, Formal Modeling and Analysis of Timed Systems: 21st International Conference, FORMATS 2023, Antwerp, Belgium, September 19–21, 2023, Proceedings. Petrucci, L. & Sproston, J. (red.). Springer, s. 141-157 17 s. (Lecture Notes in Computer Science, Bind 14138 LNCS).Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review
Åben adgangFil39 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
-
-
-