( en | de | ru )

 

Disambiguation of "Nyman, Ulrik"

Author of the publication

copydeleteadd this publication to your clipboard
A modal specification theory for components with data.

, , , , and . Sci. Comput. Program., (2014)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Ulrik Dietzler

Ulrik Krätschmer

Ulrik Wolff

Ulrik Winckelmann

Ulrik Neupert

 

Other publications of authors with the same name

Analytical Design and Performance Validation of Finite Set MPC Regulated Power Converters., , , and . IEEE Trans. Ind. Electron., 66 (3): 2004-2014 (2019)Formal validation of supervisory energy management systems for microgrids., , , , , and . IECON, page 1154-1159. IEEE, (2017)A modal specification theory for components with data., , , , and . Sci. Comput. Program., (2014)Integrating Tools: Co-simulation in UPPAAL Using FMI-FMU., , , and . ICECCS, page 11-19. IEEE Computer Society, (2017)Distributed Fleet Management in Noisy Environments via Model-Predictive Control., , , , and . ICAPS, page 565-573. AAAI Press, (2022)Interface Input/Output Automata., , and . FM, volume 4085 of Lecture Notes in Computer Science, page 82-97. Springer, (2006)Randomized Refinement Checking of Timed I/O Automata., , and . SETTA, volume 12153 of Lecture Notes in Computer Science, page 70-88. Springer, (2020)Generic Formal Framework for Compositional Analysis of Hierarchical Scheduling Systems., , , , , and . ISORC, page 51-58. IEEE Computer Society, (2018)Complexity of Decision Problems for Mixed and Modal Specifications., , , , and . FoSSaCS, volume 4962 of Lecture Notes in Computer Science, page 112-126. Springer, (2008)Randomized reachability analysis in UPPAAL: fast error detection in timed systems., , and . Int. J. Softw. Tools Technol. Transf., 24 (6): 1025-1042 (2022)