Concepedia

Ulrik Nyman

UN

19

Publications

540

Citations

13

H-Index

2006

Active since

Affiliations

Aalborg University(Current)

IT University of Copenhagen

Institut de Recherche en Informatique et Systèmes Aléatoires

Institut national de recherche en sciences et technologies du numérique

University of Zielona Góra

Ulrik Nyman is an author at Aalborg University specializing in systems engineering, engineering, and computer science.

Top concepts

EngineeringSystems EngineeringComputer ScienceVerificationFormal VerificationFormal MethodsComputer EngineeringReal-time SystemsProgram AnalysisSoftware Analysis

Publications per year

2006–2022

19

Publications

19

Timed I/O automata

Alexandre David, Kim G. Larsen, Axel Legay et al. · 2010 · 173 citations · Full text

Engineering, Verification, Software Engineering +20

20 Years of Modal and Mixed Specifications

Adam Antonik, Michael Huth, Kim G. Larsen et al. · VBN Forskningsportal (Aalborg Universitet) · 2008 · 61 citations · Full text

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

Mateja Novak, Ulrik Nyman, Tomislav Dragičević et al. · IEEE Transactions on Industrial Electronics · 2018 · 60 citations · Full text

Statistical and exact schedulability analysis of hierarchical scheduling systems

Abdeldjalil Boudjadar, Alexandre David, Jin Hyun Kim et al. · Science of Computer Programming · 2016 · 26 citations

Mathematical Programming, Engineering, Scheduling Problem +7

Real-time specifications

Alexandre David, Kim G. Larsen, Axel Legay et al. · International Journal on Software Tools for Technology Transfer · 2013 · 22 citations · Full text

Rows per page

1–5 of 19