Search - IRIT - Institut de Recherche en Informatique de Toulouse Access content directly

Filter your results

6 Results
authFullName_s : Matthieu Roy
Image document

Run-time Control to Increase Task Parallelism in Mixed-Critical Systems

Angeliki Kritikakou , Olivier Baldellon , Claire Pagetti , Christine Rochange , Matthieu Roy
26th Euromicro Conference on Real-Time Systems (ECRTS14), Jul 2014, Madrid, Spain. 11p
Conference papers hal-01015476v1
Image document

Distributed run-time WCET controller for concurrent critical tasks in mixed-critical systems

Angeliki Kritikakou , Claire Pagetti , Matthieu Roy , Christine Rochange , Madeleine Faugère , et al.
22nd International Conference on Real-Time Networks and Systems, Oct 2014, Versailles, France. ⟨10.1145/2659787.2659799⟩
Conference papers hal-01096102v1
Image document

Tasks in modular proofs of concurrent algorithms

Armando Castañeda , Aurélie Hurault , Philippe Quéinnec , Matthieu Roy
Information and Computation, 2023, 292 (Selected papers from SSS’2019, the 21st International Symposium on Stabilization, Safety, and Security of Distributed Systems), pp.105040. ⟨10.1016/j.ic.2023.105040⟩
Journal articles hal-04086420v1
Image document

Monitoring On-line Timing Information to Support Mixed-Critical Workloads

Angeliki Kritikakou , Olivier Baldellon , Claire Pagetti , Christine Rochange , Matthieu Roy , et al.
IEEE Real-Time Systems Symposium 2013, Dec 2013, Vancouver, Canada. pp.9-10
Conference papers hal-01015455v1
Image document

Multiplexing Adaptive with Classic AUTOSAR? Adaptive Software Control to Increase Resource Utilization in Mixed-Critical Systems

Angeliki Kritikakou , Thibaut Marty , Claire Pagetti , Christine Rochange , Michaël Lauer , et al.
Workshop CARS 2016 - Critical Automotive applications : Robustness & Safety, Sep 2016, Göteborg, Sweden
Conference papers hal-01375576v1
Image document

Tasks in Modular Proofs of Concurrent Algorithms

Armando Castañeda , Aurélie Hurault , Philippe Quéinnec , Matthieu Roy
21st International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS 2019), Oct 2019, Pisa, Italy. pp.69-83, ⟨10.1007/978-3-030-34992-9_6⟩
Conference papers hal-02903005v1