Matthieu Roy

According to our database1, Matthieu Roy authored at least 65 papers between 2001 and 2019.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2019
Time-efficient read/write register in crash-prone asynchronous message-passing systems.
Computing, 2019

Tasks in Modular Proofs of Concurrent Algorithms.
Proceedings of the Stabilization, Safety, and Security of Distributed Systems, 2019

Synchronous t-Resilient Consensus in Arbitrary Graphs.
Proceedings of the Stabilization, Safety, and Security of Distributed Systems, 2019

A Topological Perspective on Distributed Network Algorithms.
Proceedings of the Structural Information and Communication Complexity, 2019

2018
SMOF: A Safety Monitoring Framework for Autonomous Systems.
IEEE Trans. Systems, Man, and Cybernetics: Systems, 2018

DYNASCORE: DYNAmic Software COntroller to Increase REsource Utilization in Mixed-Critical Systems.
ACM Trans. Design Autom. Electr. Syst., 2018

Resilient computing on ROS using adaptive fault tolerance.
Journal of Software: Evolution and Process, 2018

Convergence and covering on graphs for wait-free robots.
J. Braz. Comp. Soc., 2018

MIMO Channel Hardening: A Physical Model based Analysis.
CoRR, 2018

MIMO Channel Hardening for Ray-based Models.
Proceedings of the 14th International Conference on Wireless and Mobile Computing, 2018

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

2017
Architecting resilient computing systems: A component-based approach for adaptive fault tolerance.
Journal of Systems Architecture - Embedded Systems Design, 2017

Early Decision and Stopping in Synchronous Consensus: A Predicate-Based Guided Tour.
Proceedings of the Networked Systems - 5th International Conference, 2017

Experience Report: Log Mining Using Natural Language Processing and Application to Anomaly Detection.
Proceedings of the 28th IEEE International Symposium on Software Reliability Engineering, 2017

2016
BG Distributed Simulation Algorithm.
Encyclopedia of Algorithms, 2016

Souk: Spatial Observation of Human Kinetics.
Comput. Networks, 2016

Asynchronous Coordination Under Preferences and Constraints.
Proceedings of the Structural Information and Communication Complexity, 2016

Brief Announcement: Asynchronous Coordination with Constraints and Preferences.
Proceedings of the 2016 ACM Symposium on Principles of Distributed Computing, 2016

Two Convergence Problems for Robots on Graphs.
Proceedings of the 2016 Seventh Latin-American Symposium on Dependable Computing, 2016

Loca: a location-oblivious co-location attack in crowds.
Proceedings of the 2016 ACM International Joint Conference on Pervasive and Ubiquitous Computing, 2016

Engineering Adaptive Fault-Tolerance Mechanisms for Resilient Computing on ROS.
Proceedings of the 17th IEEE International Symposium on High Assurance Systems Engineering, 2016

2015
Exploring the Graph of Graphs: Network Evolution and Centrality Distances.
CoRR, 2015

Model-Checking and Game theory for Synthesis of Safety Rules.
Proceedings of the 16th IEEE International Symposium on High Assurance Systems Engineering, 2015

Partial Updates of AUTOSAR Embedded Applications - To What Extent?
Proceedings of the 11th European Dependable Computing Conference, 2015

2014
Automatically Adjusting Concurrency to the Level of Synchrony.
Proceedings of the Distributed Computing - 28th International Symposium, 2014

PROPS: A PRivacy-Preserving Location Proof System.
Proceedings of the 33rd IEEE International Symposium on Reliable Distributed Systems, 2014

Improving adaptiveness of AUTOSAR embedded applications.
Proceedings of the Symposium on Applied Computing, 2014

Distributed run-time WCET controller for concurrent critical tasks in mixed-critical systems.
Proceedings of the 22nd International Conference on Real-Time Networks and Systems, 2014

From Safety Analyses to Experimental Validation of Automotive Embedded Systems.
Proceedings of the 20th IEEE Pacific Rim International Symposium on Dependable Computing, 2014

The Opinion Number of Set-Agreement.
Proceedings of the Principles of Distributed Systems - 18th International Conference, 2014

Does Mobility Matter? An Evaluation Methodology for Opportunistic Apps.
Proceedings of the 2014 IEEE 13th International Symposium on Network Computing and Applications, 2014

From Resilient Computing Architectural Concepts to Wireless Sensor Network-Based Applications (Short Paper).
Proceedings of the 2014 Tenth European Dependable Computing Conference, 2014

Run-Time Control to Increase Task Parallelism In Mixed-Critical Systems.
Proceedings of the 26th Euromicro Conference on Real-Time Systems, 2014

Modeling and measuring graph similarity: the case for centrality distance.
Proceedings of the 10th ACM International Workshop on Foundations of Mobile Computing, 2014

2013
Towards Dynamic Updates In AUTOSAR.
Proceedings of the SAFECOMP 2013, 2013

Minotor: Monitoring Timing and Behavioral Properties for Dependable Distributed Systems.
Proceedings of the IEEE 19th Pacific Rim International Symposium on Dependable Computing, 2013

SOUK: social observation of human kinetics.
Proceedings of the 2013 ACM International Joint Conference on Pervasive and Ubiquitous Computing, 2013

Fault Injection in the Automotive Standard ISO 26262: An Initial Approach.
Proceedings of the Dependable Computing - 14th European Workshop, 2013

Design-driven development methodology for resilient computing.
Proceedings of the CBSE'13, 2013

2012
Experimenting with Component-Based Middleware for Adaptive Fault Tolerant Computing
CoRR, 2012

Distributed Monitoring of Temporal System Properties Using Petri Nets.
Proceedings of the IEEE 31st Symposium on Reliable Distributed Systems, 2012

From Design for Adaptation to Component-Based Resilient Computing.
Proceedings of the IEEE 18th Pacific Rim International Symposium on Dependable Computing, 2012

Safety Trigger Conditions for Critical Autonomous Systems.
Proceedings of the IEEE 18th Pacific Rim International Symposium on Dependable Computing, 2012

2011
Further Privacy Mechanisms.
Proceedings of the Digital Privacy - PRIME - Privacy and Identity Management for Europe, 2011

Architecting Resilient Computing Systems: Overall Approach and Open Issues.
Proceedings of the Software Engineering for Resilient Systems, 2011

2010
A framework for proving the self-organization of dynamic systems
CoRR, 2010

ARUM: A cooperative middleware and an experimentation platform for mobile systems.
Proceedings of the IEEE 6th International Conference on Wireless and Mobile Computing, 2010

2009
Brief announcement: a platform for experimenting with mobile algorithms in a laboratory.
Proceedings of the 28th Annual ACM Symposium on Principles of Distributed Computing, 2009

Data Backup for Mobile Nodes: A Cooperative Middleware and an Experimentation Platform.
Proceedings of the Architecting Dependable Systems VII, 2009

2008
On-line Monitoring of Real Time Applications for Early Error Detection.
Proceedings of the 14th IEEE Pacific Rim International Symposium on Dependable Computing, 2008

Geo-registers: An Abstraction for Spatial-Based Distributed Computing.
Proceedings of the Principles of Distributed Systems, 12th International Conference, 2008

2005
Towards a Theory of Self-organization.
Proceedings of the Distributed Computing, 19th International Conference, 2005

Sauvegarde coopérative entre pairs pour dispositifs mobiles.
Proceedings of the Actes des 2èmes journées francophones Mobilité et Ubiquité 2005, 2005

A Note on a Simple Equivalence between Round-based Synchronous and Asynchronous Models.
Proceedings of the 11th IEEE Pacific Rim International Symposium on Dependable Computing (PRDC 2005), 2005

Allowing Atomic Objects to Coexist with Sequentially Consistent Objects.
Proceedings of the Parallel Computing Technologies, 2005

A Simple Protocol Offering Both Atomic Consistent Read Operations and Sequentially Consistent Read Operations.
Proceedings of the 19th International Conference on Advanced Information Networking and Applications (AINA 2005), 2005

2004
Condition-based consensus solvability: a hierarchy of conditions and efficient protocols.
Distributed Computing, 2004

An Architecture for Dynamic Scalable Self-Managed Persistent Objects.
Proceedings of the On the Move to Meaningful Internet Systems 2004: CoopIS, 2004

2003
Single-Write Safe Consensus using Constrained Inputs.
Proceedings of the SIROCCO 10: Proceedings of the 10th Internaltional Colloquium on Structural Information Complexity, 2003

A Hierarchy of Conditions for Asynchronous Interactive Consistency.
Proceedings of the Parallel Computing Technologies, 2003

2002
Condition-Based Protocols for Set Agreement Problems.
Proceedings of the Distributed Computing, 16th International Conference, 2002

The Lord of the Rings: Efficient Maintenance of Views at Data Warehouses.
Proceedings of the Distributed Computing, 16th International Conference, 2002

Towards a formal model for view maintenance in data warehouses.
Proceedings of the Twenty-First Annual ACM Symposium on Principles of Distributed Computing, 2002

2001
Efficient Condition-Based Consensus.
Proceedings of the SIROCCO 8, 2001

A hierarchy of conditions for consensus solvability.
Proceedings of the Twentieth Annual ACM Symposium on Principles of Distributed Computing, 2001


  Loading...