Filter your results
- 11
- 12
- 5
- 3
- 2
- 1
- 10
- 4
- 11
- 11
- 11
- 3
- 2
- 4
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
|
|
sorted by
|
|
Guest editorial: real-time networks and systemsReal-Time Systems, 2018, 54 (4), pp.797 - 799. ⟨10.1007/s11241-018-9317-8⟩
Journal articles
hal-01902125v1
|
||
An optimal approach for minimizing aperiodic response times in Real-time Energy Harvesting Systems15th ACS/IEEE International Conference on Computer Systems and Applications (AICCSA 2018), Oct 2018, Aqaba, France
Conference poster
hal-01935298v1
|
|||
Formal approach for a verified implementation of Global EDF in Trampoline26th International Conference on Real-Time Networks and Systems, Oct 2018, Chasseneuil-du-Poitou, France. pp.83-92
Conference papers
hal-02004671v1
|
|||
|
Reachability in parametric Interval Markov Chains using constraintsTheoretical Computer Science, 2018, 747, pp.48 - 74. ⟨10.1016/j.tcs.2018.06.016⟩
Journal articles
hal-01917092v1
|
||
|
Special Issue on Real Time Networks and SystemsReal-Time Systems, 54 (4), Springer, 2018, Special Issue on Real Time Networks and Systems, ⟨10.1007/s11241-018-9317-8⟩
Proceedings
hal-02001238v1
|
||
Hardware Runtime Verification of a RTOS Kernel: Evaluation Using Fault Injection14th European Dependable Computing Conference (EDCC), Sep 2018, Iasi, Romania. ⟨10.1109/edcc.2018.00016⟩
Conference papers
hal-01874233v1
|
|||
|
Application and Theory of Petri Nets and ConcurrencyLecture Notes in Computer Science, 10877, Springer International Publishing, 2018, Lecture Notes in Computer Science, 978-3-319-91267-7. ⟨10.1007/978-3-319-91268-4⟩
Proceedings
hal-02611715v1
|
||
Multiprocessor Real-Time Scheduling for WirelessSensors Powered by Renewable Energy Sources15th ACS/IEEE International Conference on Computer Systems and Applications (AICCSA 2018), Oct 2018, Aqaba, Jordan
Conference papers
hal-01935282v1
|
|||
Multiagent Architecture for Distributed Adaptive Scheduling of Reconfigurable Real-Time Tasks With Energy Harvesting ConstraintsIEEE Access, 2018
Journal articles
hal-01818945v1
|
|||
HW-based Architecture for Runtime Verification of Embedded Software on SOPC systems2018 NASA/ESA Conference on Adaptive Hardware and Systems (AHS), Aug 2018, Edinburgh, United Kingdom. ⟨10.1109/AHS.2018.8541459⟩
Conference papers
hal-01804096v1
|
|||
Parallel Generator of Discrete Sequences using Multi-Threading ApproachInternational Conference on Future Information Technology, Apr 2018, Salerno, Italy. pp.161-167
Conference papers
hal-02184688v1
|