Matthieu Roy - RankMe

79 papers A* 4A 5B 20C 8Misc 7Journal 18Unranked 13

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