Ulrik Nyman
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
16
Venues
14
Active years
2006–2023
Best venue rank
B
Where they publish
Papers
16 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2023 | FASE | A Modeling Concept for Formal Verification of OS-Based Compositional Software. | Leandro Batista Ribeiro, Florian Lorber, Ulrik Nyman, Kim Guldstrand Larsen, Marcel Baunach |
| 2021 | FMICS | Randomized Reachability Analysis in Uppaal: Fast Error Detection in Timed Systems. | Andrej Kiviriga, Kim Guldstrand Larsen, Ulrik Nyman |
| 2020 | SETTA | Randomized Refinement Checking of Timed I/O Automata. | Andrej Kiviriga, Kim Guldstrand Larsen, Ulrik Nyman |
| 2018 | ISORC | Generic Formal Framework for Compositional Analysis of Hierarchical Scheduling Systems. | Jalil Boudjadar, Jin Hyun Kim, Linh Thi Xuan Phan, Insup Lee, Kim G. Larsen, Ulrik Nyman |
| 2017 | ICECCS | Integrating Tools: Co-simulation in UPPAAL Using FMI-FMU. | Peter Gjl Jensen, Kim Guldstrand Larsen, Axel Legay, Ulrik Nyman |
| 2017 | ICST | Mutation-Based Test-Case Generation with Ecdar. | Kim G. Larsen, Florian Lorber, Brian Nielsen, Ulrik Nyman |
| 2017 | IECON | Formal validation of supervisory energy management systems for microgrids. | Gayathri Sugumar, Rajasekar Selvamuthukumaran, Tomislav Dragicevic, Ulrik Nyman, Kim G. Larsen, Frede Blaabjerg |
| 2015 | ISORC | Flexible Framework for Statistical Schedulability Analysis of Probabilistic Sporadic Tasks. | Abdeldjalil Boudjadar, Jin Hyun Kim, Alexandre David, Kim G. Larsen, Marius Mikucionis, Ulrik Nyman, Arne Skou, Insup Lee, Linh Thi Xuan Phan |
| 2014 | ECRTS | Model Checking Process Algebra of Communicating Resources for Real-Time Systems. | Abdeldjalil Boudjadar, Jin Hyun Kim, Kim G. Larsen, Ulrik Nyman |
| 2014 | TASE | Degree of Schedulability of Mixed-Criticality Real-Time Systems with Probabilistic Sporadic Tasks. | Abdeldjalil Boudjadar, Alexandre David, Jin Hyun Kim, Kim G. Larsen, Marius Mikucionis, Ulrik Nyman, Arne Skou |
| 2012 | FASE | Moving from Specifications to Contracts in Component-Based Design. | Sebastian S. Bauer, Alexandre David, Rolf Hennicker, Kim Guldstrand Larsen, Axel Legay, Ulrik Nyman, Andrzej Wasowski |
| 2010 | ATVA | ECDAR: An Environment for Compositional Design and Analysis of Real Time Systems. | Alexandre David, Kim Guldstrand Larsen, Axel Legay, Ulrik Nyman, Andrzej Wasowski |
| 2008 | FOSSACS | Complexity of Decision Problems for Mixed and Modal Specifications. | Adam Antonik, Michael Huth, Kim Guldstrand Larsen, Ulrik Nyman, Andrzej Wasowski |
| 2007 | CONCUR | On Modal Refinement and Consistency. | Kim Guldstrand Larsen, Ulrik Nyman, Andrzej Wasowski |
| 2007 | ESOP | Modal I/O Automata for Interface and Product Line Theories. | Kim Guldstrand Larsen, Ulrik Nyman, Andrzej Wasowski |
| 2006 | FM | Interface Input/Output Automata. | Kim Guldstrand Larsen, Ulrik Nyman, Andrzej Wasowski |