Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Stéphane Messika
@article{DBLP:journals/corr/DefagoP0MPP16,
author = {Xavier D{\'{e}}fago and
Maria Gradinariu Potop{-}Butucaru and
Julien Cl{\'{e}}ment and
St{\'{e}}phane Messika and
Philippe Raipin Parv{\'{e}}dy},
title = {Fault and Byzantine Tolerant Self-stabilizing Mobile Robots Gathering
- Feasibility Study -},
journal = {CoRR},
volume = {abs/1602.05546},
year = {2016},
url = {http://arxiv.org/abs/1602.05546},
eprinttype = {arXiv},
eprint = {1602.05546},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/DefagoP0MPP16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tsi/ClementMR11,
author = {Julien Cl{\'{e}}ment and
St{\'{e}}phane Messika and
Brigitte Rozoy},
title = {Observer des algorithmes autostabilisants. Vers une valuation du co},
journal = {Tech. Sci. Informatiques},
volume = {30},
number = {1},
pages = {35--57},
year = {2011},
url = {https://doi.org/10.3166/tsi.30.35-57},
doi = {10.3166/TSI.30.35-57},
timestamp = {Wed, 24 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tsi/ClementMR11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ipl/ClementDPIM10,
author = {Julien Cl{\'{e}}ment and
Xavier D{\'{e}}fago and
Maria Gradinariu Potop{-}Butucaru and
Taisuke Izumi and
St{\'{e}}phane Messika},
title = {The cost of probabilistic agreement in oblivious robot networks},
journal = {Inf. Process. Lett.},
volume = {110},
number = {11},
pages = {431--438},
year = {2010},
url = {https://doi.org/10.1016/j.ipl.2010.04.006},
doi = {10.1016/J.IPL.2010.04.006},
timestamp = {Tue, 06 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ipl/ClementDPIM10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/prdc/ClementHMP08,
author = {Julien Cl{\'{e}}ment and
Thomas H{\'{e}}rault and
St{\'{e}}phane Messika and
Olivier Peres},
title = {On the Complexity of a Self-Stabilizing Spanning Tree Algorithm for
Large Scale Systems},
booktitle = {14th {IEEE} Pacific Rim International Symposium on Dependable Computing,
{PRDC} 2008, 15-17 December 2008, Taipei, Taiwan},
pages = {48--55},
publisher = {{IEEE} Computer Society},
year = {2008},
url = {https://doi.org/10.1109/PRDC.2008.36},
doi = {10.1109/PRDC.2008.36},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/prdc/ClementHMP08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-0807-1753,
author = {Julien Cl{\'{e}}ment and
Xavier D{\'{e}}fago and
Maria Gradinariu Potop{-}Butucaru and
St{\'{e}}phane Messika},
title = {The cost of probabilistic gathering in oblivious robot networks},
journal = {CoRR},
volume = {abs/0807.1753},
year = {2008},
url = {http://arxiv.org/abs/0807.1753},
eprinttype = {arXiv},
eprint = {0807.1753},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-0807-1753.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/podc/BeauquierCMRR07,
author = {Joffroy Beauquier and
Julien Cl{\'{e}}ment and
St{\'{e}}phane Messika and
Laurent Rosaz and
Brigitte Rozoy},
editor = {Indranil Gupta and
Roger Wattenhofer},
title = {Self-stabilizing counting in mobile sensor networks},
booktitle = {Proceedings of the Twenty-Sixth Annual {ACM} Symposium on Principles
of Distributed Computing, {PODC} 2007, Portland, Oregon, USA, August
12-15, 2007},
pages = {396--397},
publisher = {{ACM}},
year = {2007},
url = {https://doi.org/10.1145/1281100.1281191},
doi = {10.1145/1281100.1281191},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/podc/BeauquierCMRR07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wdag/BeauquierCMRR07,
author = {Joffroy Beauquier and
Julien Cl{\'{e}}ment and
St{\'{e}}phane Messika and
Laurent Rosaz and
Brigitte Rozoy},
editor = {Andrzej Pelc},
title = {Self-stabilizing Counting in Mobile Sensor Networks with a Base Station},
booktitle = {Distributed Computing, 21st International Symposium, {DISC} 2007,
Lemesos, Cyprus, September 24-26, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4731},
pages = {63--76},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-75142-7\_8},
doi = {10.1007/978-3-540-75142-7\_8},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/wdag/BeauquierCMRR07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dc/FribourgMP06,
author = {Laurent Fribourg and
St{\'{e}}phane Messika and
Claudine Picaronny},
title = {Coupling and self-stabilization},
journal = {Distributed Comput.},
volume = {18},
number = {3},
pages = {221--232},
year = {2006},
url = {https://doi.org/10.1007/s00446-005-0142-7},
doi = {10.1007/S00446-005-0142-7},
timestamp = {Fri, 13 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/dc/FribourgMP06.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/wdag/DefagoGMP06,
author = {Xavier D{\'{e}}fago and
Maria Gradinariu and
St{\'{e}}phane Messika and
Philippe Raipin Parv{\'{e}}dy},
editor = {Shlomi Dolev},
title = {Fault-Tolerant and Self-stabilizing Mobile Robots Gathering},
booktitle = {Distributed Computing, 20th International Symposium, {DISC} 2006,
Stockholm, Sweden, September 18-20, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4167},
pages = {46--60},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11864219\_4},
doi = {10.1007/11864219\_4},
timestamp = {Sat, 19 Oct 2019 20:32:37 +0200},
biburl = {https://dblp.org/rec/conf/wdag/DefagoGMP06.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 = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wdag/BeauquierJM06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/podc/FribourgM05,
author = {Laurent Fribourg and
St{\'{e}}phane Messika},
editor = {Marcos Kawazoe Aguilera and
James Aspnes},
title = {Brief announcement: coupling for Markov decision processes - application
to self-stabilization with arbitrary schedulers},
booktitle = {Proceedings of the Twenty-Fourth Annual {ACM} Symposium on Principles
of Distributed Computing, {PODC} 2005, Las Vegas, NV, USA, July 17-20,
2005},
pages = {322},
publisher = {{ACM}},
year = {2005},
url = {https://doi.org/10.1145/1073814.1073875},
doi = {10.1145/1073814.1073875},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/podc/FribourgM05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@phdthesis{DBLP:phd/hal/Messika04,
author = {St{\'{e}}phane Messika},
title = {M{\'{e}}thodes probabilistes pour la v{\'{e}}rification
des syst{\`{e}}mes distribu{\'{e}}s. (Probabilistic methods for
the verification of distributed systems)},
school = {{\'{E}}cole normale sup{\'{e}}rieure de Cachan, France},
year = {2004},
url = {https://tel.archives-ouvertes.fr/tel-00136083},
timestamp = {Tue, 21 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/phd/hal/Messika04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wdag/FribourgMP04,
author = {Laurent Fribourg and
St{\'{e}}phane Messika and
Claudine Picaronny},
editor = {Rachid Guerraoui},
title = {Coupling and Self-stabilization.},
booktitle = {Distributed Computing, 18th International Conference, {DISC} 2004,
Amsterdam, The Netherlands, October 4-7, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3274},
pages = {201--215},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-30186-8\_15},
doi = {10.1007/978-3-540-30186-8\_15},
timestamp = {Wed, 07 Dec 2022 23:11:11 +0100},
biburl = {https://dblp.org/rec/conf/wdag/FribourgMP04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/DuflotFHLMMPP05,
author = {Marie Duflot and
Laurent Fribourg and
Thomas H{\'{e}}rault and
Richard Lassaigne and
Fr{\'{e}}d{\'{e}}ric Magniette and
St{\'{e}}phane Messika and
Sylvain Peyronnet and
Claudine Picaronny},
editor = {Michael Huth},
title = {Probabilistic Model Checking of the {CSMA/CD} Protocol Using {PRISM}
and {APMC}},
booktitle = {Proceedings of the Fouth International Workshop on Automated Verification
of Critical Systems, AVoCS 2004, London, UK, September 4, 2004},
series = {Electronic Notes in Theoretical Computer Science},
volume = {128},
number = {6},
pages = {195--214},
publisher = {Elsevier},
year = {2004},
url = {https://doi.org/10.1016/j.entcs.2005.04.012},
doi = {10.1016/J.ENTCS.2005.04.012},
timestamp = {Mon, 11 Sep 2023 15:43:49 +0200},
biburl = {https://dblp.org/rec/journals/entcs/DuflotFHLMMPP05.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-04-25 05:42 CEST 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:
