-
Contributions for the Security in Mobile Ad hoc Networks (MANETs)
The thesis focuses on security in Mobile Ad hoc Networks (MANETs) [RFC 2501]. The lack of any central management of the network functions make MANETs more vulnerable... -
Debugging the Execution of Distributed Algorithms over Anonymous Networks
International audience -
A Distributed Algorithm for Adaptive Traffic Lights Control
International audience -
A distributed wheel sieve algorithm using Scheduling by Multiple Edge Reversal
Number of pages: 12 -
Usage-based ranking of services and data
The emergence of peer-to-peer systems and the possibility to use web services to perform computations and to exchange data lead to large-scale integration systems... -
Convergence of a multi-agent projected stochastic gradient algorithm for non-...
International audience -
Integrating Proved State-Based Models for Constructing Correct Distributed Al...
International audience -
Programming Environment, Run-Time System and Simulator for Many-Core Machines
Since 2005, chip manufacturers have stopped raising processor frequencies, which had been the primary mean to increase computer processing power since the end of the... -
Distributed Maintenance of Anytime Available Spanning Trees in Dynamic Networks
International audience -
Modeling and analysis of networked control algorithms using descriptor models
International audience -
From Event-B Specifications to Programs for Distributed Algorithms
International audience -
Distributed algorithms in autonomous and heterogeneous networks
Growing diversity of agents in current communication networks and increasing capacitiesof concurrent technologies in the network environment has lead to the... -
A Uniform Self-Stabilizing Minimum Diameter Spanning Tree Algorithm
14 pages; International conférence; Uniform self-stabilizing variant of the problem -
A distributed prime sieving algorithm based on Scheduling by Multiple Edge Re...
11 pages. Special issue : Selected papers from the ISPDC'05 Conference (4th International Symposium on Parallel and Distributed Computing) -
Towards Proved Distributed Algorithms through Refinement, Composition and Loc...
International audience -
Revisiting Snapshot Algorithms by Refinement-based Techniques (Extended Version)
International audience -
Ideal Stabilization
International audience -
Rigorous Performance Evaluation of Self-Stabilization Using Probabilistic Mod...
International audience -
Formal and Incremental Construction of Distributed Algorithms: On the Distrib...
The development of distributed algorithms and, more generally, distributed systems, is a complex, delicate and challenging process. Refinement techniques of (system)... -
Fast Genuine Generalized Consensus
International audience
