Papers in International Conference of Colette Johnen
Efficient Wait-Free Queue Algorithms with Multiple Enqueuers and Multiple Dequeuers.
Colette Johnen, Adnane Khattabi, Alessia Milani.
26th International Conference on Principles of Distributed Systems
(OPODIS 2022), pages 4:1-4:19, 2022.
https://doi.org/10.4230/LIPIcs.OPODIS.2022.4
Self-stabilizing Systems in Spite of High Dynamics.
Karine Altisen, Stéphane Devismes, Anaïs Durand,
Colette Johnen, Franck Petit.
21th International Conference on Distributed Computing and
Networking
(ICDCN 2021), pages 156-165, 2021.
https://doi.org/10.1145/3427796.3427838
On Implementing Stabilizing Leader Election
with Weak Assumptions on Network Dynamics.
Karine Altisen, Stéphane Devismes, Anaïs Durand,
Colette Johnen, Franck Petit.
21th ACM Symposium on Principles of Distributed Computing
(PODC 2021), page 21-31, 2021.
https://doi.org/10.1145/3465084.3467917
FIFO and Atomic broadcast algorithms with bounded message size for dynamic systems.
Colette Johnen, Luciana Arantes, Pierre Sens.
40th International Symposium on Reliable Distributed Systems
(SRDS 2021),
pages 277-287, 2021.
https://doi.org/10.1109/SRDS53918.2021.00035
Self-Stabilizing Distributed Cooperative Reset.
Stéphane Devismes, Colette Johnen.
39th International Conference on Distributed Computing Systems
(ICDCS 2019), pages 379-389, 2019.
https://doi.org/10.1109/ICDCS.2019.00045
Silent self-stabilizing scheme for spanning-tree-like constructions.
Stéphane Devismes, David Ilcinkas, Colette Johnen.
20th International Conference on Distributed Computing and Networking
(ICDCN 2019), pages 158-167, 2019.
https://doi.org/10.1145/3288599.3288607
Self-Stabilizing Disconnected Components Detection and Rooted Shortest-Path Tree Maintenance in Polynomial Steps.
Stéphane Devismes, David Ilcinkas, Colette Johnen.
20th International Conference on Principles of Distributed Systems,
(OPODIS 2016), 2016.
https://doi.org/10.4230/LIPIcs.OPODIS.2016.10
Disconnected components detection and rooted shortest-path tree,
Christian Glacet, Nicolas Hanusse, David Ilcinkas, Colette Johnen.
16th International Symposium on Stabilization, Safety, and
Security of Distributed Systems
(SSS 2014), LNCS 8756, pages 120-134, 2014.
Robust Self-Stabilizing Comstruction of Bounded Size Weight-Based Clusters
Colette Johnen, Fouzi Mekhaldi.
in tome 1 of Proc. of the 16th International Euro-Par Conference
(Euro-Par 2010), LNCS 6271,
pages 535-546, 2010.
Robust Self-Stabilizing Clustering
Algorithm,
Colette Johnen, Le Huy Nguyen.
10th International
Conference On principles of Distributed Systems
(OPODIS'06), LNCS 4305, pages 408-422, 2006.
Safe Peer-to-Peer Self-Downloading,
Kajari Ghosh Dastidar, Ted Herman, Colette Johnen. 8th
International Symposium on Stabilization, Safety, and Security of
Distributed Systems (SSS 2006), LNCS 4280, pages 324-334, 2006.
Fair and Reliable
Self-stabilizing Communication, Ivan Lavallée, Christian
Lavault, Colette Johnen. 4th
International Conference On Principles Of DIstributed Systems (OPODIS'2000), pages 163-176,
2000.
A fault-tolerant
token passing algorithm on tree networks, Gianluigi Alari, Joffroy
Beauquier, Ajoy K. Datta, Colette Johnen, and Visalakshi Thiagarajan,
IEEE International Performance Computing, and Communications
Conference ( IPCCC'98),
pages 44-55 1998.
Analysis of the
communication structure of Occam2 programs using Petri nets, Colette
Johnen and Fabrice Mourlin. in Transputers'92 Advanced Research and
Industrial Applications, IOS, 1992.
PAPETRI :
Environment for the analysis of PETRI nets, Gérard
Berthelot and Colette
Johnen and Laure Petrucci. in Computer-Aide Verification '90, vol
3, "D.I.M.A.C.S.", A.C.M./A.M.S., 1991.
Algorithmic Verification
of Home Spaces in Place/Transition systems, Colette Johnen.
12fth IMACS world congress, 1988.
Petrireve: Petri Net Transformations and Proofs
with Rewriting Systems,
Christine Choppy and Colette Johnen.
6th European Workshop on Applications and Theory
of Petri nets, 1985.
Petrireve: Proving Petri
Net Properties with Rewriting Systems,
Christine Choppy and Colette Johnen.
First International Conference on Rewriting Techniques and
Applications,
LNCS 202, pages 271-286, 1985