Home Page

Research activities

Teaching activities (French)

Colette Johnen Publication

Generally my publications are in pdf format; otherwise the format is indicated.

Notice about copyright

The documents distributed by this server have been provided by the contributing authors as a means to ensure timely dissemination of scholarly and technical work on a noncommercial basis. Copyright and all rights therein are maintained by the authors or by other copyright holders, notwithstanding that they have offered their works here electronically. It is understood that all persons copying this information will adhere to the terms and constraints invoked by each author's copyright. These works may not be reposted without the explicit permission of the copyright holder.

Paper in International Journals

  1. Robust Self-Stabilizing Weight-Based Clustering Algorithm, Colette Johnen and Le Huy Nguyen, Theoretical Computer Science (TCS), vol 410, no (6-7), pages 581-594, 2009.
  2. Safe Peer-to-Peer self-downloading, Kajari Ghosh Dastidar, Ted Herman and Colette Johnen, ACM Transactions on Autonomous and Adaptive Systems (TAAS), vol 3 no 4, 2008.
  3. Randomized Self-Stabilizing and Space Optimal Leader Election under Arbitrary Scheduler on Rings, Joffroy Beauquier, Maria Gradinariu, Colette Johnen, Distributed Computing (DC), vol 20, no 1, pages 75-93, 2007.
  4. Strategies for Peer-to-Peer downloading, Ted Herman and Colette Johnen, Information Processing Letters (IPL), vol 94, no 5, pages 203-209, 2005.
  5. Optimal Snap-Stabilizing Neighborhood Synchronizer in Tree Networks, Colette Johnen, Luc O. Alima, Ajoy K. Datta, Sébastien Tixeuil in Parallel Processing Letters (PPL), vol 12, no 3&4, pages 327-340, 2002.
  6. Token Based Self-Stabilizing Uniform Algorithms, Joffroy Beauquier, Maria Gradinariu, Colette Johnen, and Jérôme Durand-Lose. in Journal of Parallel and Distributed Computing (JPDC). vol 62, no 5, pages 899-921, 2002.
  7. Self-stabilizing Depth-First Token Circulation in Arbitrary Rooted Networks, Ajoy K. Datta, Colette Johnen, Franck Petit, Vincent Villain. Distributed Computing (DC), vol 13, no 4, pages 207-218, 2000.

Papers in International Conferences

  1. 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.
  2. Fault-tolerant Implementations of Regular Registers by Safe Registers with Applications to Networks Colette Johnen, Lisa Higham, in Proc. of the 10th International Conference on Distributed Computing and Networking (ICDCN 2009), LNCS 5408, pages 337-448, 2009.
  3. Self-stabilizing bounded size clustering algorithm, Colette Johnen, Le Huy Nguyen, in Proc. of the IEEE 8th International Symposium on Parallel and Distributed Processing and Applications (ISPA08), pages 43-50, 2008.
  4. Analyze of probabilistic algorithms under non-deterministic scheduler, Colette Johnen, Joffroy Beauquier, in Proc. of the IEEE 8th International Symposium on Parallel and Distributed Processing and Applications (ISPA08), pages 553-558, 2008.
  5. Robust Self-Stabilizing Clustering Algorithm, Colette Johnen, Le Huy Nguyen, in Proc. of the 10th International Conference On principles of Distributed Systems (OPODIS'06), LNCS 4305, pages 408-422, 2006.
  6. Safe Peer-to-Peer Self-Downloading, Kajari Ghosh Dastidar, Ted Herman, Colette Johnen, in Proc. of the 8th International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS 2006), LNCS 4280, pages 324-334, 2006.
  7. All k-bounded policies are equivalent for self-stabilization, Joffroy Beauquier, Colette Johnen, Stéphane Messika, in Proc. of the 8th International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS 2006), LNCS 4280, pages 82-94, 2006.
  8. Self-Stabilizing Clustering Algorithm for Ad hoc Networks, Colette Johnen, Le Huy Nguyen, AlgoSensors 2006, LNCS 4240, pages 83-93, 2006.
  9. Relationships between communication  models in networks using atomic registers, Lisa Higham, Colette Johnen, in Proc of the 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.
  10. Bounded Service Time and Memory Space Optimal Self-Stabilizing Token Circulation Protocol on unidirectional rings, Colette Johnen. in Proc. of the 18th International Parallel & Distributed Processing Symposium (IPDPS'04), 2004.
    Extended version in research report no. 1330, L.R.I., 2002.
  11. Route Preserving Stabilization , Colette Johnen and Sébastien Tixeuil. in Proc. of 6th Symposium on Self-Stabilizing Systems (SSS'03), LNCS 2704, pages 183-197, 2003.
  12. 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.
  13. Cross-over composition - enforcement of fairness under unfair adversary, Joffroy Beauquier, Maria Gradinariu, Colette Johnen. in Proc. of the 5th International Workshop on Self-Stabilizing System (WSS'01). in LNCS 2194, pages 19-34, 2001.
  14. A Space Optimal, Deterministic, Self-Stabilizing, Leader Election Algorithm for Unidirectional Rings, Faith Fich, Colette Johnen. in Proc. of the 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.
  15. Self-stabilizing Neighborhood Unique Naming Under Unfair Scheduler, Maria Gradinariu, Colette Johnen. in Proc. of the 7th International Euro-Par Conference on Parallel processing (Euro-Par 2001). LNCS 2150, pages 458-465. 2001.
  16. Fair and Reliable Self-stabilizing Communication, Ivan Lavallée, Christian Lavault, Colette Johnen. in Proc. of the 4th International Conference On Principles Of DIstributed Systems (OPODIS'2000), pages 163-176, 2000.
  17. Self-Stabilizing Neighborhood Synchronizer in Tree Networks, Colette Johnen, Luc O. Alima, Ajoy K. Datta, Sébastien Tixeuil. in Proc. of the 19th IEEE International Conference on Distributed Computing Systems (ICDCS '99), Austin, Texas, USA, 1999.
  18. Memory space requirements for self-stabilizing leader election protocols, Joffroy Beauquier, Maria Gradinariu, Colette Johnen. in Proc. of the 18th ACM Symposium on Principles of Distributed Computing (PODC'99), pages 199-208, 1999.
  19. Self-Stabilizing Depth-First Token Circulation In Arbitrary Rooted Networks, Ajoy K. Datta, Colette Johnen, Frank Petit, Vincent Villain, in Proc. of the 5th International Colloquium on Structural Information and Communication Complexity (SIROCCO'98), 1998.
  20. 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.
  21. Self-Stabilizing Depth-First Token Passing on Rooted Networks, Colette Johnen, Gianluigi Alari, Joffroy Beauquier, and Ajoy K. Datta. in Proc. of the 11th International Workshop on Distributed algorithms (WDAG'97), LNCS 1320, pages 260-274, 1997.
  22. 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.
  23. Distributed Self-Stabilizing depth-first token circulation with constant memory, Colette Johnen and Joffroy Beauquier. in Proc. of the Second Workshop on Self-Stabilizing System (WSS'95), pages 4.1-4.15, 1995. 
  24. 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.
  25. 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.
  26. Algorithmic Verification of Home Spaces in Place/Transition systems, Colette Johnen, in Proc. Twelfth IMACS world congress, 1988.
  27. Petrireve: Petri Net Transformations and Proofs with Rewriting Systems, Christine Choppy and Colette Johnen, in Proc. Sixth European Workshop on Applications and Theory of Petri nets, 1985.
  28. Petrireve: Proving Petri Net Properties with Rewriting Systems, Christine Choppy and Colette Johnen, in Proc. First International Conference on Rewriting Techniques and Applications, LNCS 202, pages 271-286, 1985

Briefs announcements in International Conference papers

  1. Brief Announcement: Robust Self-stabilizing Construction of Bounded Size Weight-Based Clusters, Colette Johnen, Fouzi Mekhaldi, in Proc. of 11th International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS 2009), LNCS 5873, pages 787-788, 2009.
    Extended version in research report no. 1518, L.R.I, 2009.
  2. Fault-tolerant Implementations of Atomic Registers by Safe Registers in Networks, Colette Johnen and Lisa Higham, in the 27th Annual ACM SIGACT-SIGOPS Symposium on Principles of Distributed Computing (PODC'08), page 449, 2008.
    extended version is Fault-tolerant Implementations of Regular Registers by safe Registers in Link Model, Colette Johnen and Lisa Higham, research report no. 1486, L.R.I., Febuary, 2008.
  3. Fault-tolerant Implementations of Atomic Registers in weaker networks, Colette Johnen, Lisa Higham, in the 21th International Symposium on Distributed Computing (DISC'07), LNCS 4731, pages 485-487, 2007.
    extended version is Self-Stabilizing implementation of atomic register by regular register in network framework Lisa Higham, Colette Johnen, research report no. 1449, L.R.I., 2006.
  4. Computing automatically the stabilization time against the worst and the best schedulers, Joffroy Beauquier, Colette Johnen, St%eacute;phane Messika, in the 20th International Symposium on Distributed Computing (DISC'06), LNCS 4167, pages 543-447, 2006.
    extended version in research report no. 1448, L.R.I., 2006.
  5. Memory Efficient, Self-Stabilizing algorithm to construct BFS spanning trees, Colette Johnen, in the 16th Annual ACM Symposium on Principles of Distributed Computing (PODC'97) , page 288, 1997.

HdR dissertation

  • Quelques contributions à l'auto-stabilisation, 66 pages in French, l'Habilitation à, diriger des recherches defence happened the November 13th, 2007.
    Also in research report no. 1479, L.R.I., November 2007.
  • Summary in english of HdR dissertation 28 pages, August, 2007.
  • Slides using during my HdR 's defense, 8 pages, November 13th, 2007.

Doctorat Thesis

  • Analyse algorithmique des réseaux de Petri: Vérification d'espace d'accueil, Systèmes de réécriture, C. Johnen, University Paris-Sud 11, December, 1987

Paper in French speaking Journals

  1. Autostabilisation et Protocoles Réseau, Colette Johnen, Franck Petit et Sébastien Tixeuil, RSTI - TSI, vol 23, no 8, pages 1027-1056, 2004.
    Also in research report no. 1357, L.R.I., 2003 .
  2. Reliable Self-Stabilizing Communication for Quasi Rendezvous , Ivan Lavallée, Christian Lavault, Colette Johnen. Studia Informatica, vol 1, no 1, publisher Suger, pp. 59-76, 2002
  3. The chapiter : Exorcisme ou communication fiable et équitable autostabilisée, Ivan Lavallée and Christian Lavault and Colette Johnen, dans le livre Parallélisme et répartitions, Hermes, coordonnateur Jean-Frédérique Myoupo. dans la séries parallélisme, réseaux et répartition, pages 9-21, 1998.

Papers in French Speaking Conferences

  1. Gestion auto-stabilisante avec garantie de service de la connaissance des clusters voisins, Fouzi Mekhaldi, Colette Johnen, 8iéme MAnifestation des JEunes Chercheurs en Sciences et Technologies de l'Information et de la Communication (MajeStic'2010), 2010.
  2. Vers une modélisation robuste des protocoles de routage pour réseaux de véhicules, Florent Kaisser, Colette Johnen, Véronique Vèque, 14ième Colloque Francophone sur l'Ingénierie des Protocoles, (CFIP'2009), 241-252, 2009.
  3. Service Time of Self-Stabilizing Token Circulation Protocol on Anonymous Unidirectional Rings - Extended Abstract, Colette Johnen. 5ième Rencontres Francophones sur les aspects Algorithmiques des Télécommunications (Algotel 2003), 2003
  4. Service Time of Self-Stabilizing Token Circulation Protocol on Anonymous Unidirectional Rings - Extended Abstract, Colette Johnen. 5ième Rencontres Francophones sur les aspects Algorithmiques des Télécommunications (Algotel 2003), 2003
  5. Routage et reroutage dans un réseau mobile, Dominique Barth, Colette Johnen, Véronique Vèque, 2ième Rencontres Francophones sur les aspects Algorithmiques des Télécommunications (Algotel 2002), 2002.
  6. Construction efficace du graphe de couverture minimal: Application à l'analyse de Protocole, A. Finkel and C. Johnen, in Colloque Francophone sur l'Ingénierie des Protocoles (CFIP'91), 1991.
  7. D'espace d'accueil dans les Réseaux de Petri, Colette Johnen and Gérard Memmi, in Colloque Francophone sur l'Ingénierie des Protocoles (CFIP'91), 1991

Poster

  1. Robust Self-Stabilizing Management for MANET, Fouzi Mekhaldi and Colette Johnen, at Trilogy Future Internet summer school, Louvain-la-Neuve, Belgium, 2009

Contract Reports

  1. Clocked Petri nets, Joffroy Beauquier and Colette Johnen and Elisabeth Pelz and Nicole Polian, 1985
    final report of agreement ``High level for Interactive Layout and Design''

Software manuals

  1. NETMATE Object Model SYBASE technical report, Colette Johnen, 1992
  2. Serpe: an Extensible Structure for Analysis of Petri Nets, Pierre Fraisse, Colette Johnen, Nicolas Treves, LRI report no. 302, 1986
  3. Welcome to the Petrireve Environment, Colette Johnen and Christine Choppy, 1985.

Technical reports

  • Actes de la journées ``Réseaux et Algorithmes Répartis'' du 20 juin 2002. Sylvie Delaët, Thomas Hérault, Colette Johnen and Sébastien Tixeuil, LRI report no. 1325, 2002.
  • Exorcisme, ou communication, fiable et équitable autostabilisée, Ivan Lavallée, Christian Lavault, Colette Johnen, research report no. 1, L.R.I.A., Equipe PARADIS, University Paris 8, January, 1998 (in french).
  • Space Efficient, Distributed and Self-Stabilizing depth-first token circulation, Colette Johnen and Joffroy Beauquier, Final Version, 1996.
  • Space Efficient, Distributed and Self-Stabilizing depth-first token circulation, Colette Johnen and Joffroy Beauquier, Actes des VI Journées du LIPN, September, 1995.
  • Decomposition of Petri Nets for Parallel analysis, A. Finkel, C. Johnen and L. Petrucci, LRI report no. 706, 1991
  • Computation of p-invariants for integers nets : application to the analysis of algebraic nets, C. Johnen and L. Petrucci, LRI report no. 645, 1991
  • The home state problem in Transition Systems, A. Finkel and C. Johnen, LRI report no. 471, 1989
  • Decidability of home space property, D. Frutos and C. Johnen, LRI report no. 503, 1989

Modified : September 2011