Ulrik Nyman
Ulrik Larsen
Person information
- affiliation: Aalborg University, Department of Computer Science
Refine list

refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2010 – today
- 2019
- [j11]Mateja Novak, Ulrik Nyman, Tomislav Dragicevic, Frede Blaabjerg:
Analytical Design and Performance Validation of Finite Set MPC Regulated Power Converters. IEEE Trans. Industrial Electronics 66(3): 2004-2014 (2019) - 2018
- [c27]Jalil Boudjadar, Jin Hyun Kim, Linh Thi Xuan Phan, Insup Lee, Kim G. Larsen, Ulrik Nyman:
Generic Formal Framework for Compositional Analysis of Hierarchical Scheduling Systems. ISORC 2018: 51-58 - [c26]Pujie Han, Zhengjun Zhai, Brian Nielsen, Ulrik Nyman:
A Compositional Approach for Schedulability Analysis of Distributed Avionics Systems. MeTRiD@ETAPS 2018: 39-51 - [c25]Tobias R. Gundersen, Florian Lorber, Ulrik Nyman, Christian Ovesen:
Effortless Fault Localisation: Conformance Testing of Real-Time Systems in Ecdar. GandALF 2018: 147-160 - [c24]Pujie Han, Zhengjun Zhai, Brian Nielsen, Ulrik Nyman:
A Modeling Framework for Schedulability Analysis of Distributed Avionics Systems. MARS/VPT@ETAPS 2018: 150-168 - 2017
- [c23]Kim G. Larsen, Axel Legay, Marius Mikucionis, Brian Nielsen, Ulrik Nyman:
Compositional Testing of Real-Time Systems. ModelEd, TestEd, TrustEd 2017: 107-124 - [c22]Peter Gjøl Jensen, Kim Guldstrand Larsen, Axel Legay, Ulrik Nyman:
Integrating Tools: Co-simulation in UPPAAL Using FMI-FMU. ICECCS 2017: 11-19 - [c21]Kim G. Larsen, Florian Lorber, Brian Nielsen, Ulrik Nyman:
Mutation-Based Test-Case Generation with Ecdar. ICST Workshops 2017: 319-328 - [c20]Gayathri Sugumar, Rajasekar Selvamuthukumaran, Tomislav Dragicevic, Ulrik Nyman, Kim G. Larsen, Frede Blaabjerg:
Formal validation of supervisory energy management systems for microgrids. IECON 2017: 1154-1159 - 2016
- [j10]Abdeldjalil Boudjadar, Alexandre David, Jin Hyun Kim, Kim G. Larsen, Marius Mikucionis, Ulrik Nyman, Arne Skou:
Statistical and exact schedulability analysis of hierarchical scheduling systems. Sci. Comput. Program. 127: 103-130 (2016) - [j9]Jin Hyun Kim, Axel Legay, Louis-Marie Traonouez, Abdeldjalil Boudjadar, Ulrik Nyman, Kim G. Larsen, Insup Lee, Jin-Young Choi:
Optimizing the resource requirements of hierarchical scheduling systems. SIGBED Review 13(3): 41-48 (2016) - 2015
- [j8]Abdeldjalil Boudjadar, Alexandre David, Jin Hyun Kim, Kim G. Larsen, Marius Mikucionis, Ulrik Nyman, Arne Skou:
A reconfigurable framework for compositional schedulability and power analysis of hierarchical scheduling systems with frequency scaling. Sci. Comput. Program. 113: 236-260 (2015) - [j7]Alexandre David, Kim G. Larsen, Axel Legay, Ulrik Nyman, Louis-Marie Traonouez, Andrzej Wasowski:
Real-time specifications. STTT 17(1): 17-45 (2015) - [c19]Jin Hyun Kim, Abdeldjalil Boudjadar, Ulrik Nyman, Marius Mikucionis, Kim G. Larsen, Arne Skou, Insup Lee, Linh Thi Xuan Phan:
Quantitative Schedulability Analysis of Continuous Probability Tasks in a Hierarchical Context. CBSE 2015: 91-100 - [c18]Abdeldjalil Boudjadar, Jin Hyun Kim, Alexandre David, Kim G. Larsen, Marius Mikucionis, Ulrik Nyman, Arne Skou, Insup Lee, Linh Thi Xuan Phan:
Flexible Framework for Statistical Schedulability Analysis of Probabilistic Sporadic Tasks. ISORC 2015: 74-83 - [c17]Martin Leth Pedersen, Michael Hedegaard Sørensen, Daniel Lux, Ulrik Nyman, René Rydhof Hansen:
The Timed Decentralised Label Model. NordSec 2015: 27-43 - 2014
- [j6]Sebastian S. Bauer, Kim G. Larsen, Axel Legay, Ulrik Nyman, Andrzej Wasowski:
A modal specification theory for components with data. Sci. Comput. Program. 83: 106-128 (2014) - [c16]Abdeldjalil Boudjadar, Jin Hyun Kim, Kim G. Larsen, Ulrik Nyman:
Model Checking Process Algebra of Communicating Resources for Real-Time Systems. ECRTS 2014: 51-60 - [c15]Abdeldjalil Boudjadar, Alexandre David, Jin Hyun Kim, Kim Guldstrand Larsen, Marius Mikucionis, Ulrik Nyman, Arne Skou:
Widening the Schedulability of Hierarchical Scheduling Systems. FACS 2014: 209-227 - [c14]Abdeldjalil Boudjadar, Jin Hyun Kim, Kim Guldstrand Larsen, Ulrik Nyman:
Compositional Schedulability Analysis of An Avionics System Using UPPAAL. ICAASE 2014: 140-147 - [c13]Abdeldjalil Boudjadar, Alexandre David, Jin Hyun Kim, Kim G. Larsen, Marius Mikucionis, Ulrik Nyman, Arne Skou:
Degree of Schedulability of Mixed-Criticality Real-Time Systems with Probabilistic Sporadic Tasks. TASE 2014: 126-130 - 2013
- [c12]Abdeldjalil Boudjadar, Alexandre David, Jin Hyun Kim, Kim Guldstrand Larsen, Marius Mikucionis, Ulrik Nyman, Arne Skou:
Hierarchical Scheduling Framework Based on Compositional Analysis Using Uppaal. FACS 2013: 61-78 - [e1]Kim G. Larsen, Axel Legay, Ulrik Nyman:
Proceedings 1st Workshop on Advances in Systems of Systems, AiSoS 2013, Rome, Italy, 16th March 2013. EPTCS 133, 2013 [contents] - 2012
- [j5]Alexandre David, Kim Guldstrand Larsen, Axel Legay, Mikael H. Møller, Ulrik Nyman, Anders P. Ravn, Arne Skou, Andrzej Wasowski:
Compositional verification of real-time systems using Ecdar. STTT 14(6): 703-720 (2012) - [c11]Sebastian S. Bauer, Alexandre David, Rolf Hennicker, Kim Guldstrand Larsen, Axel Legay, Ulrik Nyman, Andrzej Wasowski:
Moving from Specifications to Contracts in Component-Based Design. FASE 2012: 43-58 - 2011
- [c10]Sebastian S. Bauer, Kim Guldstrand Larsen, Axel Legay, Ulrik Nyman, Andrzej Wasowski:
A Modal Specification Theory for Components with Data. FACS 2011: 61-78 - 2010
- [j4]Adam Antonik, Michael Huth, Kim G. Larsen, Ulrik Nyman, Andrzej Wasowski:
Modal and mixed specifications: key decision problems and their complexities. Mathematical Structures in Computer Science 20(1): 75-103 (2010) - [c9]Alexandre David, Kim Guldstrand Larsen, Axel Legay, Ulrik Nyman, Andrzej Wasowski:
ECDAR: An Environment for Compositional Design and Analysis of Real Time Systems. ATVA 2010: 365-370 - [c8]Alexandre David, Kim G. Larsen, Axel Legay, Ulrik Nyman, Andrzej Wasowski:
Timed I/O automata: a complete specification theory for real-time systems. HSCC 2010: 91-100 - [c7]Timothy Bourke, Alexandre David, Kim G. Larsen, Axel Legay, Didier Lime, Ulrik Nyman, Andrzej Wasowski:
New Results on Timed Specifications. WADT 2010: 175-192
2000 – 2009
- 2009
- [j3]Adam Antonik, Michael Huth, Kim Guldstrand Larsen, Ulrik Nyman, Andrzej Wasowski:
EXPTIME-complete Decision Problems for Modal and Mixed Specifications. Electr. Notes Theor. Comput. Sci. 242(1): 19-33 (2009) - [c6]Alexandre David, Kim G. Larsen, Axel Legay, Ulrik Nyman, Andrzej Wasowski:
Methodologies for Specification of Real-Time Systems Using Timed I/O Automata. FMCO 2009: 290-310 - 2008
- [j2]Adam Antonik, Michael Huth, Kim G. Larsen, Ulrik Nyman, Andrzej Wasowski:
20 Years of Modal and Mixed Specifications. Bulletin of the EATCS 95: 94-129 (2008) - [c5]Adam Antonik, Michael Huth, Kim Guldstrand Larsen, Ulrik Nyman, Andrzej Wasowski:
Complexity of Decision Problems for Mixed and Modal Specifications. FoSSaCS 2008: 112-126 - 2007
- [j1]Kim Guldstrand Larsen, Ulrik Nyman, Andrzej Wasowski:
Modeling software product lines using color-blind transition systems. STTT 9(5-6): 471-487 (2007) - [c4]Kim Guldstrand Larsen, Ulrik Nyman, Andrzej Wasowski:
On Modal Refinement and Consistency. CONCUR 2007: 105-119 - [c3]Kim Guldstrand Larsen, Ulrik Nyman, Andrzej Wasowski:
Modal I/O Automata for Interface and Product Line Theories. ESOP 2007: 64-79 - 2006
- [c2]Kim Guldstrand Larsen, Ulrik Nyman, Andrzej Wasowski:
Interface Input/Output Automata. FM 2006: 82-97 - 2005
- [c1]Kim Guldstrand Larsen, Ulrik Larsen, Andrzej Wasowski:
Color-Blind Specifications for Transformations of Reactive Synchronous Programs. FASE 2005: 160-174
Coauthor Index
last updated on 2019-01-20 20:02 CET by the dblp team
data released under the ODC-BY 1.0 license
see also: Terms of Use | Privacy Policy | Imprint