Mouna Safir

dblp:282/8734 · DBLP profile ↗
← Back
4ranked-venue papers
0as first author
4since 2021 · last 2026
0000-0003-1747-2365ORCID · corroborated

Domains — the database's venue-derived domains; a paper can count in several

Security and privacy · 2 · 2 since 2021Theory of computation · 2 · 2 since 2021
YearPublicationVenuePosition
2026 Self-stabilizing mutual exclusion in dynamic networks with bounded temporal diameter
Stéphane Devismes, Swan Dubois, François Malenfer, Franck Petit, Mouna Safir
Theor. Comput. Sci.5
2025 Self-stabilizing Mutual Exclusion in Dynamic Networks with Bounded Temporal Diameter
abstract
We consider distributed systems subject to frequent topological changes. Specifically, we assume the network topology evolves as a dynamic graph in which, at any point in time, the temporal distance between any two processes is at most $$\varDelta $$ . Under a synchronous message-passing model where processes have unique identifiers and know both $$\varDelta $$ and an upper bound N on the number of processes n, we provide a distributed self-stabilizing mutual exclusion algorithm working in that class of dynamic graphs. Our solution stabilizes in $$\mathcal{O}(\varDelta .N)$$ rounds using bounded local memories. Moreover, it achieves optimal waiting time: once stabilized, the maximum delay before a process enters its critical section is at most $$n-1$$ rounds. Our algorithm is actually a composition of several self-stabilizing building blocks that respectively achieve Leader Election, Unison, and Ranking. We also provide original self-stabilizing solutions for the latter two problems; for the self-stabilizing leader election, we use a solution given by Altisen et al. (Theoretical Computer Science, 2023).
Stéphane Devismes, Swan Dubois, François Malenfer, Franck Petit, Mouna Safir
SSS5
2023 Optimal algorithms for synchronous Byzantine k-set agreement
Carole Delporte-Gallet, Hugues Fauconnier, Michel Raynal, Mouna Safir
Theor. Comput. Sci.4
2022 Optimal Algorithms for Synchronous Byzantine k-Set Agreement
Carole Delporte-Gallet, Hugues Fauconnier, Michel Raynal, Mouna Safir
SSS4