( en | de | ru )

 

Disambiguation of "Nyman, Ulrik"

Author of the publication

copydeleteadd this publication to your clipboard
Model Checking Process Algebra of Communicating Resources for Real-Time Systems.

, , , and . ECRTS, page 51-60. IEEE Computer Society, (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)Distributed Fleet Management in Noisy Environments via Model-Predictive Control., , , , and . ICAPS, page 565-573. AAAI Press, (2022)A modal specification theory for components with data., , , , and . Sci. Comput. Program., (2014)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)Formal validation of supervisory energy management systems for microgrids., , , , , and . IECON, page 1154-1159. IEEE, (2017)Integrating Tools: Co-simulation in UPPAAL Using FMI-FMU., , , and . ICECCS, page 11-19. IEEE Computer Society, (2017)Interface Input/Output Automata., , and . FM, volume 4085 of Lecture Notes in Computer Science, page 82-97. Springer, (2006)Complexity of Decision Problems for Mixed and Modal Specifications., , , , and . FoSSaCS, volume 4962 of Lecture Notes in Computer Science, page 112-126. Springer, (2008)Combining Task-level and System-level Scheduling Modes for Mixed Criticality Systems., , , and . CoRR, (2020)