Projects per year
Personal profile
Keywords
- Computer Science
- Modal Transition Systems
- mixed transition systems
- Interface Theory
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
- 4 Finished
-
Digital technologies for Industry 4.0
Berardinelli, G. (Project Coordinator), Nyman, U. (Project Participant), Schjørring, A. (Project Participant), Schiøler, H. (Project Participant), Tan, Z.-H. (Project Participant), Popovski, P. (Project Participant), Kristjansen, M. (Project Participant), Klicius, N. (Project Participant), Xie, Y. (Project Participant), Chiariotti, F. (Project Participant) & Kalør, A. E. (Project Participant)
01/03/2019 → 28/02/2021
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
-
CRAFTERS: ConstRaint and Application driven Framework for Tailoring Embedded Real-time Systems
Skou, A. (Project Participant), Larsen, K. G. (Project Participant), Nielsen, B. (Project Participant), David, A. (Project Participant), Nyman, U. (Project Participant), Mikučionis, M. (Project Participant), Olsen, P. (Project Participant), Boudjadar, J. (Project Participant) & Kim, J. H. (Project Participant)
01/06/2012 → 30/09/2015
Project: Research
-
RECOMP: Reduced Certification Costs Using Trusted Multi-core Platforms
Skou, A. (Project Licensee), Larsen, K. G. (Project Participant), Nyman, U. (Project Participant), Ravn, A. P. (Project Participant) & David, A. (Project Participant)
01/04/2010 → 01/04/2013
Project: Research
Research output
-
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 p. 10667463. (IEEE International Symposium on Power Electronics for Distributed Generation Systems (PEDG) ).Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review
Open AccessFile57 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. (eds.). Springer, p. 26-46 21 p. (Lecture Notes in Computer Science, Vol. 13991 LNCS).Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review
Open AccessFile2 Citations (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., Sept 2023, In: IEEE Transactions on Industrial Electronics. 70, 9, p. 8613 - 8623 11 p., 9896732.Research output: Contribution to journal › Journal article › Research › peer-review
Open AccessFile6 Citations (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.Research output: Working paper/Preprint › Preprint
Open AccessFile27 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. (eds.). Springer, p. 141-157 17 p. (Lecture Notes in Computer Science, Vol. 14138 LNCS).Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review
Open AccessFile39 Downloads (Pure)
Press/Media
-
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 items of Media coverage
Press/Media: Press / Media
-
Eksperternes gode råd: Sådan kommer du i gang med smarte produkter
13/07/2016
1 item of Media coverage
Press/Media: Press / Media
-
-
Tre AAU-hold med til DM i indlejrede systemer
03/04/2014
1 item of Media coverage
Press/Media: Press / Media
-
Studerende udvikler mobil kalender til autister
16/08/2012
1 item of Media coverage
Press/Media: Press / Media