Skip to Main content

Co-authors

Number of documents

78

Adaptation in Dynamic Systems: a Computer Science View on Resilience


Journal articles10 documents

  • 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, Royal Society, The, 2020, 375 (1807), ⟨10.1098/rstb.2019.0801⟩. ⟨hal-02393253v2⟩
  • Achour Mostefaoui, Michel Raynal, Matthieu Roy. Time-Efficient Read/Write Register in Crash-prone Asynchronous Message-Passing Systems. Computing, Springer Verlag, 2019, 101 (1), pp.3-17. ⟨10.1007/s00607-018-0615-8⟩. ⟨hal-01784210⟩
  • 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, Association for Computing Machinery, 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, John Wiley & Sons, Ltd., 2018, 30 (3), pp.e1917. ⟨10.1002/smr.1917⟩. ⟨hal-01703968⟩
  • Armando Castañeda, Sergio Rajsbaum, Matthieu Roy. Convergence and covering on graphs for wait-free robots. Journal of the Brazilian Computer Society, Springer Verlag, 2018, 24 (1), ⟨10.1186/s13173-017-0065-8⟩. ⟨hal-01740338⟩
  • 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, IEEE, 2018, 48 (5), pp.702-715. ⟨10.1109/TSMC.2016.2633291⟩. ⟨hal-01394139⟩
  • Yvonne Anne Pignolet, Matthieu Roy, Stefan Schmid, Gilles Trédan. The many faces of graph dynamics. Journal of Statistical Mechanics: Theory and Experiment, IOP Publishing, 2017, 2017 (6), pp.063401. ⟨10.1088/1742-5468/aa71ce⟩. ⟨hal-01559708⟩
  • Miruna Stoicescu, Jean-Charles Fabre, Matthieu Roy. Architecting resilient computing systems: A component-based approach for adaptive fault tolerance. Journal of Systems Architecture, Elsevier, 2017, 73, pp.6-16. ⟨10.1016/j.sysarc.2016.12.005⟩. ⟨hal-01472877⟩
  • Marc-Olivier Killijian, Roberto Pasqua, Matthieu Roy, Gilles Trédan, Christophe Zanon. Souk: Spatial Observation of hUman Kinetics. Computer Networks, Elsevier, 2016, 111, pp.109-119. ⟨10.1016/j.comnet.2016.08.008⟩. ⟨hal-01372329⟩
  • R. Arraes-Mescoff, M. Roy-Barman, L. Coppola, M. Souhaut, K. Tachikawa, et al.. The behavior of Al, Mn, Ba, Sr, REE and Th isotopes during in vitro degradation of large marine particles. Marine Chemistry, Elsevier, 2001, 73, pp.1 - 19. ⟨hal-02063103⟩

Conference papers60 documents

  • 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⟩
  • 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⟩
  • 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⟩
  • Daniel Loche, Michaël Lauer, Matthieu Roy, Jean-Charles Fabre. Mixed Critical Automotive Embedded Applications on Multicores: A Safe Scheduling Approach for Dependability. CARS - 5th Critical Automotive applications: Robustness & Safety (EDCC - Cars Workshop), Sep 2019, Naples, Italy. ⟨hal-02302486⟩
  • 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, 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⟩
  • 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, 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⟩
  • 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⟩
  • 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⟩
  • 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⟩
  • 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 the Synthesis of Safety Rules. IEEE International Symposium on High Assurance Systems Engineering (HASE 2015), Jan 2015, Daytona Beach, United States. ⟨hal-01207657⟩
  • 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⟩
  • 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⟩
  • 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⟩
  • 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⟩
  • 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⟩
  • 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⟩
  • 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⟩
  • 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⟩
  • 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⟩
  • 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⟩
  • 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⟩
  • 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⟩
  • 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⟩
  • 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⟩
  • Olivier Baldellon, Jean-Charles Fabre, Matthieu Roy. Minotor: Monitoring Timing and Behavioral Properties for Dependable Distributed Systems. The 19th IEEE Pacific Rim International Symposium on Dependable Computing (PRDC 2013), Dec 2013, Vancouver, Canada. 10p. ⟨hal-00978475⟩
  • Quentin Enard, Miruna Stoicescu, Emilie Balland, Charles Consel, Laurence Duchien, et al.. Design-Driven Development Methodology for Resilient Computing. CBSE'13: Proceedings of the 16th International ACM Sigsoft Symposium on Component-Based Software Engineering, Jun 2013, Vancouver, Canada. ⟨hal-00814298⟩
  • Hélène Martorell, Jean-Charles Fabre, Matthieu Roy, Régis Valentin. Towards Dynamic Updates In AUTOSAR. SAFECOMP 2013 - Workshop CARS (2nd Workshop on Critical Automotive applications : Robustness & Safety) of the 32nd International Conference on Computer Safety, Reliability and Security, Sep 2013, Toulouse, France. pp.NA. ⟨hal-00848361⟩
  • Ludovic Pintard, Jean-Charles Fabre, Karama Kanoun, Michel Leeman, Matthieu Roy. Fault Injection in the Automotive Standard ISO 26262: An Initial Approach. 14th European Workshop, EWDC 2013, May 2013, Coimbra, Portugal. 8p., ⟨10.1007/978-3-642-38789-0_11⟩. ⟨hal-01615019⟩
  • Marc-Olivier Killijian, Matthieu Roy, Gilles Trédan, Christophe Zanon. SOUK: Social Observation of hUman Kinetics. Ubicomp 2013 (2013 ACM International Joint Conference on Pervasive and Ubiquitous Computing), Sep 2013, Zurich, Switzerland. 4p., ⟨10.1145/2493432.2494526⟩. ⟨hal-00839520v2⟩
  • Angeliki Kritikakou, Olivier Baldellon, Claire Pagetti, Christine Rochange, Matthieu Roy, et al.. Monitoring On-line Timing Information to Support Mixed-Critical Workloads. IEEE Real-Time Systems Symposium 2013, Dec 2013, Vancouver, Canada. pp.9-10. ⟨hal-01015455⟩
  • Sébastien Gambs, Marc-Olivier Killijian, Matthieu Roy, Moussa Traoré. Locanyms: Towards privacy-preserving location-based services. Atelier Protection de la Vie Privée (APVP 2012), 3ième édition, Jun 2012, Ile de Groix, France. ⟨hal-00765530⟩
  • Sébastien Gambs, Marc-Olivier Killijian, Matthieu Roy, Moussa Traoré. Locanyms: Towards Privacy-Preserving Location-Based Services. 1st European Workshop on AppRoaches to MObiquiTous Resilience, May 2012, Sibiu, Romania. pp.6. ⟨hal-00699742⟩
  • Olivier Baldellon, Jean-Charles Fabre, Matthieu Roy. Exécution répartie et temps-réel de réseaux de Petri. 14èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications, May 2012, La Grande Motte, France. pp.1-4. ⟨hal-00689991⟩
  • Nicolas Haderer, Miguel Nuñez del Prado Cortez, Romain Rouvoy, Marc-Olivier Killijian, Matthieu Roy. Campagne de collecte de données et vie privée. 3ème Journées du GDR CNRS GPL, Jun 2012, Rennes, France. pp.253-254. ⟨hal-00711609v2⟩
  • Miruna Stoicescu, Jean-Charles Fabre, Matthieu Roy. Experimenting with Component-Based Middleware for Adaptive Fault Tolerant Computing. European Dependable Computing Conference (EDCC 2012), May 2012, Sibiu, Romania. 2p. ⟨hal-00747429⟩
  • Miruna Stoicescu, Jean-Charles Fabre, Matthieu Roy. From Design for Adaptation to Component-Based Resilient Computing. IEEE Pacific Rim International Symposium on Dependable Computing (PRDC 2012), Nov 2012, Niigata, Japan. 10p. ⟨hal-00747469⟩
  • Olivier Baldellon, Jean-Charles Fabre, Matthieu Roy. Distributed Monitoring of Temporal System Properties using Petri Nets. 31st IEEE International Symposium on Reliable Distributed Systems (SRDS 2012), Oct 2012, Irvine, United States. 10p. ⟨hal-01015494⟩
  • Christian Artigues, Yves Deswarte, Jérémie Guiochet, Marie-José Huguet, Marc-Olivier Killijian, et al.. AMORES: an architecture for mobiquitous resilient systems. ARMOR'12, Apr 2012, Sibiu, Romania. Article N°7 (7p.), ⟨10.1145/2222436.2222443⟩. ⟨hal-00736020⟩
  • Amina Mekki-Mokhtar, Jean-Paul Blanquart, Jérémie Guiochet, David Powell, Matthieu Roy. Elicitation of Executable Safety Rules for Critical Autonomous Systems. Embedded Real Time Software and Systems (ERTS2012), Feb 2012, Toulouse, France. 10p. ⟨hal-01282237⟩
  • Amina Mekki-Mokhtar, Jean-Paul Blanquart, Jérémie Guiochet, David Powell, Matthieu Roy. Safety Trigger Conditions for Critical Autonomous Systems. The 18th IEEE Pacific Rim International Symposium on Dependable Computing (PRDC 2012), Nov 2012, Niigata, Japan. 10p., ⟨10.1109/PRDC.2012.22⟩. ⟨hal-01282203⟩
  • Marc-Olivier Killijian, Matthieu Roy, Gaetan Severac. The ARUM Experimentation Platform : an Open Tool to evaluate Mobile Systems Applications. AMiRE 2011: 6th International Symposium on Autonomous Minirobots for Research and Edutainment, May 2011, Bielefeld, Germany. pp.1. ⟨hal-00667832⟩
  • Miruna Stoicescu, Jean-Charles Fabre, Matthieu Roy. Architecting Resilient Computing Systems: Overall Approach and Open Issues. Software Engineering for Resilient Systems, Sep 2011, Geneva, Switzerland. pp.48-62, ⟨10.1007/978-3-642-24124-6_5⟩. ⟨hal-01615018⟩
  • Marc-Olivier Killijian, Matthieu Roy, Gilles Tredan. Beyond San Fancisco Cabs : Building a *-lity Mining Dataset for Social Traces Analysis. Workshop on the Analysis of Mobile Phone Networks, May 2010, Cambridge, MA, United States. 6p. ⟨hal-01740343⟩
  • Marc-Olivier Killijian, Matthieu Roy, Gaétan Séverac. ARUM: A cooperative middleware and an experimentation platform for mobile systems. 2010 IEEE 6th International Conference onWireless and Mobile Computing, Networking and Communications (WiMob), Oct 2010, Niagara Falls, Canada. pp.442 - 449, ⟨10.1109/WIMOB.2010.5645030⟩. ⟨hal-01615017⟩
  • Thomas Robert, Matthieu Roy, Jean-Charles Fabre. Early Error Detection for Fault Tolerance Strategies. 18th International Conference on Real-Time and Network Systems, Nov 2010, Toulouse, France. pp.159-168. ⟨hal-00546934⟩
  • Marc-Olivier Killijian, Matthieu Roy. A Platform for Experimenting with Mobile Algorithms in a Laboratory. Principles Of Distributed Computing, Aug 2009, Calgary, Canada. pp.Brief announcements session. ⟨hal-00394002⟩
  • Thomas Robert, Jean-Charles Fabre, Matthieu Roy. Application of Early Error Detection for Handling Degraded Modes of Operation. 12th European Workshop on Dependable Computing, EWDC 2009, May 2009, Toulouse, France. 3 p. ⟨hal-00381913⟩
  • Matthieu Roy, François Bonnet, Leonardo Querzoni, Silvia Bonomi, Marc-Olivier Killijian, et al.. Geo-registers : an abstraction for spatial-based distributed computing. Principles of Distributed Systems. OPODIS 2008, Dec 2008, Louxor, Egypt. 11p., ⟨10.1007/978-3-540-92221-6_34⟩. ⟨hal-01741220⟩
  • Thomas Robert, Matthieu Roy, Jean-Charles Fabre. Evaluation of a Real-Time Monitoring Framework. Embedded Real Time Software and Systems (ERTS2008), Jan 2008, Toulouse, France. ⟨hal-02269856⟩
  • Thomas Robert, Jean-Charles Fabre, Matthieu Roy. On-line Monitoring of Real Time Applications for Early Error Detection. 14th IEEE Pacific Rim International Symposium on Dependable Computing (PRDC 2008), Dec 2008, Taipei, Taiwan. pp.24-31, ⟨10.1109/PRDC.2008.31⟩. ⟨hal-02315089⟩

Poster communications1 document

  • Francoise Sailhan, Thierry Delot, Animesh Pathak, Aymeric Puech, Matthieu Roy. Dependable Sensor Networks. Atelier sur la GEstion des Donn?es dans les Syst?mes d'Information Pervasifs (GEDSIP) au sein de la conf?rence INFormatique des ORganisations et Syst?mes d?Information et de D?cision (INFORSID), May 2010, X, France. pp.1-15, 2010. ⟨hal-01125818⟩

Book sections1 document

Other publications1 document

  • Miruna Stoicescu, Jean-Charles Fabre, Matthieu Roy. Towards a System Architecture for Resilient Computing. 2011. ⟨hal-00595115⟩

Preprints, Working Papers, ...2 documents

  • Marc-Olivier Killijian, Matthieu Roy, Gaétan Séverac, Christophe Zanon. Data Backup for Mobile Nodes : a Cooperative Middleware and Experimentation Platform. 2009. ⟨hal-00385203⟩
  • Marc-Olivier Killijian, Nicolas Rivière, Matthieu Roy. Experimental Evaluation of Ubiquitous Mobile Systems. 2007. ⟨hal-00140129⟩

Reports2 documents

  • Olivier Baldellon, Matthieu Roy, Jean-Charles Fabre. Out-of-order Evaluation of Timed Petri Nets for Distributed Monitoring. 2011. ⟨hal-00643683⟩
  • Emmanuelle Anceaume, Xavier Défago, Maria Potop-Butucaru, Matthieu Roy. A framework for proving the self-organization of dynamic systems. [Research Report] Rapport LAAS n° 10746, 2010, pp.26. ⟨inria-00534372⟩

Habilitation à diriger des recherches1 document

  • 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⟩