default search action
Matthieu Roy
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2023
- [j11]Armando Castañeda, Pierre Fraigniaud, Ami Paz, Sergio Rajsbaum, Matthieu Roy, Corentin Travers:
Synchronous t-resilient consensus in arbitrary graphs. Inf. Comput. 292: 105035 (2023) - [j10]Armando Castañeda, Aurélie Hurault, Philippe Quéinnec, Matthieu Roy:
Tasks in modular proofs of concurrent algorithms. Inf. Comput. 292: 105040 (2023) - [e2]Jérémie Guiochet
, Stefano Tonetta
Computer Safety, Reliability, and Security. SAFECOMP 2023 Workshops - ASSURE, DECSoS, SASSUR, SENSEI, SRToITS, and WAISE, Toulouse, France, September 19, 2023, Proceedings. Lecture Notes in Computer Science 14182, Springer 2023, ISBN 978-3-031-40952-3 [contents] - 2021
- [j9]Armando Castañeda, Pierre Fraigniaud, Ami Paz
A topological perspective on distributed network algorithms. Theor. Comput. Sci. 849: 121-137 (2021) - 2020
- [c56]Matthieu Roy, Stéphane Paquelet, Matthieu Crussière:
Cluster Extrapolation for FDD Downlink MIMO Precoding. PIMRC 2020: 1-6 - [c55]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: 161-171
2010 – 2019
- 2019
- [j8]Achour Mostéfaoui, Michel Raynal, Matthieu Roy
Time-efficient read/write register in crash-prone asynchronous message-passing systems. Computing 101(1): 3-17 (2019) - [c54]Matthieu Roy, Stéphane Paquelet, Matthieu Crussière:
Degrees of Freedom of Ray-Based Models for mm-Wave Wideband MIMO-OFDM. GLOBECOM 2019: 1-6 - [c53]Armando Castañeda, Pierre Fraigniaud, Ami Paz, Sergio Rajsbaum, Matthieu Roy, Corentin Travers:
A Topological Perspective on Distributed Network Algorithms. SIROCCO 2019: 3-18 - [c52]Armando Castañeda, Pierre Fraigniaud, Ami Paz, Sergio Rajsbaum, Matthieu Roy, Corentin Travers:
Synchronous t-Resilient Consensus in Arbitrary Graphs. SSS 2019: 53-68 - [c51]Armando Castañeda, Aurélie Hurault, Philippe Quéinnec, Matthieu Roy:
Tasks in Modular Proofs of Concurrent Algorithms. SSS 2019: 69-83 - [i7]Armando Castañeda, Pierre Fraigniaud, Ami Paz, Sergio Rajsbaum, Matthieu Roy, Corentin Travers:
A Topological Perspective on Distributed Network Algorithms. CoRR abs/1907.03565 (2019) - [i6]Armando Castañeda, Aurélie Hurault, Philippe Quéinnec, Matthieu Roy:
Tasks in Modular Proofs of Concurrent Algorithms. CoRR abs/1909.05537 (2019) - 2018
- [b1]Matthieu Roy:
Adaptation dans les systèmes dynamiques : une vision informatique de la résilience. National Polytechnic Institute of Toulouse, France, 2018 - [j7]Armando Castañeda, Sergio Rajsbaum, Matthieu Roy:
Convergence and covering on graphs for wait-free robots. J. Braz. Comput. Soc. 24(1): 1:1-1:15 (2018) - [j6]Michaël Lauer
Resilient computing on ROS using adaptive fault tolerance. J. Softw. Evol. Process. 30(3) (2018) - [j5]Angeliki Kritikakou
DYNASCORE: DYNAmic Software COntroller to Increase REsource Utilization in Mixed-Critical Systems. ACM Trans. Design Autom. Electr. Syst. 23(2): 13:1-13:26 (2018) - [j4]Mathilde Machin, Jérémie Guiochet, Hélène Waeselynck
SMOF: A Safety Monitoring Framework for Autonomous Systems. IEEE Trans. Syst. Man Cybern. Syst. 48(5): 702-715 (2018) - [c50]Matthieu Roy, Stéphane Paquelet, Luc Le Magoarou
MIMO Channel Hardening for Ray-based Models. WiMob 2018: 1-7 - [i5]Matthieu Roy, Stéphane Paquelet, Luc Le Magoarou
MIMO Channel Hardening: A Physical Model based Analysis. CoRR abs/1804.07491 (2018) - 2017
- [j3]Miruna Stoicescu, Jean-Charles Fabre, Matthieu Roy
Architecting resilient computing systems: A component-based approach for adaptive fault tolerance. J. Syst. Archit. 73: 6-16 (2017) - [c49]Christophe Bertero, Matthieu Roy, Carla Sauvanaud, Gilles Trédan:
Experience Report: Log Mining Using Natural Language Processing and Application to Anomaly Detection. ISSRE 2017: 351-360 - [c48]Armando Castañeda, Yoram Moses, Michel Raynal, Matthieu Roy:
Early Decision and Stopping in Synchronous Consensus: A Predicate-Based Guided Tour. NETYS 2017: 206-221 - 2016
- [j2]Marc-Olivier Killijian, Roberto Pasqua, Matthieu Roy, Gilles Trédan, Christophe Zanon:
Souk: Spatial Observation of Human Kinetics. Comput. Networks 111: 109-119 (2016) - [c47]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: 94-101 - [c46]Roberto Pasqua, Matthieu Roy, Gilles Trédan:
Loca: a location-oblivious co-location attack in crowds. UbiComp 2016: 535-544 - [c45]Armando Castañeda, Sergio Rajsbaum
Two Convergence Problems for Robots on Graphs. LADC 2016: 81-90 - [c44]Armando Castañeda, Pierre Fraigniaud, Eli Gafni, Sergio Rajsbaum
Brief Announcement: Asynchronous Coordination with Constraints and Preferences. PODC 2016: 299-301 - [c43]Armando Castañeda, Pierre Fraigniaud, Eli Gafni, Sergio Rajsbaum
Asynchronous Coordination Under Preferences and Constraints. SIROCCO 2016: 111-126 - [r1]Matthieu Roy:
BG Distributed Simulation Algorithm. Encyclopedia of Algorithms 2016: 199-203 - 2015
- [c42]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: 73-84 - [c41]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: 36-43 - [i4]Yvonne-Anne Pignolet, Matthieu Roy, Stefan Schmid, Gilles Trédan:
Exploring the Graph of Graphs: Network Evolution and Centrality Distances. CoRR abs/1506.01565 (2015) - 2014
- [c40]Matthieu Roy, Stefan Schmid
Modeling and measuring graph similarity: the case for centrality distance. FOMC 2014: 47-52 - [c39]Angeliki Kritikakou
Run-Time Control to Increase Task Parallelism In Mixed-Critical Systems. ECRTS 2014: 119-128 - [c38]Miruna Stoicescu, Jean-Charles Fabre, Matthieu Roy, Animesh Pathak:
From Resilient Computing Architectural Concepts to Wireless Sensor Network-Based Applications (Short Paper). EDCC 2014: 46-49 - [c37]Jesus Friginal
Does Mobility Matter? An Evaluation Methodology for Opportunistic Apps. NCA 2014: 24-31 - [c36]Pierre Fraigniaud, Sergio Rajsbaum, Matthieu Roy, Corentin Travers:
The Opinion Number of Set-Agreement. OPODIS 2014: 155-170 - [c35]Ludovic Pintard, Jean-Charles Fabre, Michel Leeman, Karama Kanoun, Matthieu Roy:
From Safety Analyses to Experimental Validation of Automotive Embedded Systems. PRDC 2014: 125-134 - [c34]Angeliki Kritikakou
Distributed run-time WCET controller for concurrent critical tasks in mixed-critical systems. RTNS 2014: 139 - [c33]Hélène Martorell, Jean-Charles Fabre, Matthieu Roy, Régis Valentin:
Improving adaptiveness of AUTOSAR embedded applications. SAC 2014: 384-390 - [c32]Sébastien Gambs, Marc-Olivier Killijian, Matthieu Roy, Moussa Traoré:
PROPS: A PRivacy-Preserving Location Proof System. SRDS 2014: 1-10 - [c31]Pierre Fraigniaud, Eli Gafni, Sergio Rajsbaum, Matthieu Roy:
Automatically Adjusting Concurrency to the Level of Synchrony. DISC 2014: 1-15 - [i3]Matthieu Roy, Stefan Schmid, Gilles Trédan:
Modeling and Measuring Graph Similarity: The Case for Centrality Distance. CoRR abs/1406.5481 (2014) - 2013
- [c30]Quentin Enard, Miruna Stoicescu, Emilie Balland, Charles Consel, Laurence Duchien, Jean-Charles Fabre, Matthieu Roy:
Design-driven development methodology for resilient computing. CBSE 2013: 59-64 - [c29]Ludovic Pintard, Jean-Charles Fabre, Karama Kanoun, Michel Leeman, Matthieu Roy:
Fault Injection in the Automotive Standard ISO 26262: An Initial Approach. EWDC 2013: 126-133 - [c28]Marc-Olivier Killijian, Matthieu Roy, Gilles Trédan, Christophe Zanon:
SOUK: social observation of human kinetics. UbiComp 2013: 193-196 - [c27]Olivier Baldellon, Jean-Charles Fabre, Matthieu Roy:
Minotor: Monitoring Timing and Behavioral Properties for Dependable Distributed Systems. PRDC 2013: 206-215 - [c26]Hélène Martorell, Jean-Charles Fabre, Matthieu Roy, Régis Valentin:
Towards Dynamic Updates In AUTOSAR. CARS@SAFECOMP 2013 - 2012
- [c25]Sébastien Gambs, Marc-Olivier Killijian, Matthieu Roy, Moussa Traoré:
Locanyms: towards privacy-preserving location-based services. ARMOR 2012: 1:1-1:6 - [c24]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: 7:1-7:6 - [c23]Miruna Stoicescu, Jean-Charles Fabre, Matthieu Roy:
From Design for Adaptation to Component-Based Resilient Computing. PRDC 2012: 1-10 - [c22]Amina Mekki-Mokhtar, Jean-Paul Blanquart, Jérémie Guiochet, David Powell, Matthieu Roy:
Safety Trigger Conditions for Critical Autonomous Systems. PRDC 2012: 61-69 - [c21]Olivier Baldellon, Jean-Charles Fabre, Matthieu Roy:
Distributed Monitoring of Temporal System Properties Using Petri Nets. SRDS 2012: 398-399 - [i2]Miruna Stoicescu, Jean-Charles Fabre, Matthieu Roy:
Experimenting with Component-Based Middleware for Adaptive Fault Tolerant Computing. CoRR abs/1204.1232 (2012) - 2011
- [c20]Miruna Stoicescu, Jean-Charles Fabre, Matthieu Roy:
Architecting Resilient Computing Systems: Overall Approach and Open Issues. SERENE 2011: 48-62 - [p1]Anas Abou El Kalam
Further Privacy Mechanisms. Digital Privacy - PRIME 2011: 485-555 - [e1]Antonio Fernández Anta, Giuseppe Lipari, Matthieu Roy:
Principles of Distributed Systems - 15th International Conference, OPODIS 2011, Toulouse, France, December 13-16, 2011. Proceedings. Lecture Notes in Computer Science 7109, Springer 2011, ISBN 978-3-642-25872-5 [contents] - 2010
- [c19]Marc-Olivier Killijian, Matthieu Roy, Gaëtan Séverac:
ARUM: A cooperative middleware and an experimentation platform for mobile systems. WiMob 2010: 442-449 - [i1]Emmanuelle Anceaume, Xavier Défago, Maria Potop-Butucaru, Matthieu Roy:
A framework for proving the self-organization of dynamic systems. CoRR abs/1011.2312 (2010)
2000 – 2009
- 2009
- [c18]Marc-Olivier Killijian, Matthieu Roy:
Data Backup for Mobile Nodes: A Cooperative Middleware and an Experimentation Platform. WADS 2009: 53-73 - [c17]Matthieu Roy, Marc-Olivier Killijian:
Brief announcement: a platform for experimenting with mobile algorithms in a laboratory. PODC 2009: 316-317 - 2008
- [c16]Matthieu Roy, François Bonnet
Geo-registers: An Abstraction for Spatial-Based Distributed Computing. OPODIS 2008: 534-537 - [c15]Thomas Robert, Jean-Charles Fabre, Matthieu Roy:
On-line Monitoring of Real Time Applications for Early Error Detection. PRDC 2008: 24-31 - 2005
- [c14]Michel Raynal, Matthieu Roy, Ciprian Tutu:
A Simple Protocol Offering Both Atomic Consistent Read Operations and Sequentially Consistent Read Operations. AINA 2005: 961-966 - [c13]Emmanuelle Anceaume, Xavier Défago
Towards a Theory of Self-organization. OPODIS 2005: 191-205 - [c12]Michel Raynal, Matthieu Roy:
Allowing Atomic Objects to Coexist with Sequentially Consistent Objects. PaCT 2005: 59-73 - [c11]Michel Raynal, Matthieu Roy:
A Note on a Simple Equivalence between Round-based Synchronous and Asynchronous Models. PRDC 2005: 387-392 - [c10]Ludovic Courtès, Marc-Olivier Killijian, David Powell, Matthieu Roy:
Sauvegarde coopérative entre pairs pour dispositifs mobiles. UbiMob 2005: 97-104 - [c9]Emmanuelle Anceaume, Xavier Défago
Towards a Theory of Self-organization. DISC 2005: 505-506 - 2004
- [j1]Achour Mostéfaoui, Sergio Rajsbaum
Condition-based consensus solvability: a hierarchy of conditions and efficient protocols. Distributed Comput. 17(1): 1-20 (2004) - [c8]Emmanuelle Anceaume, Roy Friedman, Maria Gradinariu, Matthieu Roy:
An Architecture for Dynamic Scalable Self-Managed Persistent Objects. CoopIS/DOA/ODBASE (2) 2004: 1445-1462 - 2003
- [c7]Achour Mostéfaoui, Sergio Rajsbaum, Michel Raynal, Matthieu Roy:
A Hierarchy of Conditions for Asynchronous Interactive Consistency. PaCT 2003: 130-140 - [c6]Matthieu Roy, Achour Mostéfaoui:
Single-Write Safe Consensus using Constrained Inputs. SIROCCO 2003: 291-306 - 2002
- [c5]Achour Mostéfaoui, Michel Raynal, Matthieu Roy, Divyakant Agrawal, Amr El Abbadi:
Towards a formal model for view maintenance in data warehouses. PODC 2002: 129 - [c4]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: 33-47 - [c3]Achour Mostéfaoui, Sergio Rajsbaum, Michel Raynal, Matthieu Roy:
Condition-Based Protocols for Set Agreement Problems. DISC 2002: 48-62 - 2001
- [c2]Achour Mostéfaoui, Sergio Rajsbaum, Michel Raynal, Matthieu Roy:
A hierarchy of conditions for consensus solvability. PODC 2001: 151-160 - [c1]Achour Mostéfaoui, Sergio Rajsbaum, Michel Raynal, Matthieu Roy:
Efficient Condition-Based Consensus. SIROCCO 2001: 275-292
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-10-11 18:19 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: