Matthieu Roy

84
Documents

Publications

29
16
12
11
9
8
8
6
6
6
5
5
4
4
4
4
4
4
4
4
4
4
4
4
3
3
3
3
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
2
2
1
4
5
5
4
9
5
14
6
10
4
5
3
3
1

Publications

Deposit thumbnail

Collective responses of flocking sheep (Ovis aries) to a herding dog (border collie)

Vivek Jadhav , Roberto Pasqua , Christophe Zanon , Matthieu Roy , Gilles Trédan et al.

Communications Biology, 2024, 7 (1), pp.1543. ⟨10.1038/s42003-024-07245-8⟩

Article dans une revue hal-04794402v2
Deposit thumbnail

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⟩

Article dans une revue hal-04086420v1
Deposit thumbnail

Synchronous t-resilient consensus in arbitrary graphs

Armando Castañeda , Pierre Fraigniaud , Ami Paz , Sergio Rajsbaum , Matthieu Roy et al.

Information and Computation, 2023, 292, pp.105035. ⟨10.1016/j.ic.2023.105035⟩

Article dans une revue hal-04287975v1

A topological perspective on distributed network algorithms

Armando Castañeda , Pierre Fraigniaud , Ami Paz , Sergio Rajsbaum , Matthieu Roy et al.

Theoretical Computer Science, 2021, 849, pp.121-137. ⟨10.1016/j.tcs.2020.10.012⟩

Article dans une revue hal-03100217v1
Deposit thumbnail

Collective Information Processing in Human Phase Separation

Bertrand Jayles , Ramon Escobedo , Roberto Pasqua , Christophe Zanon , Adrien Blanchet et al.

Philosophical Transactions of the Royal Society B: Biological Sciences, 2020, 375 (1807), ⟨10.1098/rstb.2019.0801⟩

Article dans une revue hal-02393253v2
Deposit thumbnail

Urban-Scale NO2 Prediction with Sensors Aboard Bicycles: A Comparison of Statistical Methods Using Synthetic Observations

Christophe Bertero , Jean-François Léon , Gilles Trédan , Matthieu Roy , Alexandre Armengaud

Atmosphere, 2020, 11 (9), pp.1014. ⟨10.3390/atmos11091014⟩

Article dans une revue hal-02998998v1
Deposit thumbnail

Time-Efficient Read/Write Register in Crash-prone Asynchronous Message-Passing Systems

Achour Mostefaoui , Michel Raynal , Matthieu Roy

Computing, 2019, 101 (1), pp.3-17. ⟨10.1007/s00607-018-0615-8⟩

Article dans une revue hal-01784210v1
Deposit thumbnail

Convergence and covering on graphs for wait-free robots

Armando Castañeda , Sergio Rajsbaum , Matthieu Roy

Journal of the Brazilian Computer Society, 2018, 24 (1), ⟨10.1186/s13173-017-0065-8⟩

Article dans une revue hal-01740338v1
Deposit thumbnail

SMOF - A Safety MOnitoring Framework for Autonomous Systems

Mathilde Machin , Jérémie Guiochet , Hélène Waeselynck , Jean-Paul Blanquart , Matthieu Roy et al.

IEEE Transactions on Systems, Man, and Cybernetics: Systems, 2018, 48 (5), pp.702-715. ⟨10.1109/TSMC.2016.2633291⟩

Article dans une revue hal-01394139v1
Deposit thumbnail

Resilient Computing on ROS using Adaptive Fault Tolerance

Michaël Lauer , Matthieu Amy , Jean-Charles Fabre , Matthieu Roy , William Excoffon et al.

Journal of Software: Evolution and Process, 2018, 30 (3), pp.e1917. ⟨10.1002/smr.1917⟩

Article dans une revue hal-01703968v1
Deposit thumbnail

DYNASCORE: DYNAmic Software COntroller to increase REsource utilization in mixed-critical systems

Angeliki Kritikakou , Thibaut Marty , Matthieu Roy

ACM Transactions on Design Automation of Electronic Systems, 2018, 23 (2), pp.art ID n°13. ⟨10.1145/3110222⟩

Article dans une revue hal-01559696v1
Deposit thumbnail

Architecting resilient computing systems: A component-based approach for adaptive fault tolerance

Miruna Stoicescu , Jean-Charles Fabre , Matthieu Roy

Journal of Systems Architecture, 2017, 73, pp.6-16. ⟨10.1016/j.sysarc.2016.12.005⟩

Article dans une revue hal-01472877v1
Deposit thumbnail

The many faces of graph dynamics

Yvonne-Anne Pignolet , Matthieu Roy , Stefan Schmid , Gilles Trédan

Journal of Statistical Mechanics: Theory and Experiment, 2017, 2017 (6), pp.063401. ⟨10.1088/1742-5468/aa71ce⟩

Article dans une revue hal-01559708v1
Deposit thumbnail

Souk: Spatial Observation of hUman Kinetics

Marc-Olivier Killijian , Roberto Pasqua , Matthieu Roy , Gilles Trédan , Christophe Zanon

Computer Networks, 2016, 111, pp.109-119. ⟨10.1016/j.comnet.2016.08.008⟩

Article dans une revue hal-01372329v1
Deposit thumbnail

Détection des lignes aéroportuaires par méthode hybride de filtrage particulaire et de réseaux de neurones

Esteban Perrotin , Matthieu Roy , Ariane Herbulot , Michel Devy , Fabrice Bousquet

Congrès Reconnaissance des Formes, Image, Apprentissage et Perception (RFIAP 2022), Jul 2022, Vannes, France

Communication dans un congrès hal-03788203v1
Deposit thumbnail

Towards the certification of vision based systems: modular architecture for airport line detection

Esteban Perrotin , Matthieu Roy , Ariane Herbulot , Michel Devy , Fabrice Bousquet

11th European Congress on Embedded Real-Time Systems, Jun 2022, Toulouse, France

Communication dans un congrès hal-03717993v1
Deposit thumbnail

Safe Scheduling on Multicores: an approach leveraging multi-criticality and end-to-end deadlines

Daniel Loche , Michaël Lauer , Matthieu Roy , Jean-Charles Fabre

10th European Congress on Embedded Real Time Software and Systems (ERTS 2020), Jan 2020, TOULOUSE, France

Communication dans un congrès hal-02465340v1
Deposit thumbnail

Optimizing Vehicle-to-Cloud Data Transfers using Soft Real-Time Scheduling Concepts

Jean Ibarz , Michaël Lauer , Matthieu Roy , Jean-Charles Fabre , Olivier Flébus

RTNS 2020: 28th International Conference on Real-Time Networks and Systems, Jun 2020, virtual conference, France. pp.161-171, ⟨10.1145/3394810.3394818⟩

Communication dans un congrès hal-03167058v1
Deposit thumbnail

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⟩

Communication dans un congrès hal-02903005v1

Synchronous t-Resilient Consensus in Arbitrary Graphs

Armando Castañeda , Pierre Fraigniaud , Ami Paz , Sergio Rajsbaum , Matthieu Roy et al.

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⟩

Communication dans un congrès hal-02433524v1
Deposit thumbnail

Mixed Critical Automotive Embedded Applications on Multicores: A Safe Scheduling Approach for Dependability

Daniel Loche , Michaël Lauer , Matthieu Roy , Jean-Charles Fabre

5th International Workshop on Critical Automotive Applications: Robustness & Safety, Sep 2019, Naples, Italy

Communication dans un congrès hal-02303216v1

A Topological Perspective on Distributed Network Algorithms

Armando Castañeda , Pierre Fraigniaud , Ami Paz , Sergio Rajsbaum , Matthieu Roy et al.

26th International Colloquium on Structural Information and Communication Complexity (SIROCCO 2019), Jul 2019, L'Aquila, Italy. ⟨10.1007/978-3-030-24922-9_1⟩

Communication dans un congrès hal-02433511v1
Deposit thumbnail

Early Decision and Stopping in Synchronous Consensus: A Predicate-Based Guided Tour

Armando Castañeda , Yoram Moses , Michel Raynal , Matthieu Roy

International Conference on Networked Systems (NETYS), May 2017, Marrakech, Morocco. pp.167 - 221, ⟨10.1007/978-3-319-59647-1_16⟩

Communication dans un congrès hal-01559723v1
Deposit thumbnail

Experience Report: Log Mining using Natural Language Processing and Application to Anomaly Detection

Christophe Bertero , Matthieu Roy , Carla Sauvanaud , Gilles Trédan

28th International Symposium on Software Reliability Engineering (ISSRE 2017), Oct 2017, Toulouse, France. 10p

Communication dans un congrès hal-01576291v1
Deposit thumbnail

Loca: A Location-Oblivious Co-location Attack in Crowds

Roberto Pasqua , Matthieu Roy , Gilles Trédan

2016 ACM International Joint Conference on Pervasive and Ubiquitous Computing, Sep 2016, Heidelberg, Germany. ⟨10.1145/2971648.2971663⟩

Communication dans un congrès hal-01372317v1
Deposit thumbnail

Asynchronous Coordination Under Preferences and Constraints

Armando Castañeda , Pierre Fraigniaud , Eli Gafni , Sergio Rajsbaum , Matthieu Roy

23rd International Colloquium on Structural Information and Communication Complexity, Jul 2016, Helsinki, Finland

Communication dans un congrès hal-01341710v1
Deposit thumbnail

Towards Resilient Computing on ROS for Embedded Applications

Jean-Charles Fabre , Michaël Lauer , Matthieu Roy , Matthieu Amy , William Excoffon et al.

8th European Congress on Embedded Real Time Software and Systems (ERTS 2016), Jan 2016, TOULOUSE, France

Communication dans un congrès hal-01292318v1
Deposit thumbnail

Two Convergence Problems for Robots on Graphs

Armando Castañeda , Sergio Rajsbaum , Matthieu Roy

7th IEEE Latin-American Symposium on Dependable Computing, Oct 2016, Cali, Colombia. ⟨10.1109/LADC.2016.21⟩

Communication dans un congrès hal-01386628v1
Deposit thumbnail

Engineering Adaptive Fault-Tolerance Mechanisms for Resilient Computing on ROS

Michaël Lauer , Matthieu Amy , Jean-Charles Fabre , Matthieu Roy , William Excoffon et al.

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⟩

Communication dans un congrès hal-01288098v1
Deposit thumbnail

Asynchronous Coordination with Constraints and Preferences

Armando Castañeda , Pierre Fraigniaud , Eli Gafni , Sergio Rajsbaum , Matthieu Roy

35th ACM SIGACT-SIGOPS Symposium on Principles of Distributed Computing (PODC 2016), Jul 2016, Chicago, United States. ⟨10.1145/2933057.2933081⟩

Communication dans un congrès hal-01326911v1
Deposit thumbnail

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

Communication dans un congrès hal-01375576v1
Deposit thumbnail

Model-Checking and Game theory for Synthesis of Safety Rules

Mathilde Machin , Fanny Dufossé , Jérémie Guiochet , David Powell , Matthieu Roy et al.

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⟩

Communication dans un congrès hal-01164981v1
Deposit thumbnail

Towards Adaptive Fault Tolerance: From a Component-Based Approach to ROS

Michaël Lauer , Matthieu Amy , William Excoffon , Matthieu Roy , Miruna Stoicescu

CARS 2015 - Critical Automotive applications: Robustness & Safety, Sep 2015, Paris, France

Communication dans un congrès hal-01193039v1
Deposit thumbnail

Using Fault Injection to Verify an AUTOSAR Application According to the ISO 26262

Ludovic Pintard , Michel Leeman , Abdelillah Ymlahi-Ouazzani , Jean-Charles Fabre , Karama Kanoun et al.

SAE 2015 World Congress & Exhibition, Apr 2015, Detroit, United States. ⟨10.4271/2015-01-0272⟩

Communication dans un congrès hal-01221422v1
Deposit thumbnail

Partial Updates of AUTOSAR Embedded Applications — To What Extent?

Hélène Martorell , Jean-Charles Fabre , Michaël Lauer , Matthieu Roy , Régis Valentin

11th European Dependable Computing Conference (EDCC 2015), Sep 2015, Paris, France

Communication dans un congrès hal-01194832v1
Deposit thumbnail

Model-checking and Game Theory for the Synthesis of Safety Rules

Mathilde Machin , Fanny Dufossé , Jérémie Guiochet , David Powell , Matthieu Roy et al.

IEEE International Symposium on High Assurance Systems Engineering (HASE 2015), Jan 2015, Daytona Beach, United States

Communication dans un congrès hal-01207657v1
Deposit thumbnail

Improving Adaptiveness of AUTOSAR Embedded Applications

Hélène Martorell , Jean-Charles Fabre , Matthieu Roy , Régis Valentin

ACM Symposium on Applied Computing, Mar 2014, Gyeongju, South Korea. pp.384-390

Communication dans un congrès hal-01062054v1

Fault injection and automotive development process

Karama Kanoun , Ludovic Pintard , Jean-Charles Fabre , Michel Leeman , Matthieu Roy

Embedded Real Time Software and Systems (ERTS2), Feb 2014, Toulouse, France. 9p

Communication dans un congrès hal-01931222v1
Deposit thumbnail

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

Communication dans un congrès hal-01015476v1
Deposit thumbnail

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⟩

Communication dans un congrès hal-01096102v1
Deposit thumbnail

The Opinion Number of Set-Agreement

Pierre Fraigniaud , Sergio Rajsbaum , Matthieu Roy , Corentin Travers

OPODIS 2014 - 18th International Conference on Principles of Distributed Systems, Dec 2014, Cortina d’Ampezzo, Italy. pp.155-170

Communication dans un congrès hal-01073578v1
Deposit thumbnail

Inférence d'interactions sociales par colocalisation discrète

Roberto Pasqua , Matthieu Roy , Gilles Trédan

Atelier sur la Protection de la Vie Privée 2014 (APVP14), Jun 2014, Cabourg, France

Communication dans un congrès hal-01382489v1
Deposit thumbnail

Vssdb: A Verifiable Secret-Sharing Distance-Bounding Protocol

Sébastien Gambs , Marc-Olivier Killijian , Cédric Lauradoux , Cristina Onete , Matthieu Roy et al.

International Conference on Cryptography and Information security (BalkanCryptSec'14), Oct 2014, Istanbul, France

Communication dans un congrès hal-01242265v1
Deposit thumbnail

Does Mobility Matter? An Evaluation Methodology for Opportunistic Apps

Jesús Friginal , Marc-Olivier Killijian , Roberto Pasqua , Matthieu Roy , Gilles Trédan

IEEE International Symposium on Network Computing and Applications (NCA), Aug 2014, Cambridge, United States. ⟨10.1109/NCA.2014.8⟩

Communication dans un congrès hal-01242260v1
Deposit thumbnail

Dynamic software updates vs AUTOSAR

Hélène Martorell , Jean-Charles Fabre , Matthieu Roy , Régis Valentin

Embedded Real Time Software and Systems (ERTS2014), Feb 2014, Toulouse, France

Communication dans un congrès hal-02272217v1

From Resilient Computing Architectural Concepts to Wireless Sensor Network-based Applications

Miruna Stoicescu , Jean-Charles Fabre , Matthieu Roy , Animesh Pathak

EDCC 2014 - Tenth European Dependable Computing Conference, May 2014, Newcastle upon Tyne, United Kingdom. pp.46 - 49, ⟨10.1109/EDCC.2014.23⟩

Communication dans un congrès hal-00938389v1
Deposit thumbnail

From Safety Analyses to Experimental Validation of Automotive Embedded Systems

Ludovic Pintard , Jean-Charles Fabre , Michel Leeman , Karama Kanoun , Matthieu Roy

PRDC 2014, Nov 2014, Singapore, Singapore. pp.125-134, ⟨10.1109/PRDC.2014.23⟩

Communication dans un congrès hal-01265454v1
Deposit thumbnail

PROPS: A PRivacy-Preserving Location Proof System

Sébastien Gambs , Marc-Olivier Killijian , Matthieu Roy , Moussa Traoré

33rd IEEE International Symposium on Reliable Distributed Systems, SRDS 2014,, Oct 2014, Nara, Japan. ⟨10.1109/SRDS.2014.37⟩

Communication dans un congrès hal-01242266v1
Deposit thumbnail

Automatically Adjusting Concurrency to the Level of Synchrony

Pierre Fraigniaud , Eli Gafni , Sergio Rajsbaum , Matthieu Roy

International Symposium on Distributed Computing (DISC), Oct 2014, Austin, United States. pp.1-15, ⟨10.1007/978-3-662-45174-8_1⟩

Communication dans un congrès hal-01062031v1
Deposit thumbnail

Modeling and Measuring Graph Similarity: The Case for Centrality Distance

Matthieu Roy , Stefan Schmid , Gilles Trédan

FOMC 2014, 10th ACM International Workshop on Foundations of Mobile Computing, Aug 2014, Philadelphia, United States. pp.53

Communication dans un congrès hal-01010901v1
Deposit thumbnail

Fault Injection in the Automotive Standard ISO 26262: An Initial Approach

Ludovic Pintard , Jean-Charles Fabre , Karama Kanoun , Michel Leeman , Matthieu Roy

14th European Workshop, EWDC 2013, May 2013, Coimbra, Portugal. 8p., ⟨10.1007/978-3-642-38789-0_11⟩

Communication dans un congrès hal-01615019v1
Deposit thumbnail

Towards Dynamic Updates In AUTOSAR

Hélène Martorell , Jean-Charles Fabre , Matthieu Roy , Régis Valentin

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

Communication dans un congrès hal-00848361v1
Deposit thumbnail

Minotor: Monitoring Timing and Behavioral Properties for Dependable Distributed Systems

Olivier Baldellon , Jean-Charles Fabre , Matthieu Roy

The 19th IEEE Pacific Rim International Symposium on Dependable Computing (PRDC 2013), Dec 2013, Vancouver, Canada. 10p

Communication dans un congrès hal-00978475v1
Deposit thumbnail

SOUK: Social Observation of hUman Kinetics

Marc-Olivier Killijian , Matthieu Roy , Gilles Trédan , Christophe Zanon

Ubicomp 2013 (2013 ACM International Joint Conference on Pervasive and Ubiquitous Computing), Sep 2013, Zurich, Switzerland. 4p., ⟨10.1145/2493432.2494526⟩

Communication dans un congrès hal-00839520v2
Deposit thumbnail

Design-Driven Development Methodology for Resilient Computing

Quentin Enard , Miruna Stoicescu , Emilie Balland , Charles Consel , Laurence Duchien et al.

CBSE'13: Proceedings of the 16th International ACM Sigsoft Symposium on Component-Based Software Engineering, Jun 2013, Vancouver, Canada

Communication dans un congrès hal-00814298v1
Deposit thumbnail

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

Communication dans un congrès hal-01015455v1
Deposit thumbnail

Safety Trigger Conditions for Critical Autonomous Systems

Amina Mekki-Mokhtar , Jean-Paul Blanquart , Jérémie Guiochet , David Powell , Matthieu Roy

The 18th IEEE Pacific Rim International Symposium on Dependable Computing (PRDC 2012), Nov 2012, Niigata, Japan. 10p., ⟨10.1109/PRDC.2012.22⟩

Communication dans un congrès hal-01282203v1
Deposit thumbnail

Locanyms: Towards Privacy-Preserving Location-Based Services

Sébastien Gambs , Marc-Olivier Killijian , Matthieu Roy , Moussa Traoré

1st European Workshop on AppRoaches to MObiquiTous Resilience, May 2012, Sibiu, Romania. pp.6

Communication dans un congrès hal-00699742v1
Deposit thumbnail

Distributed Monitoring of Temporal System Properties using Petri Nets

Olivier Baldellon , Jean-Charles Fabre , Matthieu Roy

31st IEEE International Symposium on Reliable Distributed Systems (SRDS 2012), Oct 2012, Irvine, United States. 10p

Communication dans un congrès hal-01015494v1

AMORES: an architecture for mobiquitous resilient systems

Christian Artigues , Yves Deswarte , Jérémie Guiochet , Marie-José Huguet , Marc-Olivier Killijian et al.

ARMOR'12, Apr 2012, Sibiu, Romania. Article N°7 (7p.), ⟨10.1145/2222436.2222443⟩

Communication dans un congrès hal-00736020v1

Experimenting with Component-Based Middleware for Adaptive Fault Tolerant Computing

Miruna Stoicescu , Jean-Charles Fabre , Matthieu Roy

European Dependable Computing Conference (EDCC 2012), May 2012, Sibiu, Romania. 2p

Communication dans un congrès hal-00747429v1
Deposit thumbnail

From Design for Adaptation to Component-Based Resilient Computing

Miruna Stoicescu , Jean-Charles Fabre , Matthieu Roy

IEEE Pacific Rim International Symposium on Dependable Computing (PRDC 2012), Nov 2012, Niigata, Japan. 10p

Communication dans un congrès hal-00747469v1
Deposit thumbnail

Exécution répartie et temps-réel de réseaux de Petri

Olivier Baldellon , Jean-Charles Fabre , Matthieu Roy

14èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications, May 2012, La Grande Motte, France. pp.1-4

Communication dans un congrès hal-00689991v1
Deposit thumbnail

Campagne de collecte de données et vie privée

Nicolas Haderer , Miguel Nuñez del Prado Cortez , Romain Rouvoy , Marc-Olivier Killijian , Matthieu Roy

3ème Journées du GDR CNRS GPL, Jun 2012, Rennes, France. pp.253-254

Communication dans un congrès hal-00711609v2

Locanyms: Towards privacy-preserving location-based services

Sébastien Gambs , Marc-Olivier Killijian , Matthieu Roy , Moussa Traoré

Atelier Protection de la Vie Privée (APVP 2012), 3ième édition, Jun 2012, Ile de Groix, France

Communication dans un congrès hal-00765530v1
Deposit thumbnail

Elicitation of Executable Safety Rules for Critical Autonomous Systems

Amina Mekki-Mokhtar , Jean-Paul Blanquart , Jérémie Guiochet , David Powell , Matthieu Roy

Embedded Real Time Software and Systems (ERTS2012), Feb 2012, Toulouse, France. 10p

Communication dans un congrès hal-01282237v1
Deposit thumbnail

The ARUM Experimentation Platform : an Open Tool to evaluate Mobile Systems Applications

Marc-Olivier Killijian , Matthieu Roy , Gaetan Severac

AMiRE 2011: 6th International Symposium on Autonomous Minirobots for Research and Edutainment, May 2011, Bielefeld, Germany. pp.1

Communication dans un congrès hal-00667832v1
Deposit thumbnail

Architecting Resilient Computing Systems: Overall Approach and Open Issues

Miruna Stoicescu , Jean-Charles Fabre , Matthieu Roy

Software Engineering for Resilient Systems, Sep 2011, Geneva, Switzerland. pp.48-62, ⟨10.1007/978-3-642-24124-6_5⟩

Communication dans un congrès hal-01615018v1
Deposit thumbnail

ARUM: A cooperative middleware and an experimentation platform for mobile systems

Marc-Olivier Killijian , Matthieu Roy , Gaétan Séverac

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⟩

Communication dans un congrès hal-01615017v1
Deposit thumbnail

Early Error Detection for Fault Tolerance Strategies

Thomas Robert , Matthieu Roy , Jean-Charles Fabre

18th International Conference on Real-Time and Network Systems, Nov 2010, Toulouse, France. pp.159-168

Communication dans un congrès hal-00546934v1
Deposit thumbnail

Dependable Sensor Networks

Francoise Sailhan , Thierry Delot , Animesh Pathak , Aymeric Puech , Matthieu Roy

Atelier sur la GEstion des Données dans les Systèmes d'Information Pervasifs (GEDSIP). Conférence INFORSID, May 2010, X, France. pp.1-15

Communication dans un congrès hal-01125818v1
Deposit thumbnail

Beyond San Fancisco Cabs : Building a *-lity Mining Dataset for Social Traces Analysis

Marc-Olivier Killijian , Matthieu Roy , Gilles Tredan

Workshop on the Analysis of Mobile Phone Networks, May 2010, Cambridge, MA, United States. 6p

Communication dans un congrès hal-01740343v1
Deposit thumbnail

Application of Early Error Detection for Handling Degraded Modes of Operation

Thomas Robert , Jean-Charles Fabre , Matthieu Roy

12th European Workshop on Dependable Computing, EWDC 2009, May 2009, Toulouse, France. 3 p

Communication dans un congrès hal-00381913v1
Deposit thumbnail

A Platform for Experimenting with Mobile Algorithms in a Laboratory

Marc-Olivier Killijian , Matthieu Roy

Principles Of Distributed Computing, Aug 2009, Calgary, Canada. pp.Brief announcements session

Communication dans un congrès hal-00394002v1
Deposit thumbnail

Evaluation of a Real-Time Monitoring Framework

Thomas Robert , Matthieu Roy , Jean-Charles Fabre

Embedded Real Time Software and Systems (ERTS2008), Jan 2008, Toulouse, France

Communication dans un congrès hal-02269856v1

On-line Monitoring of Real Time Applications for Early Error Detection

Thomas Robert , Jean-Charles Fabre , Matthieu Roy

14th IEEE Pacific Rim International Symposium on Dependable Computing (PRDC 2008), Dec 2008, Taipei, Taiwan. pp.24-31, ⟨10.1109/PRDC.2008.31⟩

Communication dans un congrès hal-02315089v1
Deposit thumbnail

Geo-registers : an abstraction for spatial-based distributed computing

Matthieu Roy , François Bonnet , Leonardo Querzoni , Silvia Bonomi , Marc-Olivier Killijian et al.

Principles of Distributed Systems. OPODIS 2008, Dec 2008, Louxor, Egypt. 11p., ⟨10.1007/978-3-540-92221-6_34⟩

Communication dans un congrès hal-01741220v1
Deposit thumbnail

BG Distributed Simulation Algorithm

Matthieu Roy

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⟩

Chapitre d'ouvrage hal-02087581v1
Deposit thumbnail

Adaptation dans les systèmes dynamiques : une vision informatique de la résilience

Matthieu Roy

Calcul parallèle, distribué et partagé [cs.DC]. Université de Toulouse - Institut National Polytechnique de Toulouse (INPT), 2018

HDR tel-01801677v1