Matthieu Roy

Publication Activity (10 Years)

Years Active: 2001-2023
Publications (10 Years): 27

Top Topics

Fault Tolerance

Distributed Network

Evaluation Methodology

Top Venues

Publications

Armando Castañeda, Aurélie Hurault, Philippe Quéinnec, Matthieu Roy
Tasks in modular proofs of concurrent algorithms. Inf. Comput. 292 (2023)
Armando Castañeda, Pierre Fraigniaud, Ami Paz, Sergio Rajsbaum, Matthieu Roy, Corentin Travers
-resilient consensus in arbitrary graphs. Inf. Comput. 292 (2023)
Armando Castañeda, Pierre Fraigniaud, Ami Paz, Sergio Rajsbaum, Matthieu Roy, Corentin Travers
A topological perspective on distributed network algorithms. Theor. Comput. Sci. 849 (2021)
Matthieu Roy, Stéphane Paquelet, Matthieu Crussière
Cluster Extrapolation for FDD Downlink MIMO Precoding. PIMRC (2020)
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)
Armando Castañeda, Pierre Fraigniaud, Ami Paz, Sergio Rajsbaum, Matthieu Roy, Corentin Travers
Synchronous t-Resilient Consensus in Arbitrary Graphs. SSS (2019)
Armando Castañeda, Aurélie Hurault, Philippe Quéinnec, Matthieu Roy
Tasks in Modular Proofs of Concurrent Algorithms. SSS (2019)
Achour Mostéfaoui, Michel Raynal, Matthieu Roy
Time-efficient read/write register in crash-prone asynchronous message-passing systems. Computing 101 (1) (2019)
Armando Castañeda, Pierre Fraigniaud, Ami Paz, Sergio Rajsbaum, Matthieu Roy, Corentin Travers
A Topological Perspective on Distributed Network Algorithms. SIROCCO (2019)
Armando Castañeda, Pierre Fraigniaud, Ami Paz, Sergio Rajsbaum, Matthieu Roy, Corentin Travers
A Topological Perspective on Distributed Network Algorithms. CoRR (2019)
Armando Castañeda, Aurélie Hurault, Philippe Quéinnec, Matthieu Roy
Tasks in Modular Proofs of Concurrent Algorithms. CoRR (2019)
Matthieu Roy, Stéphane Paquelet, Matthieu Crussière
Degrees of Freedom of Ray-Based Models for mm-Wave Wideband MIMO-OFDM. GLOBECOM (2019)
Armando Castañeda, Sergio Rajsbaum, Matthieu Roy
Convergence and covering on graphs for wait-free robots. J. Braz. Comput. Soc. 24 (1) (2018)
Mathilde Machin, Jérémie Guiochet, Hélène Waeselynck, Jean-Paul Blanquart, Matthieu Roy, Lola Masson
SMOF: A Safety Monitoring Framework for Autonomous Systems. IEEE Trans. Syst. Man Cybern. Syst. 48 (5) (2018)
Matthieu Roy, Stéphane Paquelet, Luc Le Magoarou, Matthieu Crussière
MIMO Channel Hardening: A Physical Model based Analysis. CoRR (2018)
Michaël Lauer, Matthieu Amy, Jean-Charles Fabre, Matthieu Roy, William Excoffon, Miruna Stoicescu
Resilient computing on ROS using adaptive fault tolerance. J. Softw. Evol. Process. 30 (3) (2018)
Matthieu Roy, Stéphane Paquelet, Luc Le Magoarou, Matthieu Crussière
MIMO Channel Hardening for Ray-based Models. WiMob (2018)
Angeliki Kritikakou, Thibaut Marty, Matthieu Roy
DYNASCORE: DYNAmic Software COntroller to Increase REsource Utilization in Mixed-Critical Systems. ACM Trans. Design Autom. Electr. Syst. 23 (2) (2018)
Christophe Bertero, Matthieu Roy, Carla Sauvanaud, Gilles Trédan
Experience Report: Log Mining Using Natural Language Processing and Application to Anomaly Detection. ISSRE (2017)
Miruna Stoicescu, Jean-Charles Fabre, Matthieu Roy
Architecting resilient computing systems: A component-based approach for adaptive fault tolerance. J. Syst. Archit. 73 (2017)
Armando Castañeda, Yoram Moses, Michel Raynal, Matthieu Roy
Early Decision and Stopping in Synchronous Consensus: A Predicate-Based Guided Tour. NETYS (2017)
Armando Castañeda, Pierre Fraigniaud, Eli Gafni, Sergio Rajsbaum, Matthieu Roy
Brief Announcement: Asynchronous Coordination with Constraints and Preferences. PODC (2016)
Marc-Olivier Killijian, Roberto Pasqua, Matthieu Roy, Gilles Trédan, Christophe Zanon
Souk: Spatial Observation of Human Kinetics. Comput. Networks 111 (2016)
Michaël Lauer, Matthieu Amy, Jean-Charles Fabre, Matthieu Roy, William Excoffon, Miruna Stoicescu
Engineering Adaptive Fault-Tolerance Mechanisms for Resilient Computing on ROS. HASE (2016)
Armando Castañeda, Pierre Fraigniaud, Eli Gafni, Sergio Rajsbaum, Matthieu Roy
Asynchronous Coordination Under Preferences and Constraints. SIROCCO (2016)
Roberto Pasqua, Matthieu Roy, Gilles Trédan
Loca: a location-oblivious co-location attack in crowds. UbiComp (2016)
Armando Castañeda, Sergio Rajsbaum, Matthieu Roy
Two Convergence Problems for Robots on Graphs. LADC (2016)
Hélène Martorell, Jean-Charles Fabre, Michaël Lauer, Matthieu Roy, Régis Valentin
Partial Updates of AUTOSAR Embedded Applications - To What Extent? EDCC (2015)
Mathilde Machin, Fanny Dufossé, Jérémie Guiochet, David Powell, Matthieu Roy, Hélène Waeselynck
Model-Checking and Game theory for Synthesis of Safety Rules. HASE (2015)
Yvonne-Anne Pignolet, Matthieu Roy, Stefan Schmid, Gilles Trédan
Exploring the Graph of Graphs: Network Evolution and Centrality Distances. CoRR (2015)
Jesus Friginal, Marc-Olivier Killijian, Roberto Pasqua, Matthieu Roy, Gilles Trédan
Does Mobility Matter? An Evaluation Methodology for Opportunistic Apps. NCA (2014)
Pierre Fraigniaud, Sergio Rajsbaum, Matthieu Roy, Corentin Travers
The Opinion Number of Set-Agreement. OPODIS (2014)
Matthieu Roy, Stefan Schmid, Gilles Trédan
Modeling and Measuring Graph Similarity: The Case for Centrality Distance. CoRR (2014)
Miruna Stoicescu, Jean-Charles Fabre, Matthieu Roy, Animesh Pathak
From Resilient Computing Architectural Concepts to Wireless Sensor Network-Based Applications (Short Paper). EDCC (2014)
Pierre Fraigniaud, Eli Gafni, Sergio Rajsbaum, Matthieu Roy
Automatically Adjusting Concurrency to the Level of Synchrony. DISC (2014)
Hélène Martorell, Jean-Charles Fabre, Matthieu Roy, Régis Valentin
Improving adaptiveness of AUTOSAR embedded applications. SAC (2014)
Angeliki Kritikakou, Claire Pagetti, Olivier Baldellon, Matthieu Roy, Christine Rochange
Run-Time Control to Increase Task Parallelism In Mixed-Critical Systems. ECRTS (2014)
Matthieu Roy, Stefan Schmid, Gilles Trédan
Modeling and measuring graph similarity: the case for centrality distance. FOMC (2014)
Sébastien Gambs, Marc-Olivier Killijian, Matthieu Roy, Moussa Traoré
PROPS: A PRivacy-Preserving Location Proof System. SRDS (2014)
Angeliki Kritikakou, Christine Rochange, Madeleine Faugère, Claire Pagetti, Matthieu Roy, Sylvain Girbal, Daniel Gracia Pérez
Distributed run-time WCET controller for concurrent critical tasks in mixed-critical systems. RTNS (2014)
Ludovic Pintard, Jean-Charles Fabre, Michel Leeman, Karama Kanoun, Matthieu Roy
From Safety Analyses to Experimental Validation of Automotive Embedded Systems. PRDC (2014)
Ludovic Pintard, Jean-Charles Fabre, Karama Kanoun, Michel Leeman, Matthieu Roy
Fault Injection in the Automotive Standard ISO 26262: An Initial Approach. EWDC (2013)
Hélène Martorell, Jean-Charles Fabre, Matthieu Roy, Régis Valentin
Towards Dynamic Updates In AUTOSAR. CARS@SAFECOMP (2013)
Quentin Enard, Miruna Stoicescu, Emilie Balland, Charles Consel, Laurence Duchien, Jean-Charles Fabre, Matthieu Roy
Design-driven development methodology for resilient computing. CBSE (2013)
Marc-Olivier Killijian, Matthieu Roy, Gilles Trédan, Christophe Zanon
SOUK: social observation of human kinetics. UbiComp (2013)
Olivier Baldellon, Jean-Charles Fabre, Matthieu Roy
Minotor: Monitoring Timing and Behavioral Properties for Dependable Distributed Systems. PRDC (2013)
Christian Artigues, Yves Deswarte, Jérémie Guiochet, Marie-José Huguet, Marc-Olivier Killijian, David Powell, Matthieu Roy, Christophe Bidan, Nicolas Prigent, Emmanuelle Anceaume, Sébastien Gambs, Gilles Guette, Michel Hurfin, Frédéric Schettini
AMORES: an architecture for mobiquitous resilient systems. ARMOR (2012)
Sébastien Gambs, Marc-Olivier Killijian, Matthieu Roy, Moussa Traoré
Locanyms: towards privacy-preserving location-based services. ARMOR (2012)
Miruna Stoicescu, Jean-Charles Fabre, Matthieu Roy
From Design for Adaptation to Component-Based Resilient Computing. PRDC (2012)
Miruna Stoicescu, Jean-Charles Fabre, Matthieu Roy
Experimenting with Component-Based Middleware for Adaptive Fault Tolerant Computing CoRR (2012)
Amina Mekki-Mokhtar, Jean-Paul Blanquart, Jérémie Guiochet, David Powell, Matthieu Roy
Safety Trigger Conditions for Critical Autonomous Systems. PRDC (2012)
Olivier Baldellon, Jean-Charles Fabre, Matthieu Roy
Distributed Monitoring of Temporal System Properties Using Petri Nets. SRDS (2012)
Miruna Stoicescu, Jean-Charles Fabre, Matthieu Roy
Architecting Resilient Computing Systems: Overall Approach and Open Issues. SERENE (2011)
Marc-Olivier Killijian, Matthieu Roy, Gaëtan Séverac
ARUM: A cooperative middleware and an experimentation platform for mobile systems. WiMob (2010)
Emmanuelle Anceaume, Xavier Défago, Maria Potop-Butucaru, Matthieu Roy
A framework for proving the self-organization of dynamic systems CoRR (2010)
Matthieu Roy, Marc-Olivier Killijian
Brief announcement: a platform for experimenting with mobile algorithms in a laboratory. PODC (2009)
Marc-Olivier Killijian, Matthieu Roy
Data Backup for Mobile Nodes: A Cooperative Middleware and an Experimentation Platform. WADS (2009)
Matthieu Roy, François Bonnet, Leonardo Querzoni, Silvia Bonomi, Marc-Olivier Killijian, David Powell
Geo-registers: An Abstraction for Spatial-Based Distributed Computing. OPODIS (2008)
Thomas Robert, Jean-Charles Fabre, Matthieu Roy
On-line Monitoring of Real Time Applications for Early Error Detection. PRDC (2008)
Michel Raynal, Matthieu Roy, Ciprian Tutu
A Simple Protocol Offering Both Atomic Consistent Read Operations and Sequentially Consistent Read Operations. AINA (2005)
Michel Raynal, Matthieu Roy
A Note on a Simple Equivalence between Round-based Synchronous and Asynchronous Models. PRDC (2005)
Michel Raynal, Matthieu Roy
Allowing Atomic Objects to Coexist with Sequentially Consistent Objects. PaCT (2005)
Emmanuelle Anceaume, Xavier Défago, Maria Gradinariu, Matthieu Roy
Towards a Theory of Self-organization. OPODIS (2005)
Ludovic Courtès, Marc-Olivier Killijian, David Powell, Matthieu Roy
Sauvegarde coopérative entre pairs pour dispositifs mobiles. UbiMob (2005)
Emmanuelle Anceaume, Xavier Défago, Maria Gradinariu, Matthieu Roy
Towards a Theory of Self-organization. DISC (2005)
Emmanuelle Anceaume, Roy Friedman, Maria Gradinariu, Matthieu Roy
An Architecture for Dynamic Scalable Self-Managed Persistent Objects. CoopIS/DOA/ODBASE (2) (2004)
Achour Mostéfaoui, Sergio Rajsbaum, Michel Raynal, Matthieu Roy
Condition-based consensus solvability: a hierarchy of conditions and efficient protocols. Distributed Comput. 17 (1) (2004)
Matthieu Roy, Achour Mostéfaoui
Single-Write Safe Consensus using Constrained Inputs. SIROCCO (2003)
Achour Mostéfaoui, Sergio Rajsbaum, Michel Raynal, Matthieu Roy
A Hierarchy of Conditions for Asynchronous Interactive Consistency. PaCT (2003)
Achour Mostéfaoui, Michel Raynal, Matthieu Roy, Divyakant Agrawal, Amr El Abbadi
Towards a formal model for view maintenance in data warehouses. PODC (2002)
Achour Mostéfaoui, Sergio Rajsbaum, Michel Raynal, Matthieu Roy
Condition-Based Protocols for Set Agreement Problems. DISC (2002)
Divyakant Agrawal, Amr El Abbadi, Achour Mostéfaoui, Michel Raynal, Matthieu Roy
The Lord of the Rings: Efficient Maintenance of Views at Data Warehouses. DISC (2002)
Achour Mostéfaoui, Sergio Rajsbaum, Michel Raynal, Matthieu Roy
A hierarchy of conditions for consensus solvability. PODC (2001)
Achour Mostéfaoui, Sergio Rajsbaum, Michel Raynal, Matthieu Roy
Efficient Condition-Based Consensus. SIROCCO (2001)