Stop the war!
Остановите войну!
for scientists:
default search action
BibTeX records: Colette Johnen
@article{DBLP:journals/corr/abs-2402-14120, author = {Colette Johnen and Adnane Khattabi and Alessia Milani and Jennifer L. Welch}, title = {Efficient Wait-Free Linearizable Implementations of Approximate Bounded Counters Using Read-Write Registers}, journal = {CoRR}, volume = {abs/2402.14120}, year = {2024}, url = {https://doi.org/10.48550/arXiv.2402.14120}, doi = {10.48550/ARXIV.2402.14120}, eprinttype = {arXiv}, eprint = {2402.14120}, timestamp = {Fri, 22 Mar 2024 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/corr/abs-2402-14120.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tcs/DattaDJL23, author = {Ajoy K. Datta and St{\'{e}}phane Devismes and Colette Johnen and Lawrence L. Larmore}, title = {Analysis of a memory-efficient self-stabilizing {BFS} spanning tree construction}, journal = {Theor. Comput. Sci.}, volume = {955}, pages = {113804}, year = {2023}, url = {https://doi.org/10.1016/j.tcs.2023.113804}, doi = {10.1016/J.TCS.2023.113804}, timestamp = {Sat, 29 Apr 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/tcs/DattaDJL23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tcs/AltisenDDJP23, author = {Karine Altisen and St{\'{e}}phane Devismes and Ana{\"{\i}}s Durand and Colette Johnen and Franck Petit}, title = {Self-stabilizing systems in spite of high dynamics}, journal = {Theor. Comput. Sci.}, volume = {964}, pages = {113966}, year = {2023}, url = {https://doi.org/10.1016/j.tcs.2023.113966}, doi = {10.1016/J.TCS.2023.113966}, timestamp = {Fri, 07 Jul 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/tcs/AltisenDDJP23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2307-06635, author = {St{\'{e}}phane Devismes and David Ilcinkas and Colette Johnen and Fr{\'{e}}d{\'{e}}ric Mazoit}, title = {Making local algorithms efficiently self-stabilizing in arbitrary asynchronous environments}, journal = {CoRR}, volume = {abs/2307.06635}, year = {2023}, url = {https://doi.org/10.48550/arXiv.2307.06635}, doi = {10.48550/ARXIV.2307.06635}, eprinttype = {arXiv}, eprint = {2307.06635}, timestamp = {Mon, 24 Jul 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-2307-06635.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2307-16593, author = {St{\'{e}}phane Devismes and David Ilcinkas and Colette Johnen and Fr{\'{e}}d{\'{e}}ric Mazoit}, title = {Trade-off between Time, Space, and Workload: the case of the Self-stabilizing Unison}, journal = {CoRR}, volume = {abs/2307.16593}, year = {2023}, url = {https://doi.org/10.48550/arXiv.2307.16593}, doi = {10.48550/ARXIV.2307.16593}, eprinttype = {arXiv}, eprint = {2307.16593}, timestamp = {Fri, 04 Aug 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-2307-16593.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/algorithmica/DevismesIJ22, author = {St{\'{e}}phane Devismes and David Ilcinkas and Colette Johnen}, title = {Optimized Silent Self-Stabilizing Scheme for Tree-Based Constructions}, journal = {Algorithmica}, volume = {84}, number = {1}, pages = {85--123}, year = {2022}, url = {https://doi.org/10.1007/s00453-021-00878-9}, doi = {10.1007/S00453-021-00878-9}, timestamp = {Thu, 10 Feb 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/algorithmica/DevismesIJ22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/opodis/JohnenKM22, author = {Colette Johnen and Adnane Khattabi and Alessia Milani}, editor = {Eshcar Hillel and Roberto Palmieri and Etienne Rivi{\`{e}}re}, title = {Efficient Wait-Free Queue Algorithms with Multiple Enqueuers and Multiple Dequeuers}, booktitle = {26th International Conference on Principles of Distributed Systems, {OPODIS} 2022, December 13-15, 2022, Brussels, Belgium}, series = {LIPIcs}, volume = {253}, pages = {4:1--4:19}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik}, year = {2022}, url = {https://doi.org/10.4230/LIPIcs.OPODIS.2022.4}, doi = {10.4230/LIPICS.OPODIS.2022.4}, timestamp = {Wed, 15 Feb 2023 17:36:11 +0100}, biburl = {https://dblp.org/rec/conf/opodis/JohnenKM22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/srds/BlinJBP22, author = {L{\'{e}}lia Blin and Colette Johnen and Gabriel Le Bouder and Franck Petit}, title = {Silent Anonymous Snap-Stabilizing Termination Detection}, booktitle = {41st International Symposium on Reliable Distributed Systems, {SRDS} 2022, Vienna, Austria, September 19-22, 2022}, pages = {156--165}, publisher = {{IEEE}}, year = {2022}, url = {https://doi.org/10.1109/SRDS55811.2022.00023}, doi = {10.1109/SRDS55811.2022.00023}, timestamp = {Wed, 18 Jan 2023 19:02:47 +0100}, biburl = {https://dblp.org/rec/conf/srds/BlinJBP22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icdcn/AltisenDDJP21, author = {Karine Altisen and St{\'{e}}phane Devismes and Ana{\"{\i}}s Durand and Colette Johnen and Franck Petit}, title = {Self-stabilizing Systems in Spite of High Dynamics}, booktitle = {{ICDCN} '21: International Conference on Distributed Computing and Networking, Virtual Event, Nara, Japan, January 5-8, 2021}, pages = {156--165}, publisher = {{ACM}}, year = {2021}, url = {https://doi.org/10.1145/3427796.3427838}, doi = {10.1145/3427796.3427838}, timestamp = {Sun, 02 Oct 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/icdcn/AltisenDDJP21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/podc/AltisenDDJP21, author = {Karine Altisen and St{\'{e}}phane Devismes and Ana{\"{\i}}s Durand and Colette Johnen and Franck Petit}, editor = {Avery Miller and Keren Censor{-}Hillel and Janne H. Korhonen}, title = {On Implementing Stabilizing Leader Election with Weak Assumptions on Network Dynamics}, booktitle = {{PODC} '21: {ACM} Symposium on Principles of Distributed Computing, Virtual Event, Italy, July 26-30, 2021}, pages = {21--31}, publisher = {{ACM}}, year = {2021}, url = {https://doi.org/10.1145/3465084.3467917}, doi = {10.1145/3465084.3467917}, timestamp = {Sun, 02 Oct 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/podc/AltisenDDJP21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/srds/JohnenA021, author = {Colette Johnen and Luciana Arantes and Pierre Sens}, title = {{FIFO} and Atomic broadcast algorithms with bounded message size for dynamic systems}, booktitle = {40th International Symposium on Reliable Distributed Systems, {SRDS} 2021, Chicago, IL, USA, September 20-23, 2021}, pages = {277--287}, publisher = {{IEEE}}, year = {2021}, url = {https://doi.org/10.1109/SRDS53918.2021.00035}, doi = {10.1109/SRDS53918.2021.00035}, timestamp = {Tue, 30 Nov 2021 09:18:25 +0100}, biburl = {https://dblp.org/rec/conf/srds/JohnenA021.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/sss/2021, editor = {Colette Johnen and Elad Michael Schiller and Stefan Schmid}, title = {Stabilization, Safety, and Security of Distributed Systems - 23rd International Symposium, {SSS} 2021, Virtual Event, November 17-20, 2021, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {13046}, publisher = {Springer}, year = {2021}, url = {https://doi.org/10.1007/978-3-030-91081-5}, doi = {10.1007/978-3-030-91081-5}, isbn = {978-3-030-91080-8}, timestamp = {Wed, 10 Nov 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/sss/2021.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/cj/HaddadJK20, author = {Mohammed Haddad and Colette Johnen and Sven K{\"{o}}hler}, title = {Polynomial Silent Self-Stabilizing p-Star Decomposition{\textdagger}}, journal = {Comput. J.}, volume = {63}, number = {2}, pages = {253--266}, year = {2020}, url = {https://doi.org/10.1093/comjnl/bxz102}, doi = {10.1093/COMJNL/BXZ102}, timestamp = {Tue, 29 Dec 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/cj/HaddadJK20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/podc/AltisenDDJP20, author = {Karine Altisen and St{\'{e}}phane Devismes and Ana{\"{\i}}s Durand and Colette Johnen and Franck Petit}, editor = {Yuval Emek and Christian Cachin}, title = {Brief Announcement: Self-stabilizing Systems in Spite of High Dynamics}, booktitle = {{PODC} '20: {ACM} Symposium on Principles of Distributed Computing, Virtual Event, Italy, August 3-7, 2020}, pages = {227--229}, publisher = {{ACM}}, year = {2020}, url = {https://doi.org/10.1145/3382734.3404502}, doi = {10.1145/3382734.3404502}, timestamp = {Fri, 09 Apr 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/podc/AltisenDDJP20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/cj/BarjonCCJN19, author = {Matthieu Barjon and Arnaud Casteigts and Serge Chaumette and Colette Johnen and Yessin M. Neggaz}, title = {Maintaining a Distributed Spanning Forest in Highly Dynamic Networks}, journal = {Comput. J.}, volume = {62}, number = {2}, pages = {231--246}, year = {2019}, url = {https://doi.org/10.1093/comjnl/bxy069}, doi = {10.1093/COMJNL/BXY069}, timestamp = {Mon, 26 Oct 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/cj/BarjonCCJN19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jpdc/GlacetHIJ19, author = {Christian Glacet and Nicolas Hanusse and David Ilcinkas and Colette Johnen}, title = {Disconnected components detection and rooted shortest-path tree maintenance in networks}, journal = {J. Parallel Distributed Comput.}, volume = {132}, pages = {299--309}, year = {2019}, url = {https://doi.org/10.1016/j.jpdc.2019.05.006}, doi = {10.1016/J.JPDC.2019.05.006}, timestamp = {Mon, 26 Oct 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/jpdc/GlacetHIJ19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icdcn/DevismesIJ19, author = {St{\'{e}}phane Devismes and David Ilcinkas and Colette Johnen}, editor = {R. C. Hansdah and Dilip Krishnaswamy and Nitin H. Vaidya}, title = {Silent self-stabilizing scheme for spanning-tree-like constructions}, booktitle = {Proceedings of the 20th International Conference on Distributed Computing and Networking, {ICDCN} 2019, Bangalore, India, January 04-07, 2019}, pages = {158--167}, publisher = {{ACM}}, year = {2019}, url = {https://doi.org/10.1145/3288599.3288607}, doi = {10.1145/3288599.3288607}, timestamp = {Wed, 01 Sep 2021 12:22:37 +0200}, biburl = {https://dblp.org/rec/conf/icdcn/DevismesIJ19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icdcs/DevismesJ19, author = {St{\'{e}}phane Devismes and Colette Johnen}, title = {Self-Stabilizing Distributed Cooperative Reset}, booktitle = {39th {IEEE} International Conference on Distributed Computing Systems, {ICDCS} 2019, Dallas, TX, USA, July 7-10, 2019}, pages = {379--389}, publisher = {{IEEE}}, year = {2019}, url = {https://doi.org/10.1109/ICDCS.2019.00045}, doi = {10.1109/ICDCS.2019.00045}, timestamp = {Sun, 25 Oct 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/icdcs/DevismesJ19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sss/DattaDJL19, author = {Ajoy K. Datta and St{\'{e}}phane Devismes and Colette Johnen and Lawrence L. Larmore}, editor = {Mohsen Ghaffari and Mikhail Nesterenko and S{\'{e}}bastien Tixeuil and Sara Tucci and Yukiko Yamauchi}, title = {Brief Announcement: Analysis of a Memory-Efficient Self-stabilizing {BFS} Spanning Tree Construction}, booktitle = {Stabilization, Safety, and Security of Distributed Systems - 21st International Symposium, {SSS} 2019, Pisa, Italy, October 22-25, 2019, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {11914}, pages = {99--104}, publisher = {Springer}, year = {2019}, url = {https://doi.org/10.1007/978-3-030-34992-9\_8}, doi = {10.1007/978-3-030-34992-9\_8}, timestamp = {Mon, 23 May 2022 11:50:06 +0200}, biburl = {https://dblp.org/rec/conf/sss/DattaDJL19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-1901-03587, author = {St{\'{e}}phane Devismes and Colette Johnen}, title = {Self-Stabilizing Distributed Cooperative Reset}, journal = {CoRR}, volume = {abs/1901.03587}, year = {2019}, url = {http://arxiv.org/abs/1901.03587}, eprinttype = {arXiv}, eprint = {1901.03587}, timestamp = {Fri, 01 Feb 2019 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/corr/abs-1901-03587.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-1907-07944, author = {Ajoy K. Datta and St{\'{e}}phane Devismes and Colette Johnen and Lawrence L. Larmore}, title = {Analysis of a Memory-Efficient Self-Stabilizing {BFS} Spanning Tree}, journal = {CoRR}, volume = {abs/1907.07944}, year = {2019}, url = {http://arxiv.org/abs/1907.07944}, eprinttype = {arXiv}, eprint = {1907.07944}, timestamp = {Fri, 09 Apr 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-1907-07944.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tcs/CapdevielleJM18, author = {Claire Capdevielle and Colette Johnen and Alessia Milani}, title = {On the complexity of basic abstractions to implement consensus}, journal = {Theor. Comput. Sci.}, volume = {715}, pages = {86--96}, year = {2018}, url = {https://doi.org/10.1016/j.tcs.2017.12.039}, doi = {10.1016/J.TCS.2017.12.039}, timestamp = {Mon, 26 Oct 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/tcs/CapdevielleJM18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/dc/CapdevielleJKM17, author = {Claire Capdevielle and Colette Johnen and Petr Kuznetsov and Alessia Milani}, title = {On the uncontended complexity of anonymous agreement}, journal = {Distributed Comput.}, volume = {30}, number = {6}, pages = {459--468}, year = {2017}, url = {https://doi.org/10.1007/s00446-017-0297-z}, doi = {10.1007/S00446-017-0297-Z}, timestamp = {Mon, 26 Oct 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/dc/CapdevielleJKM17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/dmtcs/DevismesIJ17, author = {St{\'{e}}phane Devismes and David Ilcinkas and Colette Johnen}, title = {Self-Stabilizing Disconnected Components Detection and Rooted Shortest-Path Tree Maintenance in Polynomial Steps}, journal = {Discret. Math. Theor. Comput. Sci.}, volume = {19}, number = {3}, year = {2017}, url = {https://doi.org/10.23638/DMTCS-19-3-14}, doi = {10.23638/DMTCS-19-3-14}, timestamp = {Sun, 12 Feb 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/dmtcs/DevismesIJ17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/DevismesIJ17, author = {St{\'{e}}phane Devismes and David Ilcinkas and Colette Johnen}, title = {Self-Stabilizing Disconnected Components Detection and Rooted Shortest-Path Tree Maintenance in Polynomial Steps}, journal = {CoRR}, volume = {abs/1703.03315}, year = {2017}, url = {http://arxiv.org/abs/1703.03315}, eprinttype = {arXiv}, eprint = {1703.03315}, timestamp = {Fri, 09 Apr 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/DevismesIJ17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jpdc/DevismesJ16, author = {St{\'{e}}phane Devismes and Colette Johnen}, title = {Silent self-stabilizing {BFS} tree algorithms revisited}, journal = {J. Parallel Distributed Comput.}, volume = {97}, pages = {11--23}, year = {2016}, url = {https://doi.org/10.1016/j.jpdc.2016.06.003}, doi = {10.1016/J.JPDC.2016.06.003}, timestamp = {Mon, 26 Oct 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/jpdc/DevismesJ16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/opodis/DevismesIJ16, author = {St{\'{e}}phane Devismes and David Ilcinkas and Colette Johnen}, editor = {Panagiota Fatourou and Ernesto Jim{\'{e}}nez and Fernando Pedone}, title = {Self-Stabilizing Disconnected Components Detection and Rooted Shortest-Path Tree Maintenance in Polynomial Steps}, booktitle = {20th International Conference on Principles of Distributed Systems, {OPODIS} 2016, December 13-16, 2016, Madrid, Spain}, series = {LIPIcs}, volume = {70}, pages = {10:1--10:16}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik}, year = {2016}, url = {https://doi.org/10.4230/LIPIcs.OPODIS.2016.10}, doi = {10.4230/LIPICS.OPODIS.2016.10}, timestamp = {Sun, 25 Oct 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/opodis/DevismesIJ16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sss/HaddadJK16, author = {Mohammed Haddad and Colette Johnen and Sven K{\"{o}}hler}, editor = {Borzoo Bonakdarpour and Franck Petit}, title = {Polynomial Silent Self-Stabilizing p-Star Decomposition (Short Paper)}, booktitle = {Stabilization, Safety, and Security of Distributed Systems - 18th International Symposium, {SSS} 2016, Lyon, France, November 7-10, 2016, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {10083}, pages = {185--189}, year = {2016}, url = {https://doi.org/10.1007/978-3-319-49259-9\_15}, doi = {10.1007/978-3-319-49259-9\_15}, timestamp = {Sun, 25 Oct 2020 22:45:03 +0100}, biburl = {https://dblp.org/rec/conf/sss/HaddadJK16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/netys/Johnen15, author = {Colette Johnen}, editor = {Ahmed Bouajjani and Hugues Fauconnier}, title = {Memory Efficient Self-stabilizing Distance-k Independent Dominating Set Construction}, booktitle = {Networked Systems - Third International Conference, {NETYS} 2015, Agadir, Morocco, May 13-15, 2015, Revised Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {9466}, pages = {354--366}, publisher = {Springer}, year = {2015}, url = {https://doi.org/10.1007/978-3-319-26850-7\_24}, doi = {10.1007/978-3-319-26850-7\_24}, timestamp = {Sun, 25 Oct 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/netys/Johnen15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/opodis/CapdevielleJKM15, author = {Claire Capdevielle and Colette Johnen and Petr Kuznetsov and Alessia Milani}, editor = {Emmanuelle Anceaume and Christian Cachin and Maria Gradinariu Potop{-}Butucaru}, title = {On the Uncontended Complexity of Anonymous Consensus}, booktitle = {19th International Conference on Principles of Distributed Systems, {OPODIS} 2015, December 14-17, 2015, Rennes, France}, series = {LIPIcs}, volume = {46}, pages = {12:1--12:16}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik}, year = {2015}, url = {https://doi.org/10.4230/LIPIcs.OPODIS.2015.12}, doi = {10.4230/LIPICS.OPODIS.2015.12}, timestamp = {Sun, 25 Oct 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/opodis/CapdevielleJKM15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/DevismesJ15, author = {St{\'{e}}phane Devismes and Colette Johnen}, title = {Silent Self-stabilizing {BFS} Tree Algorithms Revised}, journal = {CoRR}, volume = {abs/1509.03815}, year = {2015}, url = {http://arxiv.org/abs/1509.03815}, eprinttype = {arXiv}, eprint = {1509.03815}, timestamp = {Fri, 09 Apr 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/DevismesJ15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ipl/Johnen14, author = {Colette Johnen}, title = {Fast, silent self-stabilizing distance-k independent dominating set construction}, journal = {Inf. Process. Lett.}, volume = {114}, number = {10}, pages = {551--555}, year = {2014}, url = {https://doi.org/10.1016/j.ipl.2014.04.013}, doi = {10.1016/J.IPL.2014.04.013}, timestamp = {Tue, 29 Dec 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/ipl/Johnen14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jpdc/JohnenM14, author = {Colette Johnen and Fouzi Mekhaldi}, title = {Self-stabilizing with service guarantee construction of 1-hop weight-based bounded size clusters}, journal = {J. Parallel Distributed Comput.}, volume = {74}, number = {1}, pages = {1900--1913}, year = {2014}, url = {https://doi.org/10.1016/j.jpdc.2013.09.004}, doi = {10.1016/J.JPDC.2013.09.004}, timestamp = {Tue, 29 Dec 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/jpdc/JohnenM14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/opodis/BarjonCCJN14, author = {Matthieu Barjon and Arnaud Casteigts and Serge Chaumette and Colette Johnen and Yessin M. Neggaz}, editor = {Marcos K. Aguilera and Leonardo Querzoni and Marc Shapiro}, title = {Maintaining a Spanning Forest in Highly Dynamic Networks: The Synchronous Case}, booktitle = {Principles of Distributed Systems - 18th International Conference, {OPODIS} 2014, Cortina d'Ampezzo, Italy, December 16-19, 2014. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {8878}, pages = {277--292}, publisher = {Springer}, year = {2014}, url = {https://doi.org/10.1007/978-3-319-14472-6\_19}, doi = {10.1007/978-3-319-14472-6\_19}, timestamp = {Tue, 29 Dec 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/opodis/BarjonCCJN14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sss/ChristianNDC14, author = {Christian Glacet and Nicolas Hanusse and David Ilcinkas and Colette Johnen}, editor = {Pascal Felber and Vijay K. Garg}, title = {Disconnected Components Detection and Rooted Shortest-Path Tree Maintenance in Networks}, booktitle = {Stabilization, Safety, and Security of Distributed Systems - 16th International Symposium, {SSS} 2014, Paderborn, Germany, September 28 - October 1, 2014. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {8756}, pages = {120--134}, publisher = {Springer}, year = {2014}, url = {https://doi.org/10.1007/978-3-319-11764-5\_9}, doi = {10.1007/978-3-319-11764-5\_9}, timestamp = {Tue, 29 Dec 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/sss/ChristianNDC14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/wdag/CapdevielleJM14, author = {Claire Capdevielle and Colette Johnen and Alessia Milani}, editor = {Fabian Kuhn}, title = {Solo-Fast Universal Constructions for Deterministic Abortable Objects}, booktitle = {Distributed Computing - 28th International Symposium, {DISC} 2014, Austin, TX, USA, October 12-15, 2014. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {8784}, pages = {288--302}, publisher = {Springer}, year = {2014}, url = {https://doi.org/10.1007/978-3-662-45174-8\_20}, doi = {10.1007/978-3-662-45174-8\_20}, timestamp = {Tue, 29 Dec 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/wdag/CapdevielleJM14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/BarjonCCJN14, author = {Matthieu Barjon and Arnaud Casteigts and Serge Chaumette and Colette Johnen and Yessin M. Neggaz}, title = {Testing Temporal Connectivity in Sparse Dynamic Graphs}, journal = {CoRR}, volume = {abs/1404.7634}, year = {2014}, url = {http://arxiv.org/abs/1404.7634}, eprinttype = {arXiv}, eprint = {1404.7634}, timestamp = {Mon, 13 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/BarjonCCJN14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/BarjonCCJN14a, author = {Matthieu Barjon and Arnaud Casteigts and Serge Chaumette and Colette Johnen and Yessin M. Neggaz}, title = {Un algorithme de test pour la connexit{\'{e}} temporelle des graphes dynamiques de faible densit{\'{e}}}, journal = {CoRR}, volume = {abs/1405.0170}, year = {2014}, url = {http://arxiv.org/abs/1405.0170}, eprinttype = {arXiv}, eprint = {1405.0170}, timestamp = {Mon, 13 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/BarjonCCJN14a.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/BarjonCCJN14b, author = {Matthieu Barjon and Arnaud Casteigts and Serge Chaumette and Colette Johnen and Yessin M. Neggaz}, title = {Maintaining a Spanning Forest in Highly Dynamic Networks: The Synchronous Case}, journal = {CoRR}, volume = {abs/1410.4373}, year = {2014}, url = {http://arxiv.org/abs/1410.4373}, eprinttype = {arXiv}, eprint = {1410.4373}, timestamp = {Mon, 13 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/BarjonCCJN14b.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sss/Johnen13, author = {Colette Johnen}, editor = {Teruo Higashino and Yoshiaki Katayama and Toshimitsu Masuzawa and Maria Potop{-}Butucaru and Masafumi Yamashita}, title = {Memory Efficient Self-Stabilizing k-Independent Dominating Set Construction}, booktitle = {Stabilization, Safety, and Security of Distributed Systems - 15th International Symposium, {SSS} 2013, Osaka, Japan, November 13-16, 2013. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {8255}, pages = {341--343}, publisher = {Springer}, year = {2013}, url = {https://doi.org/10.1007/978-3-319-03089-0\_24}, doi = {10.1007/978-3-319-03089-0\_24}, timestamp = {Tue, 14 May 2019 10:00:37 +0200}, biburl = {https://dblp.org/rec/conf/sss/Johnen13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sss/JohnenM12, author = {Colette Johnen and Fouzi Mekhaldi}, editor = {Andr{\'{e}}a W. Richa and Christian Scheideler}, title = {From Self- to Self-stabilizing with Service Guarantee 1-hop Weight-Based Clustering}, booktitle = {Stabilization, Safety, and Security of Distributed Systems - 14th International Symposium, {SSS} 2012, Toronto, Canada, October 1-4, 2012. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {7596}, pages = {163--178}, publisher = {Springer}, year = {2012}, url = {https://doi.org/10.1007/978-3-642-33536-5\_16}, doi = {10.1007/978-3-642-33536-5\_16}, timestamp = {Tue, 14 May 2019 10:00:37 +0200}, biburl = {https://dblp.org/rec/conf/sss/JohnenM12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/europar/JohnenM11, author = {Colette Johnen and Fouzi Mekhaldi}, editor = {Emmanuel Jeannot and Raymond Namyst and Jean Roman}, title = {Self-stabilization versus Robust Self-stabilization for Clustering in Ad-Hoc Network}, booktitle = {Euro-Par 2011 Parallel Processing - 17th International Conference, Euro-Par 2011, Bordeaux, France, August 29 - September 2, 2011, Proceedings, Part {I}}, series = {Lecture Notes in Computer Science}, volume = {6852}, pages = {117--129}, publisher = {Springer}, year = {2011}, url = {https://doi.org/10.1007/978-3-642-23400-2\_12}, doi = {10.1007/978-3-642-23400-2\_12}, timestamp = {Tue, 14 May 2019 10:00:46 +0200}, biburl = {https://dblp.org/rec/conf/europar/JohnenM11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/saso/JohnenM11, author = {Colette Johnen and Fouzi Mekhaldi}, title = {Self-Stabilizing Computation and Preservation of Knowledge of Neighbor Clusters}, booktitle = {5th {IEEE} International Conference on Self-Adaptive and Self-Organizing Systems, {SASO} 2011, Ann Arbor, MI, USA, October 3-7, 2011}, pages = {41--50}, publisher = {{IEEE} Computer Society}, year = {2011}, url = {https://doi.org/10.1109/SASO.2011.15}, doi = {10.1109/SASO.2011.15}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/saso/JohnenM11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/europar/JohnenM10, author = {Colette Johnen and Fouzi Mekhaldi}, editor = {Pasqua D'Ambra and Mario Rosario Guarracino and Domenico Talia}, title = {Robust Self-stabilizing Construction of Bounded Size Weight-Based Clusters}, booktitle = {Euro-Par 2010 - Parallel Processing, 16th International Euro-Par Conference, Ischia, Italy, August 31 - September 3, 2010, Proceedings, Part {I}}, series = {Lecture Notes in Computer Science}, volume = {6271}, pages = {535--546}, publisher = {Springer}, year = {2010}, url = {https://doi.org/10.1007/978-3-642-15277-1\_51}, doi = {10.1007/978-3-642-15277-1\_51}, timestamp = {Tue, 14 May 2019 10:00:46 +0200}, biburl = {https://dblp.org/rec/conf/europar/JohnenM10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/vnc/KaisserJV10, author = {Florent Kaisser and Colette Johnen and V{\'{e}}ronique V{\`{e}}que}, title = {Quantitative model for evaluate routing protocols in a vehicular ad hoc networks on highway}, booktitle = {Proceedings of the Second {IEEE} Vehicular Networking Conference, {VVNC} 2010, Jersey City, New Jersey, USA, December 13-15, 2010}, pages = {330--337}, publisher = {{IEEE}}, year = {2010}, url = {https://doi.org/10.1109/VNC.2010.5698255}, doi = {10.1109/VNC.2010.5698255}, timestamp = {Wed, 16 Oct 2019 14:14:49 +0200}, biburl = {https://dblp.org/rec/conf/vnc/KaisserJV10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/JohnenLL10, author = {Colette Johnen and Ivan Lavall{\'{e}}e and Christian Lavault}, title = {Reliable Self-Stabilizing Communication for Quasi Rendezvous}, journal = {CoRR}, volume = {abs/1005.5630}, year = {2010}, url = {http://arxiv.org/abs/1005.5630}, eprinttype = {arXiv}, eprint = {1005.5630}, timestamp = {Mon, 13 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/JohnenLL10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tcs/JohnenN09, author = {Colette Johnen and Le Huy Nguyen}, title = {Robust self-stabilizing weight-based clustering algorithm}, journal = {Theor. Comput. Sci.}, volume = {410}, number = {6-7}, pages = {581--594}, year = {2009}, url = {https://doi.org/10.1016/j.tcs.2008.10.009}, doi = {10.1016/J.TCS.2008.10.009}, timestamp = {Wed, 17 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/tcs/JohnenN09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icdcn/JohnenH09, author = {Colette Johnen and Lisa Higham}, editor = {Vijay K. Garg and Roger Wattenhofer and Kishore Kothapalli}, title = {Fault-Tolerant Implementations of Regular Registers by Safe Registers with Applications to Networks}, booktitle = {Distributed Computing and Networking, 10th International Conference, {ICDCN} 2009, Hyderabad, India, January 3-6, 2009. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {5408}, pages = {337--348}, publisher = {Springer}, year = {2009}, url = {https://doi.org/10.1007/978-3-540-92295-7\_41}, doi = {10.1007/978-3-540-92295-7\_41}, timestamp = {Tue, 14 May 2019 10:00:42 +0200}, biburl = {https://dblp.org/rec/conf/icdcn/JohnenH09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sss/JohnenM09, author = {Colette Johnen and Fouzi Mekhaldi}, editor = {Rachid Guerraoui and Franck Petit}, title = {Brief Announcement: Robust Self-stabilizing Construction of Bounded Size Weight-Based Clusters}, booktitle = {Stabilization, Safety, and Security of Distributed Systems, 11th International Symposium, {SSS} 2009, Lyon, France, November 3-6, 2009. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {5873}, pages = {787--788}, publisher = {Springer}, year = {2009}, url = {https://doi.org/10.1007/978-3-642-05118-0\_61}, doi = {10.1007/978-3-642-05118-0\_61}, timestamp = {Wed, 07 Dec 2022 23:13:25 +0100}, biburl = {https://dblp.org/rec/conf/sss/JohnenM09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/taas/DastidarHJ08, author = {Kajari Ghosh Dastidar and Ted Herman and Colette Johnen}, title = {Safe peer-to-peer self-downloading}, journal = {{ACM} Trans. Auton. Adapt. Syst.}, volume = {3}, number = {4}, pages = {19:1--19:18}, year = {2008}, url = {https://doi.org/10.1145/1452001.1452009}, doi = {10.1145/1452001.1452009}, timestamp = {Tue, 24 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/taas/DastidarHJ08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ispa/JohnenN08, author = {Colette Johnen and Le Huy Nguyen}, title = {Self-Stabilizing Construction of Bounded Size Clusters}, booktitle = {{IEEE} International Symposium on Parallel and Distributed Processing with Applications, {ISPA} 2008, Sydney, NSW, Australia, December 10-12, 2008}, pages = {43--50}, publisher = {{IEEE} Computer Society}, year = {2008}, url = {https://doi.org/10.1109/ISPA.2008.43}, doi = {10.1109/ISPA.2008.43}, timestamp = {Thu, 23 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/ispa/JohnenN08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ispa/BeauquierJ08, author = {Joffroy Beauquier and Colette Johnen}, title = {Analyze of Probabilistic Algorithms under Indeterministic Scheduler}, booktitle = {{IEEE} International Symposium on Parallel and Distributed Processing with Applications, {ISPA} 2008, Sydney, NSW, Australia, December 10-12, 2008}, pages = {553--558}, publisher = {{IEEE} Computer Society}, year = {2008}, url = {https://doi.org/10.1109/ISPA.2008.21}, doi = {10.1109/ISPA.2008.21}, timestamp = {Thu, 23 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/ispa/BeauquierJ08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/podc/JohnenH08, author = {Colette Johnen and Lisa Higham}, editor = {Rida A. Bazzi and Boaz Patt{-}Shamir}, title = {Fault-tolerant implementations of atomic registers by safe registers in networks}, booktitle = {Proceedings of the Twenty-Seventh Annual {ACM} Symposium on Principles of Distributed Computing, {PODC} 2008, Toronto, Canada, August 18-21, 2008}, pages = {449}, publisher = {{ACM}}, year = {2008}, url = {https://doi.org/10.1145/1400751.1400845}, doi = {10.1145/1400751.1400845}, timestamp = {Tue, 06 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/podc/JohnenH08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/dc/BeauquierGJ07, author = {Joffroy Beauquier and Maria Gradinariu and Colette Johnen}, title = {Randomized self-stabilizing and space optimal leader election under arbitrary scheduler on rings}, journal = {Distributed Comput.}, volume = {20}, number = {1}, pages = {75--93}, year = {2007}, url = {https://doi.org/10.1007/s00446-007-0034-0}, doi = {10.1007/S00446-007-0034-0}, timestamp = {Fri, 13 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/dc/BeauquierGJ07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/wdag/JohnenH07, author = {Colette Johnen and Lisa Higham}, editor = {Andrzej Pelc}, title = {Fault-Tolerant Implementations of the Atomic-State Communication Model in Weaker Networks}, booktitle = {Distributed Computing, 21st International Symposium, {DISC} 2007, Lemesos, Cyprus, September 24-26, 2007, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {4731}, pages = {485--487}, publisher = {Springer}, year = {2007}, url = {https://doi.org/10.1007/978-3-540-75142-7\_38}, doi = {10.1007/978-3-540-75142-7\_38}, timestamp = {Tue, 14 May 2019 10:00:54 +0200}, biburl = {https://dblp.org/rec/conf/wdag/JohnenH07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/algosensors/JohnenN06, author = {Colette Johnen and Le Huy Nguyen}, editor = {Sotiris E. Nikoletseas and Jos{\'{e}} D. P. Rolim}, title = {Self-stabilizing Weight-Based Clustering Algorithm for Ad Hoc Sensor Networks}, booktitle = {Algorithmic Aspects of Wireless Sensor Networks, Second International Workshop, {ALGOSENSORS} 2006, Venice, Italy, July 15, 2006, Revised Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {4240}, pages = {83--94}, publisher = {Springer}, year = {2006}, url = {https://doi.org/10.1007/11963271\_8}, doi = {10.1007/11963271\_8}, timestamp = {Tue, 14 May 2019 10:00:36 +0200}, biburl = {https://dblp.org/rec/conf/algosensors/JohnenN06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ipps/HighamJ06, author = {Lisa Higham and Colette Johnen}, title = {Relationships between communication models in networks using atomic registers}, booktitle = {20th International Parallel and Distributed Processing Symposium {(IPDPS} 2006), Proceedings, 25-29 April 2006, Rhodes Island, Greece}, publisher = {{IEEE}}, year = {2006}, url = {https://doi.org/10.1109/IPDPS.2006.1639328}, doi = {10.1109/IPDPS.2006.1639328}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/ipps/HighamJ06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/opodis/JohnenN06, author = {Colette Johnen and Le Huy Nguyen}, editor = {Alexander A. Shvartsman}, title = {Robust Self-stabilizing Clustering Algorithm}, booktitle = {Principles of Distributed Systems, 10th International Conference, {OPODIS} 2006, Bordeaux, France, December 12-15, 2006, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {4305}, pages = {410--424}, publisher = {Springer}, year = {2006}, url = {https://doi.org/10.1007/11945529\_29}, doi = {10.1007/11945529\_29}, timestamp = {Mon, 03 Jan 2022 22:35:20 +0100}, biburl = {https://dblp.org/rec/conf/opodis/JohnenN06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sss/BeauquierJM06, author = {Joffroy Beauquier and Colette Johnen and St{\'{e}}phane Messika}, editor = {Ajoy Kumar Datta and Maria Gradinariu}, title = {All \emph{k} -Bounded Policies Are Equivalent for Self-stabilization}, booktitle = {Stabilization, Safety, and Security of Distributed Systems, 8th International Symposium, {SSS} 2006, Dallas, TX, USA, November 17-19, 2006, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {4280}, pages = {82--94}, publisher = {Springer}, year = {2006}, url = {https://doi.org/10.1007/978-3-540-49823-0\_6}, doi = {10.1007/978-3-540-49823-0\_6}, timestamp = {Tue, 14 May 2019 10:00:37 +0200}, biburl = {https://dblp.org/rec/conf/sss/BeauquierJM06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sss/DastidarHJ06, author = {Kajari Ghosh Dastidar and Ted Herman and Colette Johnen}, editor = {Ajoy Kumar Datta and Maria Gradinariu}, title = {Safe Peer-to-Peer Self-downloading}, booktitle = {Stabilization, Safety, and Security of Distributed Systems, 8th International Symposium, {SSS} 2006, Dallas, TX, USA, November 17-19, 2006, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {4280}, pages = {324--334}, publisher = {Springer}, year = {2006}, url = {https://doi.org/10.1007/978-3-540-49823-0\_23}, doi = {10.1007/978-3-540-49823-0\_23}, timestamp = {Thu, 25 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/sss/DastidarHJ06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/wdag/BeauquierJM06, author = {Joffroy Beauquier and Colette Johnen and St{\'{e}}phane Messika}, editor = {Shlomi Dolev}, title = {Brief Announcement: Computing Automatically the Stabilization Time Against the Worst and the Best Schedules}, booktitle = {Distributed Computing, 20th International Symposium, {DISC} 2006, Stockholm, Sweden, September 18-20, 2006, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {4167}, pages = {543--547}, publisher = {Springer}, year = {2006}, url = {https://doi.org/10.1007/11864219\_40}, doi = {10.1007/11864219\_40}, timestamp = {Sat, 19 Oct 2019 20:32:37 +0200}, biburl = {https://dblp.org/rec/conf/wdag/BeauquierJM06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ipl/HermanJ05, author = {Ted Herman and Colette Johnen}, title = {Strategies for peer-to-peer downloading}, journal = {Inf. Process. Lett.}, volume = {94}, number = {5}, pages = {203--209}, year = {2005}, url = {https://doi.org/10.1016/j.ipl.2005.02.012}, doi = {10.1016/J.IPL.2005.02.012}, timestamp = {Fri, 26 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ipl/HermanJ05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tsi/JohnenPT04, author = {Colette Johnen and Franck Petit and S{\'{e}}bastien Tixeuil}, title = {Autostabilisation et protocoles r{\'{e}}seau}, journal = {Tech. Sci. Informatiques}, volume = {23}, number = {8}, pages = {1027--1056}, year = {2004}, url = {https://doi.org/10.3166/tsi.23.1027-1056}, doi = {10.3166/TSI.23.1027-1056}, timestamp = {Mon, 26 Oct 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/tsi/JohnenPT04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ipps/Johnen04, author = {Colette Johnen}, title = {Bounded Service Time and Memory Space Optimal Self-Stabilizing Token Circulation Protocol on Unidirectional Rings}, booktitle = {18th International Parallel and Distributed Processing Symposium {(IPDPS} 2004), {CD-ROM} / Abstracts Proceedings, 26-30 April 2004, Santa Fe, New Mexico, {USA}}, publisher = {{IEEE} Computer Society}, year = {2004}, url = {https://doi.org/10.1109/IPDPS.2004.1302973}, doi = {10.1109/IPDPS.2004.1302973}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/ipps/Johnen04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sss/JohnenT03, author = {Colette Johnen and S{\'{e}}bastien Tixeuil}, editor = {Shing{-}Tsaan Huang and Ted Herman}, title = {Route Preserving Stabilization}, booktitle = {Self-Stabilizing Systems, 6th International Symposium, {SSS} 2003, San Francisco, CA, USA, June 24-25, 2003, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {2704}, pages = {184--198}, publisher = {Springer}, year = {2003}, url = {https://doi.org/10.1007/3-540-45032-7\_14}, doi = {10.1007/3-540-45032-7\_14}, timestamp = {Tue, 14 May 2019 10:00:37 +0200}, biburl = {https://dblp.org/rec/conf/sss/JohnenT03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jpdc/BeauquierGJD02, author = {Joffroy Beauquier and Maria Gradinariu and Colette Johnen and J{\'{e}}r{\^{o}}me Olivier Durand{-}Lose}, title = {Token-Based Self-Stabilizing Uniform Algorithms}, journal = {J. Parallel Distributed Comput.}, volume = {62}, number = {5}, pages = {899--921}, year = {2002}, url = {https://doi.org/10.1006/jpdc.2001.1832}, doi = {10.1006/JPDC.2001.1832}, timestamp = {Sat, 22 Feb 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/jpdc/BeauquierGJD02.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ppl/JohnenADT02, author = {Colette Johnen and Luc Onana Alima and Ajoy Kumar Datta and S{\'{e}}bastien Tixeuil}, title = {Optimal Snap-Stabilizing Neighborhood Synchronizer in Tree Networks}, journal = {Parallel Process. Lett.}, volume = {12}, number = {3-4}, pages = {327--340}, year = {2002}, url = {https://doi.org/10.1142/S0129626402001026}, doi = {10.1142/S0129626402001026}, timestamp = {Tue, 24 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/ppl/JohnenADT02.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/srds/Johnen02, author = {Colette Johnen}, title = {Service Time Optimal Self-Stabilizing Token Circulation Protocol on Anonymous Unidrectional Rings}, booktitle = {21st Symposium on Reliable Distributed Systems {(SRDS} 2002), 13-16 October 2002, Osaka, Japan}, pages = {80}, publisher = {{IEEE} Computer Society}, year = {2002}, url = {https://doi.org/10.1109/RELDIS.2002.1180176}, doi = {10.1109/RELDIS.2002.1180176}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/srds/Johnen02.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/siu/JohnenLL01, author = {Colette Johnen and Ivan Lavall{\'{e}}e and Christian Lavault}, title = {Reliable Self-Stabilizing Communication for Quasi Rendezvous}, journal = {Stud. Inform. Univ.}, volume = {1}, number = {1}, pages = {59--76}, year = {2001}, url = {http://studia.complexica.net/index.php?option=com\_content\&\#38;view=article\&\#38;id=52}, timestamp = {Wed, 19 Oct 2011 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/siu/JohnenLL01.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/europar/GradinariuJ01, author = {Maria Gradinariu and Colette Johnen}, editor = {Rizos Sakellariou and John A. Keane and John R. Gurd and Len Freeman}, title = {Self-stabilizing Neighborhood Unique Naming under Unfair Scheduler}, booktitle = {Euro-Par 2001: Parallel Processing, 7th International Euro-Par Conference Manchester, {UK} August 28-31, 2001, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {2150}, pages = {458--465}, publisher = {Springer}, year = {2001}, url = {https://doi.org/10.1007/3-540-44681-8\_67}, doi = {10.1007/3-540-44681-8\_67}, timestamp = {Tue, 14 May 2019 10:00:46 +0200}, biburl = {https://dblp.org/rec/conf/europar/GradinariuJ01.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/wdag/FichJ01, author = {Faith E. Fich and Colette Johnen}, editor = {Jennifer L. Welch}, title = {A Space Optimal, Deterministic, Self-Stabilizing, Leader Election Algorithm for Unidirectional Rings}, booktitle = {Distributed Computing, 15th International Conference, {DISC} 2001, Lisbon, Portugal, October 3-5, 2001, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {2180}, pages = {224--239}, publisher = {Springer}, year = {2001}, url = {https://doi.org/10.1007/3-540-45414-4\_16}, doi = {10.1007/3-540-45414-4\_16}, timestamp = {Tue, 14 May 2019 10:00:54 +0200}, biburl = {https://dblp.org/rec/conf/wdag/FichJ01.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/wss/BeauquierGJ01, author = {Joffroy Beauquier and Maria Gradinariu and Colette Johnen}, editor = {Ajoy Kumar Datta and Ted Herman}, title = {Cross-Over Composition - Enforcement of Fairness under Unfair Adversary}, booktitle = {Self-Stabilizing Systems, 5th International Workshop, {WSS} 2001, Lisbon, Portugal, October 1-2, 2001, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {2194}, pages = {19--34}, publisher = {Springer}, year = {2001}, url = {https://doi.org/10.1007/3-540-45438-1\_2}, doi = {10.1007/3-540-45438-1\_2}, timestamp = {Tue, 14 May 2019 10:00:48 +0200}, biburl = {https://dblp.org/rec/conf/wss/BeauquierGJ01.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/dc/DattaJPV00, author = {Ajoy Kumar Datta and Colette Johnen and Franck Petit and Vincent Villain}, title = {Self-stabilizing depth-first token circulation in arbitrary rooted networks}, journal = {Distributed Comput.}, volume = {13}, number = {4}, pages = {207--218}, year = {2000}, url = {https://doi.org/10.1007/PL00008919}, doi = {10.1007/PL00008919}, timestamp = {Mon, 26 Oct 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/dc/DattaJPV00.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/opodis/LavalleeLJ00, author = {Ivan Lavall{\'{e}}e and Christian Lavault and Colette Johnen}, editor = {Franck Butelle}, title = {Fair and Reliable Self-stabilizing Communication}, booktitle = {Procedings of the 4th International Conference on Principles of Distributed Systems, {OPODIS} 2000, Paris, France, December 20-22, 2000}, series = {Studia Informatica Universalis}, pages = {163--176}, publisher = {Suger, Saint-Denis, rue Catulienne, France}, year = {2000}, timestamp = {Tue, 20 Jan 2004 14:15:16 +0100}, biburl = {https://dblp.org/rec/conf/opodis/LavalleeLJ00.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icdcs/JohnenADT99, author = {Colette Johnen and Luc Onana Alima and Ajoy Kumar Datta and S{\'{e}}bastien Tixeuil}, title = {Self-Stabilizing Neighborhood Synchronizer in Tree Networks}, booktitle = {Proceedings of the 19th International Conference on Distributed Computing Systems, Austin, TX, USA, May 31 - June 4, 1999}, pages = {487--494}, publisher = {{IEEE} Computer Society}, year = {1999}, url = {https://doi.org/10.1109/ICDCS.1999.776551}, doi = {10.1109/ICDCS.1999.776551}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/icdcs/JohnenADT99.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/podc/BeauquierGJ99, author = {Joffroy Beauquier and Maria Gradinariu and Colette Johnen}, editor = {Brian A. Coan and Jennifer L. Welch}, title = {Memory Space Requirements for Self-Stabilizing Leader Election Protocols}, booktitle = {Proceedings of the Eighteenth Annual {ACM} Symposium on Principles of Distributed Computing, PODC, '99Atlanta, Georgia, USA, May 3-6, 1999}, pages = {199--207}, publisher = {{ACM}}, year = {1999}, url = {https://doi.org/10.1145/301308.301358}, doi = {10.1145/301308.301358}, timestamp = {Tue, 06 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/podc/BeauquierGJ99.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sirocco/DattaJPV98, author = {Ajoy Kumar Datta and Colette Johnen and Franck Petit and Vincent Villain}, editor = {Luisa Gargano and David Peleg}, title = {Self-stabilizing depth-first token circulation in arbitrary rooted networks}, booktitle = {SIROCCO'98, 5th International Colloquium on Structural Information {\&} Communication Complexity, Amalfi, Italy, June 22-24, 1998}, pages = {229--243}, publisher = {Carleton Scientific}, year = {1998}, timestamp = {Tue, 18 Nov 2003 16:22:04 +0100}, biburl = {https://dblp.org/rec/conf/sirocco/DattaJPV98.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/podc/Johnen97, author = {Colette Johnen}, editor = {James E. Burns and Hagit Attiya}, title = {Memory Efficient, Self-Stabilizing Algorithm to Construct {BFS} Spanning Trees}, booktitle = {Proceedings of the Sixteenth Annual {ACM} Symposium on Principles of Distributed Computing, Santa Barbara, California, USA, August 21-24, 1997}, pages = {288}, publisher = {{ACM}}, year = {1997}, url = {https://doi.org/10.1145/259380.259508}, doi = {10.1145/259380.259508}, timestamp = {Tue, 06 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/podc/Johnen97.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/wdag/JohnenABD97, author = {Colette Johnen and Gianluigi Alari and Joffroy Beauquier and Ajoy Kumar Datta}, editor = {Marios Mavronicolas and Philippas Tsigas}, title = {Self-Stabilizing Depth-First Token Passing on Rooted Networks}, booktitle = {Distributed Algorithms, 11th International Workshop, {WDAG} '97, Saarbr{\"{u}}cken, Germany, September 24-26, 1997, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {1320}, pages = {260--274}, publisher = {Springer}, year = {1997}, url = {https://doi.org/10.1007/BFb0030689}, doi = {10.1007/BFB0030689}, timestamp = {Tue, 14 May 2019 10:00:54 +0200}, biburl = {https://dblp.org/rec/conf/wdag/JohnenABD97.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/wss/Johnen97, author = {Colette Johnen}, editor = {Sukumar Ghosh and Ted Herman}, title = {Memory-efficient self-stabilizing algorithm to construct {BFS} spanning trees}, booktitle = {3rd Workshop on Self-stabilizing Systems, Santa Barbara, California, USA, August, 1997, Proceedings}, pages = {125--140}, publisher = {Carleton University Press}, year = {1997}, timestamp = {Mon, 18 Jun 2018 20:48:23 +0200}, biburl = {https://dblp.org/rec/conf/wss/Johnen97.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cav/BerthelotJP90, author = {G{\'{e}}rard Berthelot and Colette Johnen and Laure Petrucci}, editor = {Edmund M. Clarke and Robert P. Kurshan}, title = {{PAPETRI:} Environment for the Analysis of Petri Nets}, booktitle = {Computer Aided Verification, 2nd International Workshop, {CAV} '90, New Brunswick, NJ, USA, June 18-21, 1990, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {531}, pages = {13--22}, publisher = {Springer}, year = {1990}, url = {https://doi.org/10.1007/BFb0023715}, doi = {10.1007/BFB0023715}, timestamp = {Tue, 14 May 2019 10:00:43 +0200}, biburl = {https://dblp.org/rec/conf/cav/BerthelotJP90.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/dimacs/BerthelotJP90, author = {G{\'{e}}rard Berthelot and Colette Johnen and Laure Petrucci}, editor = {Edmund M. Clarke and Robert P. Kurshan}, title = {{PAPETRI:} Environment for the Analysis of {PETRI} Nets}, booktitle = {Computer-Aided Verification, Proceedings of a {DIMACS} Workshop 1990, New Brunswick, New Jersey, USA, June 18-21, 1990}, series = {{DIMACS} Series in Discrete Mathematics and Theoretical Computer Science}, volume = {3}, pages = {43--56}, publisher = {{DIMACS/AMS}}, year = {1990}, url = {https://doi.org/10.1090/dimacs/003/05}, doi = {10.1090/DIMACS/003/05}, timestamp = {Mon, 22 May 2023 16:07:35 +0200}, biburl = {https://dblp.org/rec/conf/dimacs/BerthelotJP90.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/rta/ChoppyJ85, author = {Christine Choppy and Colette Johnen}, editor = {Jean{-}Pierre Jouannaud}, title = {{PETRIREVE:} Proving Petri Net Properties with Rewriting Systems}, booktitle = {Rewriting Techniques and Applications, First International Conference, RTA-85, Dijon, France, May 20-22, 1985, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {202}, pages = {271--286}, publisher = {Springer}, year = {1985}, url = {https://doi.org/10.1007/3-540-15976-2\_13}, doi = {10.1007/3-540-15976-2\_13}, timestamp = {Tue, 14 May 2019 10:00:46 +0200}, biburl = {https://dblp.org/rec/conf/rta/ChoppyJ85.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.