2023
Articles dans une revue
Armando Castañeda, Aurélie Hurault, Philippe Quéinnec, Matthieu Roy. Tasks in modular proofs of concurrent algorithms. 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⟩. ⟨hal-04086420⟩
Armando Castañeda, Pierre Fraigniaud, Ami Paz, Sergio Rajsbaum, Matthieu Roy, et al.. Synchronous t-resilient consensus in arbitrary graphs. Information and Computation, 2023, 292, pp.105035. ⟨10.1016/j.ic.2023.105035⟩. ⟨hal-04287975⟩
2022
Communications dans un congrès
Esteban Perrotin, Matthieu Roy, Ariane Herbulot, Michel Devy, Fabrice Bousquet. Détection des lignes aéroportuaires par méthode hybride de filtrage particulaire et de réseaux de neurones. Congrès Reconnaissance des Formes, Image, Apprentissage et Perception (RFIAP 2022), Jul 2022, Vannes, France. ⟨hal-03788203⟩
Esteban Perrotin, Matthieu Roy, Ariane Herbulot, Michel Devy, Fabrice Bousquet. Towards the certification of vision based systems: modular architecture for airport line detection. 11th European Congress on Embedded Real-Time Systems, Jun 2022, Toulouse, France. ⟨hal-03717993⟩
2021
Articles dans une revue
Armando Castañeda, Pierre Fraigniaud, Ami Paz, Sergio Rajsbaum, Matthieu Roy, et al.. A topological perspective on distributed network algorithms. Theoretical Computer Science, 2021, 849, pp.121-137. ⟨10.1016/j.tcs.2020.10.012⟩. ⟨hal-03100217⟩
2020
Articles dans une revue
Bertrand Jayles, Ramon Escobedo, Roberto Pasqua, Christophe Zanon, Adrien Blanchet, et al.. Collective Information Processing in Human Phase Separation. Philosophical Transactions of the Royal Society B: Biological Sciences, 2020, 375 (1807), ⟨10.1098/rstb.2019.0801⟩. ⟨hal-02393253v2⟩
Christophe Bertero, Jean-François Léon, Gilles Trédan, Matthieu Roy, Alexandre Armengaud. Urban-Scale NO2 Prediction with Sensors Aboard Bicycles: A Comparison of Statistical Methods Using Synthetic Observations. Atmosphere, 2020, 11 (9), pp.1014. ⟨10.3390/atmos11091014⟩. ⟨hal-02998998⟩
Communications dans un congrès
Jean Ibarz, Michaël Lauer, Matthieu Roy, Jean-Charles Fabre, Olivier Flébus. Optimizing Vehicle-to-Cloud Data Transfers using Soft Real-Time Scheduling Concepts. RTNS 2020: 28th International Conference on Real-Time Networks and Systems, Jun 2020, virtual conference, France. pp.161-171, ⟨10.1145/3394810.3394818⟩. ⟨hal-03167058⟩
Daniel Loche, Michaël Lauer, Matthieu Roy, Jean-Charles Fabre. Safe Scheduling on Multicores: an approach leveraging multi-criticality and end-to-end deadlines. 10th European Congress on Embedded Real Time Software and Systems (ERTS 2020), Jan 2020, TOULOUSE, France. ⟨hal-02465340⟩
2019
Articles dans une revue
Achour Mostefaoui, Michel Raynal, Matthieu Roy. Time-Efficient Read/Write Register in Crash-prone Asynchronous Message-Passing Systems. Computing, 2019, 101 (1), pp.3-17. ⟨10.1007/s00607-018-0615-8⟩. ⟨hal-01784210⟩
Communications dans un congrès
Daniel Loche, Michaël Lauer, Matthieu Roy, Jean-Charles Fabre. Mixed Critical Automotive Embedded Applications on Multicores: A Safe Scheduling Approach for Dependability. 5th International Workshop on Critical Automotive Applications: Robustness & Safety, Sep 2019, Naples, Italy. ⟨hal-02303216⟩
Armando Castañeda, Pierre Fraigniaud, Ami Paz, Sergio Rajsbaum, Matthieu Roy, et al.. A Topological Perspective on Distributed Network Algorithms. 26th International Colloquium on Structural Information and Communication Complexity (SIROCCO 2019), Jul 2019, L'Aquila, Italy. ⟨10.1007/978-3-030-24922-9_1⟩. ⟨hal-02433511⟩
Armando Castañeda, Pierre Fraigniaud, Ami Paz, Sergio Rajsbaum, Matthieu Roy, et al.. Synchronous t-Resilient Consensus in Arbitrary Graphs. 21st International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS 2019), Oct 2019, Pisa, Italy. ⟨10.1007/978-3-030-34992-9_5⟩. ⟨hal-02433524⟩
Armando Castañeda, Aurélie Hurault, Philippe Quéinnec, Matthieu Roy. Tasks in Modular Proofs of Concurrent Algorithms. 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⟩. ⟨hal-02903005⟩
2018
Articles dans une revue
Armando Castañeda, Sergio Rajsbaum, Matthieu Roy. Convergence and covering on graphs for wait-free robots. Journal of the Brazilian Computer Society, 2018, 24 (1), ⟨10.1186/s13173-017-0065-8⟩. ⟨hal-01740338⟩
Angeliki Kritikakou, Thibaut Marty, Matthieu Roy. DYNASCORE: DYNAmic Software COntroller to increase REsource utilization in mixed-critical systems. ACM Transactions on Design Automation of Electronic Systems, 2018, 23 (2), pp.art ID n°13. ⟨10.1145/3110222⟩. ⟨hal-01559696⟩
Michaël Lauer, Matthieu Amy, Jean-Charles Fabre, Matthieu Roy, William Excoffon, et al.. Resilient Computing on ROS using Adaptive Fault Tolerance. Journal of Software: Evolution and Process, 2018, 30 (3), pp.e1917. ⟨10.1002/smr.1917⟩. ⟨hal-01703968⟩
Mathilde Machin, Jérémie Guiochet, Hélène Waeselynck, Jean-Paul Blanquart, Matthieu Roy, et al.. SMOF - A Safety MOnitoring Framework for Autonomous Systems. IEEE Transactions on Systems, Man, and Cybernetics: Systems, 2018, 48 (5), pp.702-715. ⟨10.1109/TSMC.2016.2633291⟩. ⟨hal-01394139⟩
Thèse de doctorat, Habilitation à diriger des recherches
Matthieu Roy. Adaptation dans les systèmes dynamiques : une vision informatique de la résilience. Calcul parallèle, distribué et partagé [cs.DC]. Université de Toulouse - Institut National Polytechnique de Toulouse (INPT), 2018. ⟨tel-01801677⟩
2017
Articles dans une revue
Miruna Stoicescu, Jean-Charles Fabre, Matthieu Roy. Architecting resilient computing systems: A component-based approach for adaptive fault tolerance. Journal of Systems Architecture, 2017, 73, pp.6-16. ⟨10.1016/j.sysarc.2016.12.005⟩. ⟨hal-01472877⟩
Yvonne-Anne Pignolet, Matthieu Roy, Stefan Schmid, Gilles Trédan. The many faces of graph dynamics. Journal of Statistical Mechanics: Theory and Experiment, 2017, 2017 (6), pp.063401. ⟨10.1088/1742-5468/aa71ce⟩. ⟨hal-01559708⟩
Communications dans un congrès
Armando Castañeda, Yoram Moses, Michel Raynal, Matthieu Roy. Early Decision and Stopping in Synchronous Consensus: A Predicate-Based Guided Tour. International Conference on Networked Systems (NETYS), May 2017, Marrakech, Morocco. pp.167 - 221, ⟨10.1007/978-3-319-59647-1_16⟩. ⟨hal-01559723⟩
Christophe Bertero, Matthieu Roy, Carla Sauvanaud, Gilles Trédan. Experience Report: Log Mining using Natural Language Processing and Application to Anomaly Detection. 28th International Symposium on Software Reliability Engineering (ISSRE 2017), Oct 2017, Toulouse, France. 10p. ⟨hal-01576291⟩
2016
Articles dans une revue
Marc-Olivier Killijian, Roberto Pasqua, Matthieu Roy, Gilles Trédan, Christophe Zanon. Souk: Spatial Observation of hUman Kinetics. Computer Networks, 2016, 111, pp.109-119. ⟨10.1016/j.comnet.2016.08.008⟩. ⟨hal-01372329⟩
Chapitres d’ouvrages
Matthieu Roy. BG Distributed Simulation Algorithm. Ming-Yang Kao. Encyclopedia of Algorithms, Springer New York, pp.199-203, 2016, 978-1-4939-2863-7. ⟨10.1007/978-1-4939-2864-4_611⟩. ⟨hal-02087581⟩
Communications dans un congrès
Armando Castañeda, Pierre Fraigniaud, Eli Gafni, Sergio Rajsbaum, Matthieu Roy. Asynchronous Coordination Under Preferences and Constraints. 23rd International Colloquium on Structural Information and Communication Complexity, Jul 2016, Helsinki, Finland. ⟨hal-01341710⟩
Angeliki Kritikakou, Thibaut Marty, Claire Pagetti, Christine Rochange, Michaël Lauer, et al.. Multiplexing Adaptive with Classic AUTOSAR? Adaptive Software Control to Increase Resource Utilization in Mixed-Critical Systems. Workshop CARS 2016 - Critical Automotive applications : Robustness & Safety, Sep 2016, Göteborg, Sweden. ⟨hal-01375576⟩
Roberto Pasqua, Matthieu Roy, Gilles Trédan. Loca: A Location-Oblivious Co-location Attack in Crowds. 2016 ACM International Joint Conference on Pervasive and Ubiquitous Computing, Sep 2016, Heidelberg, Germany. ⟨10.1145/2971648.2971663⟩. ⟨hal-01372317⟩
Michaël Lauer, Matthieu Amy, Jean-Charles Fabre, Matthieu Roy, William Excoffon, et al.. Engineering Adaptive Fault-Tolerance Mechanisms for Resilient Computing on ROS. HASE 2016 — IEEE 17th International Symposium on High Assurance Systems Engineering Symposium, Jan 2016, Orlando, FL, United States. pp.94-101, ⟨10.1109/HASE.2016.30⟩. ⟨hal-01288098⟩
Jean-Charles Fabre, Michaël Lauer, Matthieu Roy, Matthieu Amy, William Excoffon, et al.. Towards Resilient Computing on ROS for Embedded Applications. 8th European Congress on Embedded Real Time Software and Systems (ERTS 2016), Jan 2016, TOULOUSE, France. ⟨hal-01292318⟩
Armando Castañeda, Pierre Fraigniaud, Eli Gafni, Sergio Rajsbaum, Matthieu Roy. Asynchronous Coordination with Constraints and Preferences. 35th ACM SIGACT-SIGOPS Symposium on Principles of Distributed Computing (PODC 2016), Jul 2016, Chicago, United States. ⟨10.1145/2933057.2933081⟩. ⟨hal-01326911⟩
Armando Castañeda, Sergio Rajsbaum, Matthieu Roy. Two Convergence Problems for Robots on Graphs. 7th IEEE Latin-American Symposium on Dependable Computing, Oct 2016, Cali, Colombia. ⟨10.1109/LADC.2016.21⟩. ⟨hal-01386628⟩
2015
Communications dans un congrès
Ludovic Pintard, Michel Leeman, Abdelillah Ymlahi-Ouazzani, Jean-Charles Fabre, Karama Kanoun, et al.. Using Fault Injection to Verify an AUTOSAR Application According to the ISO 26262. SAE 2015 World Congress & Exhibition, Apr 2015, Detroit, United States. ⟨10.4271/2015-01-0272⟩. ⟨hal-01221422⟩
Mathilde Machin, Fanny Dufossé, Jérémie Guiochet, David Powell, Matthieu Roy, et al.. Model-Checking and Game theory for Synthesis of Safety Rules. 2015 IEEE 16th International Symposium on High Assurance Systems Engineering (HASE), Jan 2015, Daytona Beach Shores, United States. pp.36-43, ⟨10.1109/HASE.2015.15⟩. ⟨hal-01164981⟩
Michaël Lauer, Matthieu Amy, William Excoffon, Matthieu Roy, Miruna Stoicescu. Towards Adaptive Fault Tolerance: From a Component-Based Approach to ROS. CARS 2015 - Critical Automotive applications: Robustness & Safety, Sep 2015, Paris, France. ⟨hal-01193039⟩
Mathilde Machin, Fanny Dufossé, Jérémie Guiochet, David Powell, Matthieu Roy, et al.. Model-checking and Game Theory for the Synthesis of Safety Rules. IEEE International Symposium on High Assurance Systems Engineering (HASE 2015), Jan 2015, Daytona Beach, United States. ⟨hal-01207657⟩
Hélène Martorell, Jean-Charles Fabre, Michaël Lauer, Matthieu Roy, Régis Valentin. Partial Updates of AUTOSAR Embedded Applications — To What Extent?. 11th European Dependable Computing Conference (EDCC 2015), Sep 2015, Paris, France. ⟨hal-01194832⟩
2014
Communications dans un congrès
Hélène Martorell, Jean-Charles Fabre, Matthieu Roy, Régis Valentin. Improving Adaptiveness of AUTOSAR Embedded Applications. ACM Symposium on Applied Computing, Mar 2014, Gyeongju, South Korea. pp.384-390. ⟨hal-01062054⟩
Matthieu Roy, Stefan Schmid, Gilles Trédan. Modeling and Measuring Graph Similarity: The Case for Centrality Distance. FOMC 2014, 10th ACM International Workshop on Foundations of Mobile Computing, Aug 2014, Philadelphia, United States. pp.53. ⟨hal-01010901⟩
Miruna Stoicescu, Jean-Charles Fabre, Matthieu Roy, Animesh Pathak. From Resilient Computing Architectural Concepts to Wireless Sensor Network-based Applications. EDCC 2014 - Tenth European Dependable Computing Conference, May 2014, Newcastle upon Tyne, United Kingdom. pp.46 - 49, ⟨10.1109/EDCC.2014.23⟩. ⟨hal-00938389⟩
Angeliki Kritikakou, Olivier Baldellon, Claire Pagetti, Christine Rochange, Matthieu Roy. Run-time Control to Increase Task Parallelism in Mixed-Critical Systems. 26th Euromicro Conference on Real-Time Systems (ECRTS14), Jul 2014, Madrid, Spain. 11p. ⟨hal-01015476⟩
Hélène Martorell, Jean-Charles Fabre, Matthieu Roy, Régis Valentin. Dynamic software updates vs AUTOSAR. Embedded Real Time Software and Systems (ERTS2014), Feb 2014, Toulouse, France. ⟨hal-02272217⟩
Pierre Fraigniaud, Sergio Rajsbaum, Matthieu Roy, Corentin Travers. The Opinion Number of Set-Agreement. OPODIS 2014 - 18th International Conference on Principles of Distributed Systems, Dec 2014, Cortina d’Ampezzo, Italy. pp.155-170. ⟨hal-01073578⟩
Karama Kanoun, Ludovic Pintard, Jean-Charles Fabre, Michel Leeman, Matthieu Roy. Fault injection and automotive development process. Embedded Real Time Software and Systems (ERTS2), Feb 2014, Toulouse, France. 9p. ⟨hal-01931222⟩
Angeliki Kritikakou, Claire Pagetti, Matthieu Roy, Christine Rochange, Madeleine Faugère, et al.. Distributed run-time WCET controller for concurrent critical tasks in mixed-critical systems. 22nd International Conference on Real-Time Networks and Systems, Oct 2014, Versailles, France. ⟨10.1145/2659787.2659799⟩. ⟨hal-01096102⟩
Sébastien Gambs, Marc-Olivier Killijian, Cédric Lauradoux, Cristina Onete, Matthieu Roy, et al.. Vssdb: A Verifiable Secret-Sharing Distance-Bounding Protocol. International Conference on Cryptography and Information security (BalkanCryptSec'14), Oct 2014, Istanbul, France. ⟨hal-01242265⟩
Sébastien Gambs, Marc-Olivier Killijian, Matthieu Roy, Moussa Traoré. PROPS: A PRivacy-Preserving Location Proof System. 33rd IEEE International Symposium on Reliable Distributed Systems, SRDS 2014,, Oct 2014, Nara, Japan. ⟨10.1109/SRDS.2014.37⟩. ⟨hal-01242266⟩
Pierre Fraigniaud, Eli Gafni, Sergio Rajsbaum, Matthieu Roy. Automatically Adjusting Concurrency to the Level of Synchrony. International Symposium on Distributed Computing (DISC), Oct 2014, Austin, United States. pp.1-15, ⟨10.1007/978-3-662-45174-8_1⟩. ⟨hal-01062031⟩
Jesús Friginal, Marc-Olivier Killijian, Roberto Pasqua, Matthieu Roy, Gilles Trédan. Does Mobility Matter? An Evaluation Methodology for Opportunistic Apps. IEEE International Symposium on Network Computing and Applications (NCA), Aug 2014, Cambridge, United States. ⟨10.1109/NCA.2014.8⟩. ⟨hal-01242260⟩
Roberto Pasqua, Matthieu Roy, Gilles Trédan. Inférence d'interactions sociales par colocalisation discrète. Atelier sur la Protection de la Vie Privée 2014 (APVP14), Jun 2014, Cabourg, France. ⟨hal-01382489⟩
Ludovic Pintard, Jean-Charles Fabre, Michel Leeman, Karama Kanoun, Matthieu Roy. From Safety Analyses to Experimental Validation of Automotive Embedded Systems. PRDC 2014, Nov 2014, Singapore, Singapore. pp.125-134, ⟨10.1109/PRDC.2014.23⟩. ⟨hal-01265454⟩
