211 citations
- Université Grenoble AlpesFR49 papers
- Centre National de la Recherche ScientifiqueFR44 papers
- Institut polytechnique de GrenobleFR12 papers
- Université Joseph FourierFR7 papers
- FortissDE4 papers
- Institut des langues et cultures d'Europe, Amérique, Afrique, Asie et AustralieFR4 papers
- Institut national de recherche en sciences et technologies du numériqueFR4 papers
- Aalto UniversityFI3 papers
- Commissariat à l'Énergie Atomique et aux Énergies AlternativesFR3 papers
- École Polytechnique Fédérale de LausanneCH3 papers
- Laboratoire d'Informatique de GrenobleFR3 papers
- LIP6FR3 papers
5 papers · 1 filter
Self-stabilizing K-out-of-L exclusion on tree network
Ajoy K. Datta, Stéphane Devismes, Florian Horn +1
In this paper, we address the problem of K-out-of-L exclusion, a generalization of the mutual exclusion problem, in which there are units of a shared resource, and any proce…
Communication Efficiency in Self-stabilizing Silent Protocols
Stéphane Devismes, Toshimitsu Masuzawa, Sébastien Tixeuil
Self-stabilization is a general paradigm to provide forward recovery capabilities to distributed systems and networks. Intuitively, a protocol is self-stabilizing if it is able to…
Automatic Modular Abstractions for Linear Constraints
David Monniaux
We propose a method for automatically generating abstract transformers for static analysis by abstract interpretation. The method focuses on linear constraints on programs operatin…
A Quantifier Elimination Algorithm for Linear Real Arithmetic
David Monniaux
We propose a new quantifier elimination algorithm for the theory of linear real arithmetic. This algorithm uses as subroutine satisfiability modulo this theory, a problem for which…
A logical analysis of entanglement and separability in quantum higher-order functions
F. Prost, C. Zerrari
We present a logical separability analysis for a functional quantum computation language. This logic is inspired by previous works on logical analysis of aliasing for imperative fu…