default search action

combined dblp search
author search
venue search
publication search

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

export refined list as

showing all ?? records

Journal Articles

see FAQ

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

2023
[j14]
- view
  authority control:
- export record
  dblp key:
  - journals/tie/NovakGNSB23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tie/NovakGNSB23
Mateja Novak, Iwona Grobelna, Ulrik Nyman, Pawel Szczesniak, Frede Blaabjerg:
Modular Modeling and Statistical Validation for Grid-Connected FS-MPC-Controlled Matrix Converters. IEEE Trans. Ind. Electron. 70(9): 8613-8623 (2023)
2022
[j13]
- view
  authority control:
- export record
  dblp key:
  - journals/sttt/KivirigaLN22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sttt/KivirigaLN22
Andrej Kiviriga, Kim Guldstrand Larsen, Ulrik Nyman:
Randomized reachability analysis in UPPAAL: fast error detection in timed systems. Int. J. Softw. Tools Technol. Transf. 24(6): 1025-1042 (2022)
2021
[j12]
- view
  authority control:
- export record
  dblp key:
  - journals/sttt/HanZNN21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sttt/HanZNN21
Pujie Han, Zhengjun Zhai, Brian Nielsen, Ulrik Nyman:
Model-based optimization of ARINC-653 partition scheduling. Int. J. Softw. Tools Technol. Transf. 23(5): 721-740 (2021)
2019
[j11]
- view
  authority control:
- export record
  dblp key:
  - journals/jacic/HanZNNK19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jacic/HanZNNK19
Pujie Han, Zhengjun Zhai, Brian Nielsen, Ulrik Nyman, Martin Kristjansen:
Schedulability Analysis of Distributed Multicore Avionics Systems with UPPAAL. J. Aerosp. Inf. Syst. 16(11): 473-499 (2019)
[j10]
- view
  authority control:
- export record
  dblp key:
  - journals/tie/NovakNDB19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tie/NovakNDB19
Mateja Novak, Ulrik Nyman, Tomislav Dragicevic, Frede Blaabjerg:
Analytical Design and Performance Validation of Finite Set MPC Regulated Power Converters. IEEE Trans. Ind. Electron. 66(3): 2004-2014 (2019)
2016
[j9]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/scp/BoudjadarDKLMNS16
- ask others
- share record
  persistent 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)
[j8]
- view
  authority control:
- export record
  dblp key:
  - journals/sigbed/Larsen16
- ask others
- share record
  persistent 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 Rev. 13(3): 41-48 (2016)
2015
[j7]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/scp/BoudjadarDKLMNS15
- ask others
- share record
  persistent 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)
[j6]
- view
  authority control:
- export record
  dblp key:
  - journals/sttt/DavidLLNTW15
- ask others
- share record
  persistent 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. Int. J. Softw. Tools Technol. Transf. 17(1): 17-45 (2015)
2014
[j5]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/scp/BauerLLNW14
- ask others
- share record
  persistent 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)
2012
[j4]
- view
  authority control:
- export record
  dblp key:
  - journals/sttt/DavidLLMNRSW12
- ask others
- share record
  persistent 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. Int. J. Softw. Tools Technol. Transf. 14(6): 703-720 (2012)
2010
[j3]
- view
  authority control:
- export record
  dblp key:
  - journals/mscs/AntonikHLNW10
- ask others
- share record
  persistent 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. Math. Struct. Comput. Sci. 20(1): 75-103 (2010)
2008
[j2]
- no documents available
  - no references & citations available
- export record
  dblp key:
  - journals/eatcs/AntonikHLNW08
- ask others
- share record
  persistent 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. Bull. EATCS 95: 94-129 (2008)
2007
[j1]
- view
  authority control:
- export record
  dblp key:
  - journals/sttt/LarsenNW07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sttt/LarsenNW07
Kim Guldstrand Larsen, Ulrik Nyman, Andrzej Wasowski:
Modeling software product lines using color-blind transition systems. Int. J. Softw. Tools Technol. Transf. 9(5-6): 471-487 (2007)

Conference and Workshop Papers

see FAQ

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

2023
[c35]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/fase/RibeiroLNLB23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fase/RibeiroLNLB23
Leandro Batista Ribeiro, Florian Lorber, Ulrik Nyman, Kim Guldstrand Larsen, Marcel Baunach:
A Modeling Concept for Formal Verification of OS-Based Compositional Software. FASE 2023: 26-46
[c34]
- view
  authority control:
- export record
  dblp key:
  - conf/formats/KivirigaLNN23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/formats/KivirigaLNN23
Andrej Kiviriga, Kim Guldstrand Larsen, Dejan Nickovic, Ulrik Nyman:
Usage-and Risk-Aware Falsification Testing for Cyber-Physical Systems. FORMATS 2023: 141-157
2022
[c33]
- view
  - electronic edition @ aaai.org
  - no references & citations available
- export record
  dblp key:
  - conf/aips/BoghJKLN22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aips/BoghJKLN22
Simon Bøgh, Peter Gjøl Jensen, Martin Kristjansen, Kim Guldstrand Larsen, Ulrik Nyman:
Distributed Fleet Management in Noisy Environments via Model-Predictive Control. ICAPS 2022: 565-573
[c32]
- view
  authority control:
- export record
  dblp key:
  - conf/qest/JensenKLNMM22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/qest/JensenKLNMM22
Peter Gjøl Jensen, Andrej Kiviriga, Kim Guldstrand Larsen, Ulrik Nyman, Adriana Mijacika, Jeppe Høiriis Mortensen:
Monte Carlo Tree Search for Priced Timed Automata. QEST 2022: 381-398
2021
[c31]
- view
  authority control:
- export record
  dblp key:
  - conf/fmics/KivirigaLN21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fmics/KivirigaLN21
Andrej Kiviriga, Kim Guldstrand Larsen, Ulrik Nyman:
Randomized Reachability Analysis in Uppaal: Fast Error Detection in Timed Systems. FMICS 2021: 149-166
2020
[c30]
- view
  authority control:
- export record
  dblp key:
  - conf/setta/KivirigaLN20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/setta/KivirigaLN20
Andrej Kiviriga, Kim Guldstrand Larsen, Ulrik Nyman:
Randomized Refinement Checking of Timed I/O Automata. SETTA 2020: 70-88
2019
[c29]
- view
  authority control:
- export record
  dblp key:
  - conf/dsrt/BoudjadarREN19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dsrt/BoudjadarREN19
Jalil Boudjadar, Saravanan Ramanathan, Arvind Easwaran, Ulrik Nyman:
Combining Task-level and System-level Scheduling Modes for Mixed Criticality Systems. DS-RT 2019: 1-10
2018
[c28]
- view
  authority control:
- export record
  dblp key:
  - conf/isorc/BoudjadarKPLLN18
- ask others
- share record
  persistent 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
[c27]
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1807-11570
- ask others
- share record
  persistent 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. MeTRiD@ETAPS 2018: 39-51
[c26]
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1809-03889
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1809-03889
Tobias R. Gundersen, Florian Lorber, Ulrik Nyman, Christian Ovesen:
Effortless Fault Localisation: Conformance Testing of Real-Time Systems in Ecdar. GandALF 2018: 147-160
[c25]
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1803-11050
- ask others
- share record
  persistent 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
2017
[c24]
- view
  authority control:
- export record
  dblp key:
  - conf/birthday/LarsenLMNN17
- ask others
- share record
  persistent 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
[c23]
- view
  authority control:
- export record
  dblp key:
  - conf/iceccs/JensenLLN17
- ask others
- share record
  persistent 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
[c22]
- view
  authority control:
- export record
  dblp key:
  - conf/icst/LarsenLNN17
- ask others
- share record
  persistent 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
[c21]
- view
  authority control:
- export record
  dblp key:
  - conf/iecon/SugumarSDNLB17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iecon/SugumarSDNLB17
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
2015
[c20]
- view
  authority control:
- export record
  dblp key:
  - conf/cbse/KimBNMLSLP15
- ask others
- share record
  persistent 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
[c19]
- view
  authority control:
- export record
  dblp key:
  - conf/isorc/BoudjadarKDLMNS15
- ask others
- share record
  persistent 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
[c18]
- view
  authority control:
- export record
  dblp key:
  - conf/nordsec/PedersenSLNH15
- ask others
- share record
  persistent 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
[c17]
- view
  authority control:
- export record
  dblp key:
  - conf/ecrts/BoudjadarKLN14
- ask others
- share record
  persistent 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
[c16]
- view
  authority control:
- export record
  dblp key:
  - conf/facs2/BoudjadarDKLMNS14
- ask others
- share record
  persistent 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
[c15]
- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/icaase/BoudjadarKLN14
- ask others
- share record
  persistent 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
[c14]
- view
  authority control:
- export record
  dblp key:
  - conf/tase/BoudjadarDKLMNS14
- ask others
- share record
  persistent 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
[c13]
- view
  authority control:
- export record
  dblp key:
  - conf/facs2/BoudjadarDKLMNS13
- ask others
- share record
  persistent 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
2012
[c12]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/fase/BauerDHLLNW12
- ask others
- share record
  persistent 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
[c11]
- view
  authority control:
- export record
  dblp key:
  - conf/facs2/BauerLLNW11
- ask others
- share record
  persistent 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
[c10]
- view
  authority control:
- export record
  dblp key:
  - conf/atva/DavidLLNW10
- ask others
- share record
  persistent 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
[c9]
- view
  authority control:
- export record
  dblp key:
  - conf/hybrid/DavidLLNW10
- ask others
- share record
  persistent 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
[c8]
- view
  authority control:
- export record
  dblp key:
  - conf/wadt/BourkeDLLLNW10
- ask others
- share record
  persistent 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
2009
[c7]
- view
  authority control:
- export record
  dblp key:
  - conf/fmco/DavidLLNW09
- ask others
- share record
  persistent 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
[c6]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/fossacs/AntonikHLNW08
- ask others
- share record
  persistent 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
[c5]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/AntonikHLNW09
- ask others
- share record
  persistent 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. EXPRESS 2008: 19-33
2007
[c4]
- view
  authority control:
- export record
  dblp key:
  - conf/concur/LarsenNW07
- ask others
- share record
  persistent 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 (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/esop/LarsenNW07
- ask others
- share record
  persistent 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
  authority control:
- export record
  dblp key:
  - conf/fm/LarsenNW06
- ask others
- share record
  persistent 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 (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/fase/LarsenLW05
- ask others
- share record
  persistent 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

Editorship

see FAQ

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

2013
[e1]
- view
  authority control:
- export record
  dblp key:
  - journals/corr/LarsenLN13
- ask others
- share record
  persistent 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]

Informal and Other Publications

see FAQ

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

2023
[i2]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2302-04529
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2302-04529
Martijn A. Goorden, Kim G. Larsen, Axel Legay, Florian Lorber, Ulrik Nyman, Andrzej Wasowski:
Timed I/O Automata: It is never too late to complete your timed specification theory. CoRR abs/2302.04529 (2023)
2020
[i1]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2003-05442
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2003-05442
Jalil Boudjadar, Saravanan Ramanathan, Arvind Easwaran, Ulrik Nyman:
Combining Task-level and System-level Scheduling Modes for Mixed Criticality Systems. CoRR abs/2003.05442 (2020)

Coauthor Index

see FAQ

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.