Filter your results
- 5
- 11
- 4
- 1
- 5
- 5
- 5
- 4
- 1
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
|
|
sorted by
|
|
Efficient mapping of runnables to tasks for embedded AUTOSAR applicationsJournal of Systems Architecture, 2020, 110, pp.101800. ⟨10.1016/j.sysarc.2020.101800⟩
Journal articles
hal-02867311v1
|
||
|
Requirement specification and model-checking of a real-time scheduler implementation28th International Conference on Real-Time and Network Systems (RTNS 2020), Jun 2020, Paris, France. pp.89-99, ⟨10.1145/3394810.3394817⟩
Conference papers
hal-02941350v1
|
||
|
Backward Symbolic Optimal Reachability in Weighted Timed Automata18th International Conference on Formal Modeling and Analysis of Timed Systems (FORMATS 2020), Sep 2020, Vienna, Austria. pp.41-57, ⟨10.1007/978-3-030-57628-8_3⟩
Conference papers
hal-02939596v1
|
||
|
Analysis of Polka Contention Manager for use in Multicore Hard Real-Time SystemsInternational Conference on Real-Time Networks and Systems (RTNS’20), Jun 2020, Paris, France
Conference papers
hal-02566657v1
|
||
|
Toward an Exact Simulation Interval for Multiprocessor Real-Time Systems ValidationVALID 2020, The Twelfth International Conference on Advances in System Testing and Validation Lifecycle, Oct 2020, Lisbon, Portugal
Conference papers
hal-03006791v1
|