Matthieu Roy

Stéphane Paquelet

Matthieu Crussière

Proceedings of the 31st IEEE Annual International Symposium on Personal, 2020

2019

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

[BibT_eX]

[DOI]

Achour Mostéfaoui

Computing, 2019

Synchronous t-Resilient Consensus in Arbitrary Graphs.

[BibT_eX]

[DOI]

Proceedings of the Stabilization, Safety, and Security of Distributed Systems, 2019

Degrees of Freedom of Ray-Based Models for mm-Wave Wideband MIMO-OFDM.

[BibT_eX]

[DOI]

Stéphane Paquelet

Matthieu Crussière

Proceedings of the 2019 IEEE Global Communications Conference, 2019

2018

SMOF: A Safety Monitoring Framework for Autonomous Systems.

[BibT_eX]

[DOI]

IEEE Trans. Syst. Man Cybern. Syst., 2018

DYNASCORE: DYNAmic Software COntroller to Increase REsource Utilization in Mixed-Critical Systems.

[BibT_eX]

[DOI]

Angeliki Kritikakou

Thibaut Marty

ACM Trans. Design Autom. Electr. Syst., 2018

Resilient computing on ROS using adaptive fault tolerance.

[BibT_eX]

[DOI]

J. Softw. Evol. Process., 2018

Convergence and covering on graphs for wait-free robots.

[BibT_eX]

[DOI]

Armando Castañeda

Sergio Rajsbaum

J. Braz. Comput. Soc., 2018

MIMO Channel Hardening: A Physical Model based Analysis.

[BibT_eX]

[DOI]

CoRR, 2018

MIMO Channel Hardening for Ray-based Models.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

, 2018

2017

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

[BibT_eX]

[DOI]

J. Syst. Archit., 2017

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

[BibT_eX]

[DOI]

Proceedings of the Networked Systems - 5th International Conference, 2017

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

[BibT_eX]

[DOI]

Proceedings of the 28th IEEE International Symposium on Software Reliability Engineering, 2017

2016

BG Distributed Simulation Algorithm.

[BibT_eX]

[DOI]

Encyclopedia of Algorithms, 2016

Souk: Spatial Observation of Human Kinetics.

[BibT_eX]

[DOI]

Comput. Networks, 2016

Asynchronous Coordination Under Preferences and Constraints.

[BibT_eX]

[DOI]

Proceedings of the Structural Information and Communication Complexity, 2016

Brief Announcement: Asynchronous Coordination with Constraints and Preferences.

[BibT_eX]

[DOI]

Proceedings of the 2016 ACM Symposium on Principles of Distributed Computing, 2016

Two Convergence Problems for Robots on Graphs.

[BibT_eX]

[DOI]

Armando Castañeda

Sergio Rajsbaum

Proceedings of the 2016 Seventh Latin-American Symposium on Dependable Computing, 2016

Loca: a location-oblivious co-location attack in crowds.

[BibT_eX]

[DOI]

Roberto Pasqua

Proceedings of the 2016 ACM International Joint Conference on Pervasive and Ubiquitous Computing, 2016

Engineering Adaptive Fault-Tolerance Mechanisms for Resilient Computing on ROS.

[BibT_eX]

[DOI]

Proceedings of the 17th IEEE International Symposium on High Assurance Systems Engineering, 2016

2015

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

[BibT_eX]

[DOI]

CoRR, 2015

Model-Checking and Game theory for Synthesis of Safety Rules.

[BibT_eX]

[DOI]

Proceedings of the 16th IEEE International Symposium on High Assurance Systems Engineering, 2015

Partial Updates of AUTOSAR Embedded Applications - To What Extent?

[BibT_eX]

[DOI]

Proceedings of the 11th European Dependable Computing Conference, 2015

2014

Automatically Adjusting Concurrency to the Level of Synchrony.

[BibT_eX]

[DOI]

Proceedings of the Distributed Computing - 28th International Symposium, 2014

PROPS: A PRivacy-Preserving Location Proof System.

[BibT_eX]

[DOI]

Sébastien Gambs

Moussa Traoré

Proceedings of the 33rd IEEE International Symposium on Reliable Distributed Systems, 2014

Improving adaptiveness of AUTOSAR embedded applications.

[BibT_eX]

[DOI]

Proceedings of the Symposium on Applied Computing, 2014

Distributed run-time WCET controller for concurrent critical tasks in mixed-critical systems.

[BibT_eX]

[DOI]

Proceedings of the 22nd International Conference on Real-Time Networks and Systems, 2014

From Safety Analyses to Experimental Validation of Automotive Embedded Systems.

[BibT_eX]

[DOI]

Proceedings of the 20th IEEE Pacific Rim International Symposium on Dependable Computing, 2014

The Opinion Number of Set-Agreement.

[BibT_eX]

[DOI]

Proceedings of the Principles of Distributed Systems - 18th International Conference, 2014

Does Mobility Matter? An Evaluation Methodology for Opportunistic Apps.

[BibT_eX]

[DOI]

Jesus Friginal

Roberto Pasqua

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).

[BibT_eX]

[DOI]

Proceedings of the 2014 Tenth European Dependable Computing Conference, 2014

Run-Time Control to Increase Task Parallelism In Mixed-Critical Systems.

[BibT_eX]

[DOI]

Proceedings of the 26th Euromicro Conference on Real-Time Systems, 2014

Modeling and measuring graph similarity: the case for centrality distance.

[BibT_eX]

[DOI]

Stefan Schmid

Proceedings of the 10th ACM International Workshop on Foundations of Mobile Computing, 2014

2013

Towards Dynamic Updates In AUTOSAR.

[BibT_eX]

[DOI]

Proceedings of the SAFECOMP 2013, 2013

Minotor: Monitoring Timing and Behavioral Properties for Dependable Distributed Systems.

[BibT_eX]

[DOI]

Olivier Baldellon

Proceedings of the IEEE 19th Pacific Rim International Symposium on Dependable Computing, 2013

SOUK: social observation of human kinetics.

[BibT_eX]

[DOI]

Christophe Zanon

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.

[BibT_eX]

[DOI]

Proceedings of the Dependable Computing - 14th European Workshop, 2013

Design-driven development methodology for resilient computing.

[BibT_eX]

[DOI]

Proceedings of the CBSE'13, 2013

2012

Experimenting with Component-Based Middleware for Adaptive Fault Tolerant Computing

[BibT_eX]

[DOI]

CoRR, 2012

Distributed Monitoring of Temporal System Properties Using Petri Nets.

[BibT_eX]

[DOI]

Olivier Baldellon

Proceedings of the IEEE 31st Symposium on Reliable Distributed Systems, 2012

From Design for Adaptation to Component-Based Resilient Computing.

[BibT_eX]

[DOI]

Proceedings of the IEEE 18th Pacific Rim International Symposium on Dependable Computing, 2012

Safety Trigger Conditions for Critical Autonomous Systems.

[BibT_eX]

[DOI]

Proceedings of the IEEE 18th Pacific Rim International Symposium on Dependable Computing, 2012

Locanyms: towards privacy-preserving location-based services.

[BibT_eX]

[DOI]

Sébastien Gambs

Moussa Traoré

Proceedings of the 1st European Workshop on AppRoaches to MObiquitous Resilience, 2012

AMORES: an architecture for mobiquitous resilient systems.

[BibT_eX]

[DOI]

Proceedings of the 1st European Workshop on AppRoaches to MObiquitous Resilience, 2012

2011

Further Privacy Mechanisms.

[BibT_eX]

[DOI]

Anas Abou El Kalam

Carlos Aguilar Melchor

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

Architecting Resilient Computing Systems: Overall Approach and Open Issues.

[BibT_eX]

[DOI]

Proceedings of the Software Engineering for Resilient Systems, 2011

2010

A framework for proving the self-organization of dynamic systems

[BibT_eX]

[DOI]

CoRR, 2010

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

[BibT_eX]

[DOI]

Gaëtan Séverac

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.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Proceedings of the Architecting Dependable Systems VII, 2009

2008

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

[BibT_eX]

[DOI]

Thomas Robert

Proceedings of the 14th IEEE Pacific Rim International Symposium on Dependable Computing, 2008

Geo-registers: An Abstraction for Spatial-Based Distributed Computing.

[BibT_eX]

[DOI]

David Powell

Proceedings of the Principles of Distributed Systems, 12th International Conference, 2008

2005

Towards a Theory of Self-organization.

[BibT_eX]

[DOI]

Proceedings of the Distributed Computing, 19th International Conference, 2005

Sauvegarde coopérative entre pairs pour dispositifs mobiles.

[BibT_eX]

[DOI]

Ludovic Courtès

David Powell

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.

[BibT_eX]

[DOI]

Proceedings of the 11th IEEE Pacific Rim International Symposium on Dependable Computing (PRDC 2005), 2005

Allowing Atomic Objects to Coexist with Sequentially Consistent Objects.

[BibT_eX]

[DOI]

Proceedings of the Parallel Computing Technologies, 2005

A Simple Protocol Offering Both Atomic Consistent Read Operations and Sequentially Consistent Read Operations.

[BibT_eX]

[DOI]

Ciprian Tutu

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.

[BibT_eX]

[DOI]

Distributed Comput., 2004

An Architecture for Dynamic Scalable Self-Managed Persistent Objects.

[BibT_eX]

[DOI]

Proceedings of the On the Move to Meaningful Internet Systems 2004: CoopIS, 2004

2003

Single-Write Safe Consensus using Constrained Inputs.

[BibT_eX]