• Selma Lagerløfs Vej 300, 2-2-38

    9220 Aalborg Ø

    Denmark

  • Selma Lagerløfs Vej 300, 2-2-38

    9220 Aalborg Ø

    Denmark

  • Selma Lagerlöfs Vej 300

    9220 Aalborg Ø

    Denmark

20032020

Research output per year

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.

  • 18 Similar Profiles

Network Dive into details by clicking on the dots.

Projects

  • Research Output

    Combining Task-level and System-level Scheduling Modes for Mixed Criticality Systems

    Boudjadar, J., Ramanathan, S., Easwaran, A. & Nyman, U., 16 Jan 2020, Proceedings - 2019 IEEE/ACM 23rd International Symposium on Distributed Simulation and Real Time Applications, DS-RT 2019. De Rango, F., Calafate, C. T., Voznak, M., Garro, A. & Tropea, M. (eds.). IEEE Press, p. 1-10 10 p. 8958666

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

    File
  • 82 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
  • 15 Citations (Scopus)
    477 Downloads (Pure)

    Schedulability Analysis of Distributed Multi-core Avionics Systems with UPPAAL

    Han, P., Zhai, Z., Nielsen, B., Nyman, U. & Kristjansen, M., 1 Nov 2019, In : Journal of Aerospace Information Systems. 16, 11

    Research output: Contribution to journalJournal articleResearchpeer-review

    Open Access
    File
  • 36 Downloads (Pure)

    Statistical Model Checking for Finite-Set Model Predictive Control Converters: A Tutorial on Modeling and Performance Verification

    Novak, M., Nyman, U., Dragicevic, T. & Blaabjerg, F., Sep 2019, In : I E E E Industrial Electronics Magazine. 13, 3, p. 6-15 10 p., 8845791.

    Research output: Contribution to journalJournal articleResearchpeer-review

    Open Access
    File
  • 25 Downloads (Pure)

    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
    File
    2 Citations (Scopus)
    79 Downloads (Pure)

    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