Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX 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}
}
a service of 
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.
last updated on 2024-03-24 02:36 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
