Articles with public access mandates - Ulrik NymanLearn more
Available somewhere: 11
Real-time specifications
A David, KG Larsen, A Legay, U Nyman, LM Traonouez, A Wąsowski
International Journal on Software Tools for Technology Transfer 17, 17-45, 2015
Mandates: European Commission
Mutation-based test-case generation with ecdar
KG Larsen, F Lorber, B Nielsen, UM Nyman
2017 IEEE International Conference on Software Testing, Verification and …, 2017
Mandates: European Commission
Combining task-level and system-level scheduling modes for mixed criticality systems
J Boudjadar, S Ramanathan, A Easwaran, U Nyman
2019 IEEE/ACM 23rd International Symposium on Distributed Simulation and …, 2019
Mandates: Danish Council for Independent Research
Schedulability analysis of distributed multicore avionics systems with uppaal
P Han, Z Zhai, B Nielsen, U Nyman, M Kristjansen
Journal of Aerospace Information Systems 16 (11), 473-499, 2019
Mandates: Danish Council for Independent Research
Distributed fleet management in noisy environments via model-predictive control
S Bøgh, PG Jensen, M Kristjansen, KG Larsen, U Nyman
proceedings of the international conference on automated planning and …, 2022
Mandates: Danish Council for Independent Research
Generic formal framework for compositional analysis of hierarchical scheduling systems
J Boudjadar, JH Kim, LTX Phan, I Lee, KG Larsen, U Nyman
2018 IEEE 21st International Symposium on Real-Time Distributed Computing …, 2018
Mandates: US Department of Defense, Danish Council for Independent Research
Model-based optimization of ARINC-653 partition scheduling
P Han, Z Zhai, B Nielsen, U Nyman
International Journal on Software Tools for Technology Transfer 23 (5), 721-740, 2021
Mandates: Danish Council for Independent Research
Randomized reachability analysis in UPPAAL: fast error detection in timed systems
A Kiviriga, KG Larsen, U Nyman
International Journal on Software Tools for Technology Transfer 24 (6), 1025 …, 2022
Mandates: European Commission
Modular modeling and statistical validation for grid-connected FS-MPC-Controlled matrix converters
M Novak, I Grobelna, UM Nyman, P Szczesniak, F Blaabjerg
IEEE Transactions on Industrial Electronics 70 (9), 8613-8623, 2022
Mandates: Villum Foundation
Randomized refinement checking of timed I/O automata
A Kiviriga, KG Larsen, U Nyman
Dependable Software Engineering. Theories, Tools, and Applications: 6th …, 2020
Mandates: European Commission
Statistical Performance Verification of the FS-MPC Algorithm Applied to the Matrix Converter
M Novak, I Grobelna, U Nyman, P Szczesniak, F Blaabjerg
2022 International Power Electronics Conference (IPEC-Himeji 2022-ECCE Asia …, 2022
Mandates: Villum Foundation
Publication and funding information is determined automatically by a computer program