Ulrik Nyman

51 papers A* 1A 1B 8C 5Misc 2Journal 16Unranked 17
YearRankTypeTitle / Venue / Authors
2023 B conf
A Modeling Concept for Formal Verification of OS-Based Compositional Software.
FASE
Leandro Batista Ribeiro, Florian Lorber, Ulrik Nyman, Kim Guldstrand Larsen, Marcel Baunach
2023 J jnl
Modular Modeling and Statistical Validation for Grid-Connected FS-MPC-Controlled Matrix Converters.
IEEE Trans. Ind. Electron.
Mateja Novak, Iwona Grobelna, Ulrik Nyman, Pawel Szczesniak, Frede Blaabjerg
2023 J jnl
Timed I/O Automata: It is never too late to complete your timed specification theory.
CoRR
Martijn A. Goorden, Kim G. Larsen, Axel Legay, Florian Lorber, Ulrik Nyman, Andrzej Wasowski
2023 — conf
Usage-and Risk-Aware Falsification Testing for Cyber-Physical Systems.
FORMATS
Andrej Kiviriga, Kim Guldstrand Larsen, Dejan Nickovic, Ulrik Nyman
2022 A* conf
Distributed Fleet Management in Noisy Environments via Model-Predictive Control.
ICAPS
Simon Bøgh, Peter Gjøl Jensen, Martin Kristjansen, Kim Guldstrand Larsen, Ulrik Nyman
2022 — conf
Monte Carlo Tree Search for Priced Timed Automata.
QEST
Peter Gjøl Jensen, Andrej Kiviriga, Kim Guldstrand Larsen, Ulrik Nyman, Adriana Mijacika, Jeppe Høiriis Mortensen
2022 J jnl
Randomized reachability analysis in UPPAAL: fast error detection in timed systems.
Int. J. Softw. Tools Technol. Transf.
Andrej Kiviriga, Kim Guldstrand Larsen, Ulrik Nyman
2021 J jnl
Model-based optimization of ARINC-653 partition scheduling.
Int. J. Softw. Tools Technol. Transf.
Pujie Han, Zhengjun Zhai, Brian Nielsen, Ulrik Nyman
2021 C conf
Randomized Reachability Analysis in Uppaal: Fast Error Detection in Timed Systems.
FMICS
Andrej Kiviriga, Kim Guldstrand Larsen, Ulrik Nyman
2020 J jnl
Combining Task-level and System-level Scheduling Modes for Mixed Criticality Systems.
CoRR
Jalil Boudjadar, Saravanan Ramanathan, Arvind Easwaran, Ulrik Nyman
2020 Misc conf
Randomized Refinement Checking of Timed I/O Automata.
SETTA
Andrej Kiviriga, Kim Guldstrand Larsen, Ulrik Nyman
2019 J jnl
Analytical Design and Performance Validation of Finite Set MPC Regulated Power Converters.
IEEE Trans. Ind. Electron.
Mateja Novak, Ulrik Nyman, Tomislav Dragicevic, Frede Blaabjerg
2019 C conf
Combining Task-level and System-level Scheduling Modes for Mixed Criticality Systems.
DS-RT
Jalil Boudjadar, Saravanan Ramanathan, Arvind Easwaran, Ulrik Nyman
2019 J jnl
Schedulability Analysis of Distributed Multicore Avionics Systems with UPPAAL.
J. Aerosp. Inf. Syst.
Pujie Han, Zhengjun Zhai, Brian Nielsen, Ulrik Nyman, Martin Kristjansen
2018 — conf
A Compositional Approach for Schedulability Analysis of Distributed Avionics Systems.
MeTRiD@ETAPS
Pujie Han, Zhengjun Zhai, Brian Nielsen, Ulrik Nyman
2018 — conf
A Modeling Framework for Schedulability Analysis of Distributed Avionics Systems.
MARS/VPT
Pujie Han, Zhengjun Zhai, Brian Nielsen, Ulrik Nyman
2018 — conf
Effortless Fault Localisation: Conformance Testing of Real-Time Systems in Ecdar.
GandALF
Tobias R. Gundersen, Florian Lorber, Ulrik Nyman, Christian Ovesen
2018 C conf
Generic Formal Framework for Compositional Analysis of Hierarchical Scheduling Systems.
ISORC
Jalil Boudjadar, Jin Hyun Kim, Linh Thi Xuan Phan, Insup Lee, Kim G. Larsen, Ulrik Nyman
2017 — conf
Compositional Testing of Real-Time Systems.
ModelEd, TestEd, TrustEd
Kim G. Larsen, Axel Legay, Marius Mikucionis, Brian Nielsen, Ulrik Nyman
2017 C conf
Formal validation of supervisory energy management systems for microgrids.
IECON
Gayathri Sugumar, Rajasekar Selvamuthukumaran, Tomislav Dragicevic, Ulrik Nyman, Kim G. Larsen, Frede Blaabjerg
2017 B conf
Integrating Tools: Co-simulation in UPPAAL Using FMI-FMU.
ICECCS
Peter Gjøl Jensen, Kim Guldstrand Larsen, Axel Legay, Ulrik Nyman
2017 — conf
Mutation-Based Test-Case Generation with Ecdar.
ICST Workshops
Kim G. Larsen, Florian Lorber, Brian Nielsen, Ulrik Nyman
2016 J jnl
Optimizing the resource requirements of hierarchical scheduling systems.
SIGBED Rev.
Jin Hyun Kim, Axel Legay, Louis-Marie Traonouez, Abdeldjalil Boudjadar, Ulrik Nyman, Kim G. Larsen, Insup Lee, Jin-Young Choi
2016 J jnl
Statistical and exact schedulability analysis of hierarchical scheduling systems.
Sci. Comput. Program.
Abdeldjalil Boudjadar, Alexandre David, Jin Hyun Kim, Kim G. Larsen, Marius Mikucionis, Ulrik Nyman, Arne Skou
2015 J jnl
A reconfigurable framework for compositional schedulability and power analysis of hierarchical scheduling systems with frequency scaling.
Sci. Comput. Program.
Abdeldjalil Boudjadar, Alexandre David, Jin Hyun Kim, Kim G. Larsen, Marius Mikucionis, Ulrik Nyman, Arne Skou
2015 C conf
Flexible Framework for Statistical Schedulability Analysis of Probabilistic Sporadic Tasks.
ISORC
Abdeldjalil Boudjadar, Jin Hyun Kim, Alexandre David, Kim G. Larsen, Marius Mikucionis, Ulrik Nyman, Arne Skou, Insup Lee, Linh Thi Xuan Phan
2015 — conf
Quantitative Schedulability Analysis of Continuous Probability Tasks in a Hierarchical Context.
CBSE
Jin Hyun Kim, Abdeldjalil Boudjadar, Ulrik Nyman, Marius Mikucionis, Kim G. Larsen, Arne Skou, Insup Lee, Linh Thi Xuan Phan
2015 J jnl
Real-time specifications.
Int. J. Softw. Tools Technol. Transf.
Alexandre David, Kim G. Larsen, Axel Legay, Ulrik Nyman, Louis-Marie Traonouez, Andrzej Wasowski
2015 — conf
The Timed Decentralised Label Model.
NordSec
Martin Leth Pedersen, Michael Hedegaard Sørensen, Daniel Lux, Ulrik Nyman, René Rydhof Hansen
2014 J jnl
A modal specification theory for components with data.
Sci. Comput. Program.
Sebastian S. Bauer, Kim G. Larsen, Axel Legay, Ulrik Nyman, Andrzej Wasowski
2014 — conf
Compositional Schedulability Analysis of An Avionics System Using UPPAAL.
ICAASE
Abdeldjalil Boudjadar, Jin Hyun Kim, Kim Guldstrand Larsen, Ulrik Nyman
2014 Misc conf
Degree of Schedulability of Mixed-Criticality Real-Time Systems with Probabilistic Sporadic Tasks.
TASE
Abdeldjalil Boudjadar, Alexandre David, Jin Hyun Kim, Kim G. Larsen, Marius Mikucionis, Ulrik Nyman, Arne Skou
2014 B conf
Model Checking Process Algebra of Communicating Resources for Real-Time Systems.
ECRTS
Abdeldjalil Boudjadar, Jin Hyun Kim, Kim G. Larsen, Ulrik Nyman
2014 — conf
Widening the Schedulability of Hierarchical Scheduling Systems.
FACS
Abdeldjalil Boudjadar, Alexandre David, Jin Hyun Kim, Kim Guldstrand Larsen, Marius Mikucionis, Ulrik Nyman, Arne Skou
2013 — conf
Hierarchical Scheduling Framework Based on Compositional Analysis Using Uppaal.
FACS
Abdeldjalil Boudjadar, Alexandre David, Jin Hyun Kim, Kim Guldstrand Larsen, Marius Mikucionis, Ulrik Nyman, Arne Skou
2013 — ed.
Proceedings 1st Workshop on Advances in Systems of Systems, AiSoS 2013, Rome, Italy, 16th March 2013.
AiSoS
Kim G. Larsen, Axel Legay, Ulrik Nyman
2012 J jnl
Compositional verification of real-time systems using Ecdar.
Int. J. Softw. Tools Technol. Transf.
Alexandre David, Kim Guldstrand Larsen, Axel Legay, Mikael H. Møller, Ulrik Nyman, Anders P. Ravn, Arne Skou, Andrzej Wasowski
2012 B conf
Moving from Specifications to Contracts in Component-Based Design.
FASE
Sebastian S. Bauer, Alexandre David, Rolf Hennicker, Kim Guldstrand Larsen, Axel Legay, Ulrik Nyman, Andrzej Wasowski
2011 — conf
A Modal Specification Theory for Components with Data.
FACS
Sebastian S. Bauer, Kim Guldstrand Larsen, Axel Legay, Ulrik Nyman, Andrzej Wasowski
2010 B conf
ECDAR: An Environment for Compositional Design and Analysis of Real Time Systems.
ATVA
Alexandre David, Kim Guldstrand Larsen, Axel Legay, Ulrik Nyman, Andrzej Wasowski
2010 J jnl
Modal and mixed specifications: key decision problems and their complexities.
Math. Struct. Comput. Sci.
Adam Antonik, Michael Huth, Kim G. Larsen, Ulrik Nyman, Andrzej Wasowski
2010 — conf
New Results on Timed Specifications.
WADT
Timothy Bourke, Alexandre David, Kim G. Larsen, Axel Legay, Didier Lime, Ulrik Nyman, Andrzej Wasowski
2010 — conf
Timed I/O automata: a complete specification theory for real-time systems.
HSCC
Alexandre David, Kim G. Larsen, Axel Legay, Ulrik Nyman, Andrzej Wasowski
2009 — conf
Methodologies for Specification of Real-Time Systems Using Timed I/O Automata.
FMCO
Alexandre David, Kim G. Larsen, Axel Legay, Ulrik Nyman, Andrzej Wasowski
2008 J jnl
20 Years of Modal and Mixed Specifications.
Bull. EATCS
Adam Antonik, Michael Huth, Kim G. Larsen, Ulrik Nyman, Andrzej Wasowski
2008 B conf
Complexity of Decision Problems for Mixed and Modal Specifications.
FoSSaCS
Adam Antonik, Michael Huth, Kim Guldstrand Larsen, Ulrik Nyman, Andrzej Wasowski
2008 — conf
EXPTIME-complete Decision Problems for Modal and Mixed Specifications.
EXPRESS
Adam Antonik, Michael Huth, Kim Guldstrand Larsen, Ulrik Nyman, Andrzej Wasowski
2007 A conf
Modal I/O Automata for Interface and Product Line Theories.
ESOP
Kim Guldstrand Larsen, Ulrik Nyman, Andrzej Wasowski
2007 J jnl
Modeling software product lines using color-blind transition systems.
Int. J. Softw. Tools Technol. Transf.
Kim Guldstrand Larsen, Ulrik Nyman, Andrzej Wasowski
2007 B conf
On Modal Refinement and Consistency.
CONCUR
Kim Guldstrand Larsen, Ulrik Nyman, Andrzej Wasowski
2006 B conf
Interface Input/Output Automata.
FM
Kim Guldstrand Larsen, Ulrik Nyman, Andrzej Wasowski