ask others

Ulrik Nyman

Ulrik Larsen

> Home > Persons

Person information

affiliation: Aalborg University, Department of Computer Science

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

showing all ?? records

2010 – today

see FAQ

What is the meaning of the colors in the publication lists?

2018
[c24]
- view
  - electronic edition @ ieeecomputersociety.org
- export record
  dblp key:
  - conf/isorc/BoudjadarKPLLN18
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/isorc/BoudjadarKPLLN18
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
[c23]
- view
  - electronic edition via DOI
  - electronic edition @ arxiv.org
- export record
  dblp key:
  - journals/corr/abs-1803-11050
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/corr/abs-1803-11050
Pujie Han, Zhengjun Zhai, Brian Nielsen, Ulrik Nyman:
A Modeling Framework for Schedulability Analysis of Distributed Avionics Systems. MARS/VPT@ETAPS 2018: 150-168
[i1]
- view
  - electronic edition @ arxiv.org
- export record
  dblp key:
  - journals/corr/abs-1807-11570
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/corr/abs-1807-11570
Pujie Han, Zhengjun Zhai, Brian Nielsen, Ulrik Nyman:
A Compositional Approach for Schedulability Analysis of Distributed Avionics Systems. CoRR abs/1807.11570 (2018)
2017
[c22]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/birthday/LarsenLMNN17
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/birthday/LarsenLMNN17
Kim G. Larsen, Axel Legay, Marius Mikucionis, Brian Nielsen, Ulrik Nyman:
Compositional Testing of Real-Time Systems. ModelEd, TestEd, TrustEd 2017: 107-124
[c21]
- view
  - electronic edition via DOI
  - electronic edition @ ieeecomputersociety.org
- export record
  dblp key:
  - conf/iceccs/JensenLLN17
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/iceccs/JensenLLN17
Peter Gjøl Jensen, Kim Guldstrand Larsen, Axel Legay, Ulrik Nyman:
Integrating Tools: Co-simulation in UPPAAL Using FMI-FMU. ICECCS 2017: 11-19
[c20]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/icst/LarsenLNN17
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/icst/LarsenLNN17
Kim G. Larsen, Florian Lorber, Brian Nielsen, Ulrik Nyman:
Mutation-Based Test-Case Generation with Ecdar. ICST Workshops 2017: 319-328
2016
[j10]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/scp/BoudjadarDKLMNS16
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/scp/BoudjadarDKLMNS16
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]
- view
  - electronic edition @ acm.org
- export record
  dblp key:
  - journals/sigbed/Larsen16
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/sigbed/Larsen16
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]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/scp/BoudjadarDKLMNS15
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/scp/BoudjadarDKLMNS15
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]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/sttt/DavidLLNTW15
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/sttt/DavidLLNTW15
Alexandre David, Kim G. Larsen, Axel Legay, Ulrik Nyman, Louis-Marie Traonouez, Andrzej Wasowski:
Real-time specifications. STTT 17(1): 17-45 (2015)
[c19]
- view
  - electronic edition @ acm.org
- export record
  dblp key:
  - conf/cbse/KimBNMLSLP15
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/cbse/KimBNMLSLP15
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]
- view
  - electronic edition via DOI
  - electronic edition @ ieeecomputersociety.org
- export record
  dblp key:
  - conf/isorc/BoudjadarKDLMNS15
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/isorc/BoudjadarKDLMNS15
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]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/nordsec/PedersenSLNH15
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/nordsec/PedersenSLNH15
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]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/scp/BauerLLNW14
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/scp/BauerLLNW14
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]
- view
  - electronic edition via DOI
  - electronic edition @ ieeecomputersociety.org
- export record
  dblp key:
  - conf/ecrts/BoudjadarKLN14
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/ecrts/BoudjadarKLN14
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]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/facs2/BoudjadarDKLMNS14
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/facs2/BoudjadarDKLMNS14
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]
- view
  - electronic edition @ ceur-ws.org
- export record
  dblp key:
  - conf/icaase/BoudjadarKLN14
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/icaase/BoudjadarKLN14
Abdeldjalil Boudjadar, Jin Hyun Kim, Kim Guldstrand Larsen, Ulrik Nyman:
Compositional Schedulability Analysis of An Avionics System Using UPPAAL. ICAASE 2014: 140-147
[c13]
- view
  - electronic edition via DOI
  - electronic edition @ ieeecomputersociety.org
- export record
  dblp key:
  - conf/tase/BoudjadarDKLMNS14
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/tase/BoudjadarDKLMNS14
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]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/facs2/BoudjadarDKLMNS13
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/facs2/BoudjadarDKLMNS13
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]
- view
- export record
  dblp key:
  - journals/corr/LarsenLN13
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/corr/LarsenLN13
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]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/sttt/DavidLLMNRSW12
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/sttt/DavidLLMNRSW12
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]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/fase/BauerDHLLNW12
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/fase/BauerDHLLNW12
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]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/facs2/BauerLLNW11
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/facs2/BauerLLNW11
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]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/mscs/AntonikHLNW10
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/mscs/AntonikHLNW10
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]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/atva/DavidLLNW10
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/atva/DavidLLNW10
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]
- view
  - electronic edition @ acm.org
- export record
  dblp key:
  - conf/hybrid/DavidLLNW10
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/hybrid/DavidLLNW10
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]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/wadt/BourkeDLLLNW10
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/wadt/BourkeDLLLNW10
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

see FAQ

What is the meaning of the colors in the publication lists?

2009
[j3]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/entcs/AntonikHLNW09
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/entcs/AntonikHLNW09
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]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/fmco/DavidLLNW09
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/fmco/DavidLLNW09
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]
- no documents available
- export record
  dblp key:
  - journals/eatcs/AntonikHLNW08
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/eatcs/AntonikHLNW08
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]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/fossacs/AntonikHLNW08
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/fossacs/AntonikHLNW08
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]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/sttt/LarsenNW07
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/sttt/LarsenNW07
Kim Guldstrand Larsen, Ulrik Nyman, Andrzej Wasowski:
Modeling software product lines using color-blind transition systems. STTT 9(5-6): 471-487 (2007)
[c4]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/concur/LarsenNW07
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/concur/LarsenNW07
Kim Guldstrand Larsen, Ulrik Nyman, Andrzej Wasowski:
On Modal Refinement and Consistency. CONCUR 2007: 105-119
[c3]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/esop/LarsenNW07
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/esop/LarsenNW07
Kim Guldstrand Larsen, Ulrik Nyman, Andrzej Wasowski:
Modal I/O Automata for Interface and Product Line Theories. ESOP 2007: 64-79
2006
[c2]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/fm/LarsenNW06
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/fm/LarsenNW06
Kim Guldstrand Larsen, Ulrik Nyman, Andrzej Wasowski:
Interface Input/Output Automata. FM 2006: 82-97
2005
[c1]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/fase/LarsenLW05
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/fase/LarsenLW05
Kim Guldstrand Larsen, Ulrik Larsen, Andrzej Wasowski:
Color-Blind Specifications for Transformations of Reactive Synchronous Programs. FASE 2005: 160-174

Coauthor Index

see FAQ

maintained by

at