7 citations · 12 across the 4 of their papers we have counts for
4 papers
Acyclic Strategy for Silent Self-Stabilization in Spanning Forests
Karine Altisen, Stéphane Devismes, Anaïs Durand
In this paper, we formalize design patterns, commonly used in the self-stabilizing area, to obtain general statements regarding both correctness and time complexity guarantees. Pre…
A Framework for Certified Self-Stabilization
Karine Altisen, Pierre Corbineau, Stephane Devismes
We propose a general framework to build certified proofs of distributed self-stabilizing algorithms with the proof assistant Coq. We first define in Coq the locally shared memory m…
Performance Evaluation of Components Using a Granularity-based Interface Between Real-Time Calculus and Timed Automata
Karine Altisen, Yanhong Liu, Matthieu Moy
To analyze complex and heterogeneous real-time embedded systems, recent works have proposed interface techniques between real-time calculus (RTC) and timed automata (TA), in order…
Performance Evaluation of Components Using a Granularity-based Interface Between Real-Time Calculus and Timed Automata
Karine Altisen, Yanhong Liu, Matthieu Moy
To analyze complex and heterogeneous real-time embedded systems, recent works have proposed interface techniques between real-time calculus (RTC) and timed automata (TA), in order…