Search - LS2N - équipe STR Access content directly

Filter your results

11 Results
Deposit type : Notice

Guest editorial: real-time networks and systems

Sébastien Faucou , Luís Miguel Pinho
Real-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 Systems

Rola El Osta , Maryline Chetto , Hussein El Ghor
15th 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 Trampoline

Khaoula Boukir , Jean-Luc Béchennec , Anne-Marie Déplanche
26th 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 constraints

Anicet Bart , Benoît Delahaye , Paulin Fournier , Didier Lime , Eric Monfroy , et al.
Theoretical 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 Systems

Sébastien Faucou , Luís Miguel Pinho
Real-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 Injection

Dimitry Solet , Mikaël Briday , Jean-Luc Béchennec , Sébastien Faucou , Sébastien Pillement
14th 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 Concurrency

Victor Khomenko , Olivier H. Roux
Lecture 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 Sources

Hussein El Ghor , Maryline Chetto , Rola El Osta
15th 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 Constraints

Wiem Housseyni , Olfa Mosbahi , Mohamed Khalgui , Zhiwu Li , Maryline Chetto , et al.
IEEE Access, 2018
Journal articles hal-01818945v1

HW-based Architecture for Runtime Verification of Embedded Software on SOPC systems

Dimitry Solet , Jean-Luc Béchennec , Mikaël Briday , Sébastien Faucou , Sébastien Pillement
2018 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 Approach

Mohammed Abu Taha , Safwan El Assad , Audrey Queudet
International Conference on Future Information Technology, Apr 2018, Salerno, Italy. pp.161-167
Conference papers hal-02184688v1