Sébastien Tixeuil

Parallel Process. Lett., 2016

Formal verification of mobile robot protocols.

[BibT_eX]

[DOI]

Distributed Comput., 2016

Infinite Unlimited Churn.

[BibT_eX]

[DOI]

Dianne Foreback

CoRR, 2016

Certified Universal Gathering in $R^2$ for Oblivious Mobile Robots.

[BibT_eX]

[DOI]

CoRR, 2016

Self-Stabilizing Mobile Byzantine-Tolerant Regular Register with bounded timestamp.

[BibT_eX]

[DOI]

CoRR, 2016

A New Self-Stabilizing Minimum Spanning Tree Construction with Loop-Free Property.

[BibT_eX]

[DOI]

Comput. J., 2016

Certified Universal Gathering in \mathbb R ^2 for Oblivious Mobile Robots.

[BibT_eX]

[DOI]

Proceedings of the Distributed Computing - 30th International Symposium, 2016

An Efficient Silent Self-stabilizing 1-Maximal Matching Algorithm Under Distributed Daemon Without Global Identifiers.

[BibT_eX]

[DOI]

Michiko Inoue

Fukuhito Ooshita

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

Infinite Unlimited Churn (Short Paper).

[BibT_eX]

[DOI]

Dianne Foreback

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

Probabilistic Asynchronous Arbitrary Pattern Formation (Short Paper).

[BibT_eX]

[DOI]

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

Brief Announcement: Certified Universal Gathering in R2 for Oblivious Mobile Robots.

[BibT_eX]

[DOI]

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

Brief Announcement: Probabilistic Asynchronous Arbitrary Pattern Formation.

[BibT_eX]

[DOI]

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

Optimal Mobile Byzantine Fault Tolerant Distributed Storage: Extended Abstract.

[BibT_eX]

[DOI]

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

Benchmarking Energy-Centric Broadcast Protocols in Wireless Sensor Networks.

[BibT_eX]

[DOI]

Proceedings of the Networked Systems - 4th International Conference, 2016

Stability and optimization of DNS-based request redirection in CDNs.

[BibT_eX]

[DOI]

Walid Benchaita

Samir Ghamri-Doudane

Proceedings of the 17th International Conference on Distributed Computing and Networking, 2016

Specification-Based Synthesis of Distributed Self-Stabilizing Protocols.

[BibT_eX]

[DOI]

Proceedings of the Formal Techniques for Distributed Objects, Components, and Systems, 2016

Enhancing Content Distribution through Information-Aware Mechanisms.

[BibT_eX]

[DOI]

Proceedings of the 5th IEEE International Conference on Cloud Networking, 2016

Asynchronous Gathering in Rings with 4 Robots.

[BibT_eX]

[DOI]

François Bonnet

Proceedings of the Ad-hoc, Mobile, and Wireless Networks - 15th International Conference, 2016

2015

Containing Byzantine Failures with Control Zones.

[BibT_eX]

[DOI]

IEEE Trans. Parallel Distributed Syst., 2015

On the self-stabilization of mobile oblivious robots in uniform rings.

[BibT_eX]

[DOI]

Fukuhito Ooshita

Theor. Comput. Sci., 2015

Practically stabilizing SWMR atomic memory in message-passing systems.

[BibT_eX]

[DOI]

J. Comput. Syst. Sci., 2015

Impossibility of gathering, a certification.

[BibT_eX]

[DOI]

Inf. Process. Lett., 2015

Weak vs. Self vs. Probabilistic Stabilization.

[BibT_eX]

[DOI]

Masafumi Yamashita

Int. J. Found. Comput. Sci., 2015

A Certified Universal Gathering Algorithm for Oblivious Mobile Robots.

[BibT_eX]

[DOI]

CoRR, 2015

Asynchronous Pattern Formation without Chirality.

[BibT_eX]

[DOI]

CoRR, 2015

Stateless Geocasting.

[BibT_eX]

[DOI]

Jordan Adamek

CoRR, 2015

Maximum Metric Spanning Tree Made Byzantine Tolerant.

[BibT_eX]

[DOI]

Algorithmica, 2015

Automated Analysis of Impact of Scheduling on Performance of Self-stabilizing Protocols.

[BibT_eX]

[DOI]

Saba Aflaki

Borzoo Bonakdarpour

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

Communicating Reliably in Multihop Dynamic Networks Despite Byzantine Failures.

[BibT_eX]

[DOI]

Proceedings of the 34th IEEE Symposium on Reliable Distributed Systems, 2015

Wait-Free Gathering Without Chirality.

[BibT_eX]

[DOI]

Proceedings of the Structural Information and Communication Complexity, 2015

On the Optimization of Request Routing for Content Delivery.

[BibT_eX]

[DOI]

Walid Benchaita

Samir Ghamri-Doudane

Proceedings of the 2015 ACM Conference on Special Interest Group on Data Communication, 2015

Stabilizing Byzantine-Fault Tolerant Storage.

[BibT_eX]

[DOI]

Silvia Bonomi

Proceedings of the 2015 IEEE International Parallel and Distributed Processing Symposium, 2015

WiSeBat: accurate energy benchmarking of wireless sensor networks.

[BibT_eX]

[DOI]

Proceedings of the 2015 Forum on Specification and Design Languages, 2015

Evaluating and Optimizing Stabilizing Dining Philosophers.

[BibT_eX]

[DOI]

Jordan Adamek

Proceedings of the 11th European Dependable Computing Conference, 2015

2014

Gathering fat mobile robots with slim omnidirectional cameras.

[BibT_eX]

[DOI]

Anthony Honorat

Theor. Comput. Sci., 2014

Byzantine broadcast with fixed disjoint paths.

[BibT_eX]

[DOI]

J. Parallel Distributed Comput., 2014

Reliable Communication in a Dynamic Network in the Presence of Byzantine Faults.

[BibT_eX]

[DOI]

CoRR, 2014

On the Synthesis of Mobile Robots Algorithms: The Case of Ring Gathering.

[BibT_eX]

[DOI]

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

Self-Stabilizing Byzantine Broadcast.

[BibT_eX]

[DOI]

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

Discovering and Assessing Fine-Grained Metrics in Robot Networks Protocols.

[BibT_eX]

[DOI]

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

2013

Optimal probabilistic ring exploration by semi-synchronous oblivious robots.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2013

A self-stabilizing 3-approximation for the maximum leaf spanning tree problem in arbitrary networks.

[BibT_eX]

[DOI]

J. Comb. Optim., 2013

Ideal stabilisation.

[BibT_eX]

[DOI]

Int. J. Grid Util. Comput., 2013

Parameterizable Byzantine Broadcast in Loosely Connected Networks

[BibT_eX]

[DOI]

CoRR, 2013

On Byzantine Broadcast in Planar Graphs

[BibT_eX]

[DOI]

CoRR, 2013

Compact Deterministic Self-stabilizing Leader Election - The Exponential Advantage of Being Talkative.

[BibT_eX]

[DOI]

Proceedings of the Distributed Computing - 27th International Symposium, 2013

Linearizing Peer-to-Peer Systems with Oracles.

[BibT_eX]

[DOI]

Rizal Mohd Nor

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

Certified Impossibility Results for Byzantine-Tolerant Mobile Robots.

[BibT_eX]

[DOI]

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

Consensus with Unknown Participants in Shared Memory.

[BibT_eX]

[DOI]

Catia Khouri

Fabíola Greve

Proceedings of the IEEE 32nd Symposium on Reliable Distributed Systems, 2013

Rigorous Performance Evaluation of Self-Stabilization Using Probabilistic Model Checking.

[BibT_eX]

[DOI]

Narges Fallahi

Borzoo Bonakdarpour

Proceedings of the IEEE 32nd Symposium on Reliable Distributed Systems, 2013

Brief announcement: deterministic self-stabilizing leader election with O(log log n)-bits.

[BibT_eX]

[DOI]

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

Gathering of Mobile Robots Tolerating Multiple Crash Faults.

[BibT_eX]

[DOI]

Shantanu Das

Proceedings of the IEEE 33rd International Conference on Distributed Computing Systems, 2013

A Scalable Byzantine Grid.

[BibT_eX]

[DOI]

Proceedings of the Distributed Computing and Networking, 14th International Conference, 2013

Fast Leader (Full) Recovery Despite Dynamic Faults.

[BibT_eX]

[DOI]

Proceedings of the Distributed Computing and Networking, 14th International Conference, 2013

2012

Bounding the Impact of Unbounded Attacks in Stabilization.

[BibT_eX]

[DOI]

IEEE Trans. Parallel Distributed Syst., 2012

Self-stabilizing byzantine asynchronous unison.

[BibT_eX]

[DOI]

J. Parallel Distributed Comput., 2012

Wait-Free Gathering of Mobile Robots

[BibT_eX]

[DOI]

Shantanu Das

CoRR, 2012

Mariages et Trahisons

[BibT_eX]

[DOI]

Nini Zhu

CoRR, 2012

Limiting Byzantien Influence in Multihop Asynchronous Networks

[BibT_eX]

[DOI]

CoRR, 2012

Brief Announcement: Probabilistic Stabilization under Probabilistic Schedulers.

[BibT_eX]

[DOI]

Proceedings of the Distributed Computing - 26th International Symposium, 2012

On Byzantine Broadcast in Loosely Connected Networks.

[BibT_eX]

[DOI]

Proceedings of the Distributed Computing - 26th International Symposium, 2012

Brief Announcement: Wait-Free Gathering of Mobile Robots.

[BibT_eX]

[DOI]

Shantanu Das

Proceedings of the Distributed Computing - 26th International Symposium, 2012

Optimal Grid Exploration by Asynchronous Oblivious Robots.

[BibT_eX]

[DOI]

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

Brief Announcement: Discovering and Assessing Fine-Grained Metrics in Robot Networks Protocols.

[BibT_eX]

[DOI]

François Bonnet

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

Evaluating Practical Tolerance Properties of Stabilizing Programs through Simulation: The Case of Propagation of Information with Feedback.

[BibT_eX]

[DOI]

Jordan Adamek

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

Crash Resilient and Pseudo-Stabilizing Atomic Registers.

[BibT_eX]

[DOI]

Shlomi Dolev

Proceedings of the Principles of Distributed Systems, 16th International Conference, 2012

Gathering an Even Number of Robots in an Odd Ring without Global Multiplicity Detection.

[BibT_eX]

[DOI]

Proceedings of the Mathematical Foundations of Computer Science 2012, 2012

Four months in daily motion: Dissecting user video requests.

[BibT_eX]

[DOI]

Proceedings of the 8th International Wireless Communications and Mobile Computing Conference, 2012

Limiting Byzantine Influence in Multihop Asynchronous Networks.

[BibT_eX]

[DOI]

Proceedings of the 2012 IEEE 32nd International Conference on Distributed Computing Systems, 2012

The Byzantine Brides Problem.

[BibT_eX]

[DOI]

Nini Zhu

Proceedings of the Fun with Algorithms - 6th International Conference, 2012

A Fast and Robust Optimistic Total Order Broadcast for Online Video Games.

[BibT_eX]

[DOI]

Proceedings of the 26th International Conference on Advanced Information Networking and Applications Workshops, 2012

2011

Éditorial.

[BibT_eX]

[DOI]

Tech. Sci. Informatiques, 2011

A self-stabilizing 2/3-approximation algorithm for the maximum matching problem.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2011

Dynamic FTSS in asynchronous systems: The case of unison.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2011

Deterministic secure positioning in wireless sensor networks.

[BibT_eX]

[DOI]

Partha Sarathi Mandal

Mariusz A. Rokicki

Theor. Comput. Sci., 2011

Stabilizing data-link over non-FIFO channels with optimal fault-resilience.

[BibT_eX]

[DOI]

Inf. Process. Lett., 2011

A Taxonomy of Daemons in Self-stabilization

[BibT_eX]

[DOI]

CoRR, 2011

The BG-simulation for Byzantine Mobile Robots

[BibT_eX]

[DOI]

CoRR, 2011

Auto-Stabilisation et Confinement de Fautes Malicieuses : Optimalité du Protocole min+1

[BibT_eX]

[DOI]

CoRR, 2011

Communication Optimalement Stabilisante sur Canaux non Fiables et non FIFO

[BibT_eX]

[DOI]

CoRR, 2011

Self-Stabilization, Byzantine Containment, and Maximizable Metrics: Necessary Conditions

[BibT_eX]

[DOI]

CoRR, 2011

Self-stabilization in Self-organized Wireless Multihop Networks?

[BibT_eX]

[DOI]

Isabelle Guérin Lassous

Ad Hoc Sens. Wirel. Networks, 2011

Brief Announcement: The BG-Simulation for Byzantine Mobile Robots.

[BibT_eX]

[DOI]

Proceedings of the Distributed Computing - 25th International Symposium, 2011

Pragmatic Self-stabilization of Atomic Memory in Message-Passing Systems.

[BibT_eX]

[DOI]

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

Asynchronous Mobile Robot Gathering from Symmetric Configurations without Global Multiplicity Detection.

[BibT_eX]

[DOI]

Proceedings of the Structural Information and Communication Complexity, 2011

Asynchronous Exclusive Perpetual Grid Exploration without Sense of Direction.

[BibT_eX]

[DOI]

Proceedings of the Principles of Distributed Systems - 15th International Conference, 2011

Distributed Computing with Mobile Robots: An Introductory Survey.

[BibT_eX]

[DOI]

Michel Raynal

Proceedings of the 14th International Conference on Network-Based Information Systems, 2011

Ideal Stabilization.

[BibT_eX]

[DOI]

Proceedings of the 25th IEEE International Conference on Advanced Information Networking and Applications, 2011

2010

Quiescence of self-stabilizing gossiping among mobile agents in graphs.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2010

Optimal Byzantine-resilient convergence in uni-dimensional robot networks.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2010

Snap-stabilization in message-passing systems.

[BibT_eX]

[DOI]

J. Parallel Distributed Comput., 2010

Practically Stabilizing Atomic Memory

[BibT_eX]

[DOI]

CoRR, 2010

Universal Loop-Free Super-Stabilization

[BibT_eX]

[DOI]

CoRR, 2010

On Byzantine Containment Properties of the $min+1$ Protocol

[BibT_eX]

[DOI]

CoRR, 2010

Self-stabilization with Byzantine tolerance for global tasks

[BibT_eX]

[DOI]

CoRR, 2010

Construction auto-stabilisante d'arbre couvrant en dépit d'actions malicieuses

[BibT_eX]

[DOI]

CoRR, 2010

XS-WSNet: Extreme scale wireless sensor network simulation.

[BibT_eX]

[DOI]

Ali Asim

Proceedings of the 11th IEEE International Symposium on a World of Wireless, 2010

The Impact of Topology on Byzantine Containment in Stabilization.

[BibT_eX]

[DOI]

Proceedings of the Distributed Computing, 24th International Symposium, 2010

Exclusive Perpetual Ring Exploration without Chirality.

[BibT_eX]

[DOI]

Proceedings of the Distributed Computing, 24th International Symposium, 2010

Brief Announcement: Sharing Memory in a Self-stabilizing Manner.

[BibT_eX]

[DOI]

Proceedings of the Distributed Computing, 24th International Symposium, 2010

Connectivity-Preserving Scattering of Mobile Robots with Limited Visibility.

[BibT_eX]

[DOI]

Taisuke Izumi

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

On Byzantine Containment Properties of the min + 1 Protocol.

[BibT_eX]

[DOI]

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

Loop-Free Super-Stabilizing Spanning Tree Construction.

[BibT_eX]

[DOI]

Stephane Rovedakis

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

A Framework for Secure and Private P2P Publish/Subscribe.

[BibT_eX]

[DOI]

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

Optimal Deterministic Ring Exploration with Oblivious Asynchronous Robots.

[BibT_eX]

[DOI]

Anissa Lamani

Proceedings of the Structural Information and Communication Complexity, 2010

Brief announcement: monotonic stabilization.

[BibT_eX]

[DOI]

Yukiko Yamauchi

Proceedings of the 29th Annual ACM Symposium on Principles of Distributed Computing, 2010

Conditions for the solvability of fault-tolerant consensus in asynchronous unknown networks: invited paper.

[BibT_eX]

[DOI]

Fabíola Greve

Proceedings of the Third International Workshop on Reliability, Availability, and Security, 2010

Monotonic Stabilization.

[BibT_eX]

[DOI]

Yukiko Yamauchi

Proceedings of the Principles of Distributed Systems - 14th International Conference, 2010

Self-stabilizing Byzantine Asynchronous Unison, .

[BibT_eX]

[DOI]

Proceedings of the Principles of Distributed Systems - 14th International Conference, 2010

RoboCast: Asynchronous Communication in Robot Networks.

[BibT_eX]

[DOI]

Proceedings of the Principles of Distributed Systems - 14th International Conference, 2010

Advanced faults patterns for WSN dependability benchmarking.

[BibT_eX]

[DOI]

Ali Asim

Proceedings of the 13th International Symposium on Modeling Analysis and Simulation of Wireless and Mobile Systems, 2010

Stabilizing Locally Maximizable Tasks in Unidirectional Networks Is Hard.

[BibT_eX]

[DOI]

Proceedings of the 2010 International Conference on Distributed Computing Systems, 2010

Probabilistic Self-stabilizing Vertex Coloring in Unidirectional Anonymous Networks.

[BibT_eX]

[DOI]

Proceedings of the Distributed Computing and Networking, 11th International Conference, 2010

SAFE-OS: A secure and usable desktop operating system.

[BibT_eX]

[DOI]

Proceedings of the CRiSIS 2010, 2010

2009

Discovering Network Topology in the Presence of Byzantine Faults.

[BibT_eX]

[DOI]

IEEE Trans. Parallel Distributed Syst., 2009

A new self-stabilizing maximal matching algorithm.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2009

On bootstrapping topology knowledge in anonymous networks.

[BibT_eX]

[DOI]

ACM Trans. Auton. Adapt. Syst., 2009

Self-stabilizing philosophers with generic conflicts.

[BibT_eX]

[DOI]

Praveen Danturi

ACM Trans. Auton. Adapt. Syst., 2009

Byzantine Convergence in Robots Networks: The Price of Asynchrony

[BibT_eX]

[DOI]

CoRR, 2009

Optimal Byzantine Resilient Convergence in Asynchronous Robot Networks

[BibT_eX]

[DOI]

CoRR, 2009

Optimal byzantine resilient convergence in oblivious robot networks

[BibT_eX]

[DOI]

CoRR, 2009

Stabilizing Maximal Independent Set in Unidirectional Networks is Hard

[BibT_eX]

[DOI]

CoRR, 2009

Optimal Probabilistic Ring Exploration by Asynchronous Oblivious Robots

[BibT_eX]

[DOI]

CoRR, 2009

Brief Announcement: Dynamic FTSS in Asynchronous Systems: The Case of Unison.

[BibT_eX]

[DOI]

Proceedings of the Distributed Computing, 23rd International Symposium, 2009

Optimal Byzantine Resilient Convergence in Asynchronous Robots Networks.

[BibT_eX]

[DOI]

Proceedings of the Stabilization, 2009

Byzantine Convergence in Robot Networks: The Price of Asynchrony.

[BibT_eX]

[DOI]

Proceedings of the Principles of Distributed Systems, 13th International Conference, 2009

Optimal deterministic self-stabilizing vertex coloring in unidirectional anonymous networks.

[BibT_eX]

[DOI]

Proceedings of the 23rd IEEE International Symposium on Parallel and Distributed Processing, 2009

Communication Efficiency in Self-Stabilizing Silent Protocols.

[BibT_eX]

[DOI]

Proceedings of the 29th IEEE International Conference on Distributed Computing Systems (ICDCS 2009), 2009

Byzantine-Resilient Convergence in Oblivious Robot Networks.

[BibT_eX]

[DOI]

Proceedings of the Distributed Computing and Networking, 10th International Conference, 2009

2008

An exercise in selfish stabilization.

[BibT_eX]

[DOI]

ACM Trans. Auton. Adapt. Syst., 2008

Bounds for self-stabilization in unidirectional networks

[BibT_eX]

[DOI]

CoRR, 2008

Ascending runs in dependent uniformly distributed random variables: Application to wireless networks

[BibT_eX]

[DOI]

CoRR, 2008

Universe Detectors for Sybil Defense in Ad Hoc Wireless Networks.

[BibT_eX]

[DOI]

Proceedings of the Stabilization, 2008

A Self-stabilizing -Approximation Algorithm for the Maximum Matching Problem.

[BibT_eX]

[DOI]

Proceedings of the Stabilization, 2008

Weak vs. Self vs. Probabilistic Stabilization.

[BibT_eX]

[DOI]

Masafumi Yamashita

Proceedings of the 28th IEEE International Conference on Distributed Computing Systems (ICDCS 2008), 2008

2007

FAIL-FCI: Versatile fault injection.

[BibT_eX]

[DOI]

William Hoarau

Fabien Vauchelles

Future Gener. Comput. Syst., 2007

Transient fault detectors.

[BibT_eX]

[DOI]

Distributed Comput., 2007

On the Self-stabilization of Mobile Robots in Graphs.

[BibT_eX]

[DOI]

Proceedings of the Principles of Distributed Systems, 11th International Conference, 2007

Conflict Managers for Self-stabilization without Fairness Assumption.

[BibT_eX]

[DOI]

Proceedings of the 27th IEEE International Conference on Distributed Computing Systems (ICDCS 2007), 2007

Knowledge Connectivity vs. Synchrony Requirements for Fault-Tolerant Agreement in Unknown Networks.

[BibT_eX]

[DOI]

Fabíola Greve

Proceedings of the 37th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, 2007

2006

Self-Stabilization with r-Operators revisited.

[BibT_eX]

[DOI]

J. Aerosp. Comput. Inf. Commun., 2006

Evaluating Complex MAC Protocols for Sensor Networks with APMC.

[BibT_eX]

[DOI]

Proceedings of the 6th International Workshop on Automated Verification of Critical Systems, 2006

Bounding the Impact of Unbounded Attacks in Stabilization.

[BibT_eX]

[DOI]

Proceedings of the Stabilization, 2006

Selfish Stabilization.

[BibT_eX]

[DOI]

Anurag Dasgupta

Sukumar Ghosh

Proceedings of the Stabilization, 2006

Fault injection in distributed Java applications.

[BibT_eX]

[DOI]

William Hoarau

Fabien Vauchelles

Proceedings of the 20th International Parallel and Distributed Processing Symposium (IPDPS 2006), 2006

Fast Convergence in Self-Stabilizing Wireless Networks.

[BibT_eX]

[DOI]

Nathalie Mitton

Eric Fleury

Isabelle Guérin Lassous

Bruno Sericola

Proceedings of the 12th International Conference on Parallel and Distributed Systems, 2006

Dependability Evaluation of The Ogsa-Dai Middleware.

[BibT_eX]

[DOI]

Proceedings of the Achievements in European Research on Grid Systems: CoreGRID Integration Workshop 2006, 2006

FAIL-MPI: How Fault-Tolerant Is Fault-Tolerant MPI?

[BibT_eX]

[DOI]

Proceedings of the 2006 IEEE International Conference on Cluster Computing, 2006

The Reduced Automata Technique for Graph Exploration Space Lower Bounds.

[BibT_eX]

[DOI]

Proceedings of the Theoretical Computer Science, 2006

Vers l'auto-stabilisation des systèmes à grande échelle. (Toward self-stabilizing large-scale systems).

[BibT_eX]

[DOI]

, 2006

2005

Stabilizing inter-domain routing in the Internet.

[BibT_eX]

[DOI]

Yu Chen

J. High Speed Networks, 2005

Space Lower Bounds for Graph Exploration via Reduced Automata.

[BibT_eX]

[DOI]

Proceedings of the Structural Information and Communication Complexity, 2005

A Self-stabilizing Link-Coloring Protocol Resilient to Unbounded Byzantine Faults in Arbitrary Networks.

[BibT_eX]

[DOI]

Proceedings of the Principles of Distributed Systems, 9th International Conference, 2005

Self-Stabilization in Self-Organized Multihop Wireless Networks.

[BibT_eX]

[DOI]

Nathalie Mitton

Eric Fleury

Isabelle Guérin Lassous

Proceedings of the 25th International Conference on Distributed Computing Systems Workshops (ICDCS 2005 Workshops), 2005

A language-driven tool for fault injection in distributed systems.

[BibT_eX]

[DOI]

William Hoarau

Proceedings of the 6th IEEE/ACM International Conference on Grid Computing (GRID 2005), 2005

2004

Autostabilisation et protocoles réseau.

[BibT_eX]

[DOI]

Colette Johnen

Tech. Sci. Informatiques, 2004

Self-Stabilizing Mutual Exclusion Under Arbitrary Scheduler.

[BibT_eX]

[DOI]

Comput. J., 2004

Optimal Randomized Self-stabilizing Mutual Exclusion on Synchronous Rings.

[BibT_eX]

[DOI]

Philippe Duchon

Nicolas Hanusse

Proceedings of the Distributed Computing, 18th International Conference, 2004

A Distributed TDMA Slot Assignment Algorithm for Wireless Sensor Networks.

[BibT_eX]

[DOI]

Ted Herman

Proceedings of the Algorithmic Aspects of Wireless Sensor Networks: First International Workshop, 2004

2003

Self-stabilization with path algebra.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2003

Self-Stabilizing Wormhole Routing on Ring Networks.

[BibT_eX]

[DOI]

J. Inf. Sci. Eng., 2003

Route Preserving Stabilization.

[BibT_eX]

[DOI]

Colette Johnen

Proceedings of the Self-Stabilizing Systems, 6th International Symposium, SSS 2003, 2003

Stabilite Et Auto-Stabilisation Du Routage Inter-Domaine Dans Internet.

[BibT_eX]

[DOI]

Duy-So Nguyen

Proceedings of the Actes de la Première Conférence Internationale RIVF'03 Rencontres en Informatique Vietnam-France, 2003

2002

Optimal Snap-Stabilizing Neighborhood Synchronizer in Tree Networks.

[BibT_eX]

[DOI]

Parallel Process. Lett., 2002

Tolerating Transient and Intermittent Failures.

[BibT_eX]

[DOI]

J. Parallel Distributed Comput., 2002

A Lower Bound on Dynamic k-Stabilization in Asynchronous Systems.

[BibT_eX]

[DOI]

Christophe Genolini

Proceedings of the 21st Symposium on Reliable Distributed Systems (SRDS 2002), 2002

Stabilizing Inter-domain Routing in the Internet (Research Note).

[BibT_eX]

[DOI]

Yu Chen

Proceedings of the Euro-Par 2002, 2002

2001

Self-stabilizing distributed sorting in tree networks.

[BibT_eX]

[DOI]

Parallel Algorithms Appl., 2001

Self-stabilization with r-operators.

[BibT_eX]

[DOI]

Distributed Comput., 2001

On a Space-Optimal Distributed Traversal Algorithm.

[BibT_eX]

[DOI]

Proceedings of the Self-Stabilizing Systems, 5th International Workshop, 2001

Tight Space Self-Stabilizing Uniform l-Mutual Exclusion.

[BibT_eX]

[DOI]

Proceedings of the 21st International Conference on Distributed Computing Systems (ICDCS 2001), 2001

2000

Auto-stabilisation Efficace. (Efficient Self-stabilization).

[BibT_eX]

[DOI]

PhD thesis, 2000

Stabilizing Hierarchical Routing.

[BibT_eX]

[DOI]

J. Interconnect. Networks, 2000

Self-stabilizing Vertex Coloration and Arbitrary Graphs.

[BibT_eX]

Proceedings of the Procedings of the 4th International Conference on Principles of Distributed Systems, 2000

Tolerating Transient and Intermittent Failure.

[BibT_eX]

Proceedings of the Procedings of the 4th International Conference on Principles of Distributed Systems, 2000

Self-Stabilizing Mutual Exclusion Using Unfair Distributed Scheduler.

[BibT_eX]

[DOI]

Proceedings of the 14th International Parallel & Distributed Processing Symposium (IPDPS'00), 2000

1999

Self-Stabilizing Algorithms in DAG Structured Networks.

[BibT_eX]

[DOI]

Sajal K. Das

Parallel Process. Lett., 1999

Self-stabilizing census with cut-through constraint.

[BibT_eX]

Joffroy Beauquier

Proceedings of the 1999 ICDCS Workshop on Self-stabilizing Systems, 1999

Self-Stabilizing Neighborhood Synchronizer in Tree Networks.

[BibT_eX]

[DOI]

Proceedings of the 19th International Conference on Distributed Computing Systems, Austin, TX, USA, May 31, 1999

1998

SelfStabilizing Global Computations with rOperators.

[BibT_eX]