• Selma Lagerløfs Vej 300, 1-2-12

    9220 Aalborg Ø

    Denmark

  • Selma Lagerlöfs Vej 300

    9220 Aalborg Ø

    Denmark

20032019
If you made any changes in Pure these will be visible here soon.

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.

  • 16 Similar Profiles
Specifications Engineering & Materials Science
Model checking Engineering & Materials Science
Real time systems Engineering & Materials Science
Scheduling Engineering & Materials Science
Model predictive control Engineering & Materials Science
Chemical analysis Engineering & Materials Science
Avionics Engineering & Materials Science
Testing Engineering & Materials Science

Network Dive into details by clicking on the dots.

Projects 2010 2015

Research Output 2003 2019

3 Citations (Scopus)
233 Downloads (Pure)

Analytical Design and Performance Validation of Finite Set MPC Regulated Power Converters

Novak, M., Nyman, U. M., Dragicevic, T. & Blaabjerg, F., Mar 2019, In : I E E E Transactions on Industrial Electronics. 66, 3, p. 2004 - 2014 11 p., 8368064.

Research output: Contribution to journalJournal articleResearchpeer-review

Open Access
File
Power converters
Model checking
Model predictive control
Power electronics
Degradation

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. (eds.). p. 39-51 13 p. (Electronic Proceedings in Theoretical Computer Science, Vol. 272).

Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearchpeer-review

Open Access
1 Citation (Scopus)
14 Downloads (Pure)

A Modeling Framework for Schedulability Analysis of Distributed Avionics Systems

Han, P., Zhai, Z., Nielsen, B. & Nyman, U., 27 Mar 2018, Proceedings Third Workshop on Models for Formal Analysis of Real Systems and Sixth International Workshop on Verification and Program Transformation. Gallagher, J. P., van Glabbeek, R. & Serwe, W. (eds.). EPTCS, Vol. 268. p. 150-168 19 p. (Electronic Proceedings in Theoretical Computer Science).

Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearchpeer-review

Open Access
File
Avionics
Model checking
Stop watches
Concretes
43 Downloads (Pure)

Effortless Fault Localisation: Conformance Testing of Real-Time Systems in Ecdar

Gundersen, T. R., Lorber, F., Nyman, U. & Ovesen, C., 7 Sep 2018, In : Electronic Proceedings in Theoretical Computer Science. 277, p. 147-160 14 p.

Research output: Contribution to journalConference article in JournalResearchpeer-review

Open Access
File
Real time systems
Model checking
Testing

Generic Formal Framework for Compositional Analysis of Hierarchical Scheduling Systems

Boudjadar, J., Kim, J. H., Phan, L. T. X., Lee, I., Larsen, K. G. & Nyman, U., 25 Jul 2018, Proceedings - 2018 IEEE 21st International Symposium on Real-Time Computing, ISORC 2018. IEEE, p. 51-58 8 p. 8421146. (International Symposium on Object-Oriented Real-Time Distributed Computing).

Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearchpeer-review

Scheduling

Press / Media

Eksperternes gode råd: Sådan kommer du i gang med smarte produkter

Ulrik Nyman

13/07/2016

1 item of media coverage

Press/Media: Press / Media

Babyhue med sensor vinder it-pris

Ulrik Nyman

09/04/2014

5 items of media coverage

Press/Media: Press / Media

Tre AAU-hold med til DM i indlejrede systemer

Ulrik Nyman

03/04/2014

1 item of media coverage

Press/Media: Press / Media

Studerende udvikler mobil kalender til autister

Ulrik Nyman

16/08/2012

1 item of media coverage

Press/Media: Press / Media