Papers in International Conference of Colette Johnen

  1. 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
  2. Silent Anonymous Snap-Stabilizing Termination Detection. Lélia Blin, Colette Johnen, Gabriel Le Bouder, Franck Petit. 41st International Symposium on Reliable Distributed Systems (SRDS 2022), pages 156-165, 2022.
    https://doi.org/10.1109/SRDS55811.2022.00023
  3. 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
  4. 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
  5. 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
  6. 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
  7. 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
  8. 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
  9. Memory Efficient Self-stabilizing distance-k Independent Dominating Set Construction, Colette Johnen. Third International Conference Networked Systems, (NETYS 2015), LNCS 9466, pages 354-366, 2015.
  10. On the Uncontended Complexity of Anonymous Consensus, Claire Capdevielle, Colette Johnen, Petr Kuznetsov, Alessia Milani, 19th International Conference on Principles of Distributed Systems, (OPODIS 2015), 2015.
  11. Maintaining a Spanning Forest in Highly Dynamic Networks: The Synchronous Case, Matthieu Barjon, Arnaud Casteigts, Serge Chaumette, Colette Johnen, Yessin M. Neggaz. 18th International Conference on Principles of Distributed Systems, (OPODIS 2014), LNCS 8878, pages 277-292, 2014.
  12. Solo-fast Universal Constructions for Deterministic Abortable Objects, Claire Capdevielle, Colette Johnen, Alessia Milani, 28th International Symposium on DIStributed Computing (DISC 2014), LNCS 8784, pages 288-302, 2014.
  13. 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.
  14. From self- to self-stabilizing with service guarantee 1-hop weight-based clustering, Colette Johnen, Fouzi Mekhaldi. 14th International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS 2012), LNCS 7596, pages 163-178, 2012.
    Extended version in research report no. 462, LaBRI, 2012.
  15. Self-Stabilizing Computation and Preservation of Knowledge of Neighbor Clusters Colette Johnen, Fouzi Mekhaldi. 5th IEEE International Conference on Self-Adaptive and Self-Organizing Systems (SASO 2011), pages 41-50, 2011.
  16. Self-stabilization versus Robust Self-stabilization for Clustering in Ad-Hoc Network. Colette Johnen, Fouzi Mekhaldi. in tome 1 of Proc. of the 17th International Euro-Par Conference Euro-Par (Euro-Par 2011), LNCS 6852, pages 117-129, 2011.
  17. Quantitative model for evaluate routing protocols in a vehicular ad hoc networks on highway Florent Kaisser , Colette Johnen, Véronique Vèque. Second IEEE Vehicular Networking Conference (VNC 2010), pages 330-337, 2010.
  18. 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.
  19. Fault-tolerant Implementations of Regular Registers by Safe Registers with Applications to Networks Colette Johnen, Lisa Higham. 10th International Conference on Distributed Computing and Networking (ICDCN 2009), LNCS 5408, pages 337-448, 2009.
  20. Self-stabilizing bounded size clustering algorithm, Colette Johnen, Le Huy Nguyen. 8th International Symposium on Parallel and Distributed Processing and Applications (ISPA08), pages 43-50, 2008.
  21. Analyze of probabilistic algorithms under non-deterministic scheduler, Colette Johnen, Joffroy Beauquier, IEEE 8th International Symposium on Parallel and Distributed Processing and Applications (ISPA08), pages 553-558, 2008.
  22. 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.
  23. 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.
  24. All k-bounded policies are equivalent for self-stabilization, Joffroy Beauquier, Colette Johnen, Stéphane Messika. 8th International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS 2006), LNCS 4280, pages 82-94, 2006.
  25. Self-Stabilizing Clustering Algorithm for Ad hoc Networks, Colette Johnen, Le Huy Nguyen. AlgoSensors 2006, LNCS 4240, pages 83-93, 2006.
  26. Relationships between communication  models in networks using atomic registers, Lisa Higham, Colette Johnen. 6th IEEE International Parallel & Distributed Processing Symposium (IPDPS'06), 2006.
    Extended version is Relationships between communication register models in networks, research report no. 1419, L.R.I., 2005.
  27. Bounded Service Time and Memory Space Optimal Self-Stabilizing Token Circulation Protocol on unidirectional rings, Colette Johnen. 18th International Parallel & Distributed Processing Symposium (IPDPS'04), 2004.
    Extended version in research report no. 1330, L.R.I., 2002.
  28. Route Preserving Stabilization, Colette Johnen and Sébastien Tixeuil. 6th Symposium on Self-Stabilizing Systems (SSS'03), LNCS 2704, pages 183-197, 2003.
  29. Service Time Optimal Self-Stabilizing Token Circulation Protocol on Anonymous Unidrectional Rings, Colette Johnen. 21st Symposium on Reliable Distributed Systems (SRDS 2002), page 80-89, 2002.
  30. Cross-over composition - enforcement of fairness under unfair adversary, Joffroy Beauquier, Maria Gradinariu, Colette Johnen. 5th International Workshop on Self-Stabilizing System (WSS'01). in LNCS 2194, pages 19-34, 2001.
  31. A Space Optimal, Deterministic, Self-Stabilizing, Leader Election Algorithm for Unidirectional Rings, Faith Fich, Colette Johnen. 15th International Symposium on Distributed Computing (DISC'01). LNCS 2180, pages 224-239, 2001.
    Extend version in research report no. 1243, L.R.I., January 2000.
  32. Self-stabilizing Neighborhood Unique Naming Under Unfair Scheduler, Maria Gradinariu, Colette Johnen. 7th International Euro-Par Conference on Parallel processing (Euro-Par 2001). LNCS 2150, pages 458-465. 2001.
  33. 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.
  34. Self-Stabilizing Neighborhood Synchronizer in Tree Networks, Colette Johnen, Luc O. Alima, Ajoy K. Datta, Sébastien Tixeuil. 19th IEEE International Conference on Distributed Computing Systems (ICDCS '99), Austin, Texas, USA, 1999.
  35. Memory space requirements for self-stabilizing leader election protocols, Joffroy Beauquier, Maria Gradinariu, Colette Johnen. 18th ACM Symposium on Principles of Distributed Computing (PODC'99), pages 199-208, 1999.
  36. Self-Stabilizing Depth-First Token Circulation In Arbitrary Rooted Networks, Ajoy K. Datta, Colette Johnen, Frank Petit, Vincent Villain. 5th International Colloquium on Structural Information and Communication Complexity (SIROCCO'98), 1998.
  37. 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.
  38. Self-Stabilizing Depth-First Token Passing on Rooted Networks, Colette Johnen, Gianluigi Alari, Joffroy Beauquier, and Ajoy K. Datta. 11th International Workshop on Distributed algorithms (WDAG'97), LNCS 1320, pages 260-274, 1997.
  39. Memory Efficient, Self-Stabilizing algorithm to construct BFS spanning trees, Colette Johnen, long version of the brief annoucement to PODC'97, in Proc. of the third Workshop on Self-Stabilizing System (WSS'97), pages 125-140, 1997.
  40. Space-efficient distributed Self-Stabilizing depth-first token circulation, Colette Johnen and Joffroy Beauquier. Second Workshop on Self-Stabilizing System (WSS'95), pages 4.1-4.15, 1995.
  41. 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.
  42. 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.
  43. Algorithmic Verification of Home Spaces in Place/Transition systems, Colette Johnen. 12fth IMACS world congress, 1988.
  44. 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.
  45. 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