| Publication | Date of Publication | Type |
|---|
Self-stabilizing synchronous unison in directed networks
Theoretical Computer Science | 2024-05-08 | Paper |
On Implementing Stabilizing Leader Election with Weak Assumptions on Network Dynamics
Proceedings of the 2021 ACM Symposium on Principles of Distributed Computing | 2024-03-26 | Paper |
Squeezing streams and composition of self-stabilizing algorithms
Formal Techniques for Distributed Objects, Components, and Systems | 2024-02-06 | Paper |
Acyclic strategy for silent self-stabilization in spanning forests
Lecture Notes in Computer Science | 2023-08-02 | Paper |
Self-stabilizing systems in spite of high dynamics
Theoretical Computer Science | 2023-06-15 | Paper |
Certification of an exact worst-case self-stabilization time
Theoretical Computer Science | 2023-01-04 | Paper |
Brief Announcement: Self-stabilizing Systems in Spite of High Dynamics
Proceedings of the 39th Symposium on Principles of Distributed Computing | 2021-03-15 | Paper |
| Performance evaluation of components using a granularity-based interface between real-time calculus and timed automata | 2021-02-16 | Paper |
Introduction to Distributed Self-Stabilizing Algorithms
Synthesis Lectures on Distributed Computing Theory | 2019-05-21 | Paper |
| Gradual stabilization under \(\tau \)-dynamics | 2018-01-11 | Paper |
A framework for certified self-stabilization
Logical Methods in Computer Science | 2017-12-11 | Paper |
On probabilistic snap-stabilization
Theoretical Computer Science | 2017-06-19 | Paper |
Self-stabilizing leader election in polynomial steps
Information and Computation | 2017-05-12 | Paper |
Causality problem in real-time calculus
Formal Methods in System Design | 2016-11-30 | Paper |
A framework for certified self-stabilization
Lecture Notes in Computer Science | 2016-10-19 | Paper |
Comparison of mean hitting times for a degree-biased random walk
Discrete Applied Mathematics | 2014-05-06 | Paper |
Analysis of random walks using tabu lists
Structural Information and Communication Complexity | 2012-09-26 | Paper |
Arrival curves for real-time calculus: the causality problem and its solutions
Tools and Algorithms for the Construction and Analysis of Systems | 2010-04-27 | Paper |
Aspect-oriented programming for reactive systems: Larissa, a proposal in the synchronous framework
Science of Computer Programming | 2006-12-14 | Paper |
Formal Modeling and Analysis of Timed Systems
Lecture Notes in Computer Science | 2006-11-14 | Paper |
| scientific article; zbMATH DE number 1956553 (Why is no real title available?) | 2003-07-30 | Paper |
Scheduler modeling based on the controller synthesis paradigm
Real-Time Systems | 2002-09-18 | Paper |
| scientific article; zbMATH DE number 1696502 (Why is no real title available?) | 2002-06-17 | Paper |
| scientific article; zbMATH DE number 1487476 (Why is no real title available?) | 1999-01-01 | Paper |
