BibTeX records: Julien Sopena

download as .bib file

@inproceedings{DBLP:conf/iscc/LouetBSAH23,
  author       = {Etienne LE Louet and
                  Antoine Blin and
                  Julien Sopena and
                  Ahmed Amamou and
                  Kamel Haddadou},
  title        = {Effects of secured {DNS} transport on resolver performance},
  booktitle    = {{IEEE} Symposium on Computers and Communications, {ISCC} 2023, Gammarth,
                  Tunisia, July 9-12, 2023},
  pages        = {238--244},
  publisher    = {{IEEE}},
  year         = {2023},
  url          = {https://doi.org/10.1109/ISCC58397.2023.10217887},
  doi          = {10.1109/ISCC58397.2023.10217887},
  timestamp    = {Wed, 06 Sep 2023 08:09:43 +0200},
  biburl       = {https://dblp.org/rec/conf/iscc/LouetBSAH23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/prdc/MahamdiLSSM23,
  author       = {C{\'{e}}lia Mahamdi and
                  Jonathan Lejeune and
                  Julien Sopena and
                  Pierre Sens and
                  Mesaac Makpangou},
  title        = {{OMAHA:} Opportunistic Message Aggregation for pHase-based Algorithms},
  booktitle    = {28th {IEEE} Pacific Rim International Symposium on Dependable Computing,
                  {PRDC} 2023, Singapore, October 24-27, 2023},
  pages        = {150--160},
  publisher    = {{IEEE}},
  year         = {2023},
  url          = {https://doi.org/10.1109/PRDC59308.2023.00027},
  doi          = {10.1109/PRDC59308.2023.00027},
  timestamp    = {Tue, 23 Jan 2024 09:45:30 +0100},
  biburl       = {https://dblp.org/rec/conf/prdc/MahamdiLSSM23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sat/ValladeSB23,
  author       = {Vincent Vallade and
                  Julien Sopena and
                  Souheib Baarir},
  editor       = {Matti J{\"{a}}rvisalo and
                  Daniel Le Berre},
  title        = {Enhancing State-of-the-Art Parallel {SAT} Solvers Through Optimized
                  Sharing Policies},
  booktitle    = {Proceedings of the 14th International Workshop on Pragmatics of {SAT}
                  co-located with the 26th International Conference on Theory and Applications
                  of Satisfiability Testing {(SAT} 2023), Alghero, Italy, July 4, 2023},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {3545},
  pages        = {35--45},
  publisher    = {CEUR-WS.org},
  year         = {2023},
  url          = {https://ceur-ws.org/Vol-3545/paper3.pdf},
  timestamp    = {Wed, 20 Dec 2023 17:08:34 +0100},
  biburl       = {https://dblp.org/rec/conf/sat/ValladeSB23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/seams/AlidraBCLPLSSR23,
  author       = {Abdelghani Alidra and
                  Hugo Bruneliere and
                  H{\'{e}}l{\`{e}}ne Coullon and
                  Thomas Ledoux and
                  Charles Prud'homme and
                  Jonathan Lejeune and
                  Pierre Sens and
                  Julien Sopena and
                  Jonathan Rivalan},
  title        = {SeMaFoR - Self-Management of Fog Resources with Collaborative Decentralized
                  Controllers},
  booktitle    = {18th {IEEE/ACM} Symposium on Software Engineering for Adaptive and
                  Self-Managing Systems, {SEAMS} 2023, Melbourne, Australia, May 15-16,
                  2023},
  pages        = {25--31},
  publisher    = {{IEEE}},
  year         = {2023},
  url          = {https://doi.org/10.1109/SEAMS59076.2023.00014},
  doi          = {10.1109/SEAMS59076.2023.00014},
  timestamp    = {Mon, 05 Feb 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/seams/AlidraBCLPLSSR23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iciap/MauriceLSL21,
  author       = {Nathan Maurice and
                  Florian Lemaitre and
                  Julien Sopena and
                  Lionel Lacassagne},
  editor       = {Pier Luigi Mazzeo and
                  Emanuele Frontoni and
                  Stan Sclaroff and
                  Cosimo Distante},
  title        = {{LSL3D:} {A} Run-Based Connected Component Labeling Algorithm for
                  3D Volumes},
  booktitle    = {Image Analysis and Processing. {ICIAP} 2022 Workshops - {ICIAP} International
                  Workshops, Lecce, Italy, May 23-27, 2022, Revised Selected Papers,
                  Part {II}},
  series       = {Lecture Notes in Computer Science},
  volume       = {13374},
  pages        = {132--142},
  publisher    = {Springer},
  year         = {2022},
  url          = {https://doi.org/10.1007/978-3-031-13324-4\_12},
  doi          = {10.1007/978-3-031-13324-4\_12},
  timestamp    = {Thu, 18 Aug 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/iciap/MauriceLSL21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nca/Agon-RambossonL22,
  author       = {Aymeric Agon{-}Rambosson and
                  Jonathan Lejeune and
                  Julien Sopena and
                  Pierre Sens},
  editor       = {Michele Colajanni and
                  Luca Ferretti and
                  Miguel L. Pardal and
                  Dimiter R. Avresky},
  title        = {Alternating {MPR:} a balanced broadcast algorithm for MANETs},
  booktitle    = {21st {IEEE} International Symposium on Network Computing and Applications,
                  {NCA} 2022, Boston, MA, USA, December 14-16, 2022},
  pages        = {19--26},
  publisher    = {{IEEE}},
  year         = {2022},
  url          = {https://doi.org/10.1109/NCA57778.2022.10013596},
  doi          = {10.1109/NCA57778.2022.10013596},
  timestamp    = {Sun, 29 Jan 2023 00:08:44 +0100},
  biburl       = {https://dblp.org/rec/conf/nca/Agon-RambossonL22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/setta/ValladeNSBG22,
  author       = {Vincent Vallade and
                  Saeed Nejati and
                  Julien Sopena and
                  Souheib Baarir and
                  Vijay Ganesh},
  editor       = {Wei Dong and
                  Jean{-}Pierre Talpin},
  title        = {Diversifying a Parallel {SAT} Solver with Bayesian Moment Matching},
  booktitle    = {Dependable Software Engineering. Theories, Tools, and Applications
                  - 8th International Symposium, {SETTA} 2022, Beijing, China, October
                  27-29, 2022, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {13649},
  pages        = {227--233},
  publisher    = {Springer},
  year         = {2022},
  url          = {https://doi.org/10.1007/978-3-031-21213-0\_14},
  doi          = {10.1007/978-3-031-21213-0\_14},
  timestamp    = {Sun, 25 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/setta/ValladeNSBG22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nsdi/GhigoffSLBM21,
  author       = {Yoann Ghigoff and
                  Julien Sopena and
                  Kahina Lazri and
                  Antoine Blin and
                  Gilles Muller},
  editor       = {James Mickens and
                  Renata Teixeira},
  title        = {{BMC:} Accelerating Memcached using Safe In-kernel Caching and Pre-stack
                  Processing},
  booktitle    = {18th {USENIX} Symposium on Networked Systems Design and Implementation,
                  {NSDI} 2021, April 12-14, 2021},
  pages        = {487--501},
  publisher    = {{USENIX} Association},
  year         = {2021},
  url          = {https://www.usenix.org/conference/nsdi21/presentation/ghigoff},
  timestamp    = {Thu, 12 Aug 2021 18:19:16 +0200},
  biburl       = {https://dblp.org/rec/conf/nsdi/GhigoffSLBM21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dais/FraysseLS020,
  author       = {Guillaume Fraysse and
                  Jonathan Lejeune and
                  Julien Sopena and
                  Pierre Sens},
  editor       = {Anne Remke and
                  Valerio Schiavoni},
  title        = {A Resource Usage Efficient Distributed Allocation Algorithm for 5G
                  Service Function Chains},
  booktitle    = {Distributed Applications and Interoperable Systems - 20th {IFIP} {WG}
                  6.1 International Conference, {DAIS} 2020, Held as Part of the 15th
                  International Federated Conference on Distributed Computing Techniques,
                  DisCoTec 2020, Valletta, Malta, June 15-19, 2020, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {12135},
  pages        = {169--185},
  publisher    = {Springer},
  year         = {2020},
  url          = {https://doi.org/10.1007/978-3-030-50323-9\_11},
  doi          = {10.1007/978-3-030-50323-9\_11},
  timestamp    = {Tue, 16 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/dais/FraysseLS020.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eurosys/LepersGCLPAZSLM20,
  author       = {Baptiste Lepers and
                  Redha Gouicem and
                  Damien Carver and
                  Jean{-}Pierre Lozi and
                  Nicolas Palix and
                  Maria{-}Virginia Aponte and
                  Willy Zwaenepoel and
                  Julien Sopena and
                  Julia Lawall and
                  Gilles Muller},
  editor       = {Angelos Bilas and
                  Kostas Magoutis and
                  Evangelos P. Markatos and
                  Dejan Kostic and
                  Margo I. Seltzer},
  title        = {Provable multicore schedulers with Ipanema: application to work conservation},
  booktitle    = {EuroSys '20: Fifteenth EuroSys Conference 2020, Heraklion, Greece,
                  April 27-30, 2020},
  pages        = {3:1--3:16},
  publisher    = {{ACM}},
  year         = {2020},
  url          = {https://doi.org/10.1145/3342195.3387544},
  doi          = {10.1145/3342195.3387544},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/eurosys/LepersGCLPAZSLM20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nca/LanielCSWLS20,
  author       = {Francis Laniel and
                  Damien Carver and
                  Julien Sopena and
                  Franck Wajsb{\"{u}}rt and
                  Jonathan Lejeune and
                  Marc Shapiro},
  title        = {MemOpLight: Leveraging application feedback to improve container memory
                  consolidation},
  booktitle    = {19th {IEEE} International Symposium on Network Computing and Applications,
                  {NCA} 2020, Cambridge, MA, USA, November 24-27, 2020},
  pages        = {1--10},
  publisher    = {{IEEE}},
  year         = {2020},
  url          = {https://doi.org/10.1109/NCA51143.2020.9306717},
  doi          = {10.1109/NCA51143.2020.9306717},
  timestamp    = {Tue, 12 Jan 2021 15:26:07 +0100},
  biburl       = {https://dblp.org/rec/conf/nca/LanielCSWLS20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nfm/ValladeFBSK20,
  author       = {Vincent Vallade and
                  Ludovic Le Frioux and
                  Souheib Baarir and
                  Julien Sopena and
                  Fabrice Kordon},
  editor       = {Ritchie Lee and
                  Susmit Jha and
                  Anastasia Mavridou},
  title        = {On the Usefulness of Clause Strengthening in Parallel {SAT} Solving},
  booktitle    = {{NASA} Formal Methods - 12th International Symposium, {NFM} 2020,
                  Moffett Field, CA, USA, May 11-15, 2020, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {12229},
  pages        = {222--229},
  publisher    = {Springer},
  year         = {2020},
  url          = {https://doi.org/10.1007/978-3-030-55754-6\_13},
  doi          = {10.1007/978-3-030-55754-6\_13},
  timestamp    = {Mon, 10 Aug 2020 15:17:50 +0200},
  biburl       = {https://dblp.org/rec/conf/nfm/ValladeFBSK20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sat/ValladeFBSGK20,
  author       = {Vincent Vallade and
                  Ludovic Le Frioux and
                  Souheib Baarir and
                  Julien Sopena and
                  Vijay Ganesh and
                  Fabrice Kordon},
  editor       = {Luca Pulina and
                  Martina Seidl},
  title        = {Community and LBD-Based Clause Sharing Policy for Parallel {SAT} Solving},
  booktitle    = {Theory and Applications of Satisfiability Testing - {SAT} 2020 - 23rd
                  International Conference, Alghero, Italy, July 3-10, 2020, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {12178},
  pages        = {11--27},
  publisher    = {Springer},
  year         = {2020},
  url          = {https://doi.org/10.1007/978-3-030-51825-7\_2},
  doi          = {10.1007/978-3-030-51825-7\_2},
  timestamp    = {Mon, 03 Jan 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/sat/ValladeFBSGK20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/usenix/GouicemCLSLZPLM20,
  author       = {Redha Gouicem and
                  Damien Carver and
                  Jean{-}Pierre Lozi and
                  Julien Sopena and
                  Baptiste Lepers and
                  Willy Zwaenepoel and
                  Nicolas Palix and
                  Julia Lawall and
                  Gilles Muller},
  editor       = {Ada Gavrilovska and
                  Erez Zadok},
  title        = {Fewer Cores, More Hertz: Leveraging High-Frequency Cores in the {OS}
                  Scheduler for Improved Application Performance},
  booktitle    = {2020 {USENIX} Annual Technical Conference, {USENIX} {ATC} 2020, July
                  15-17, 2020},
  pages        = {435--448},
  publisher    = {{USENIX} Association},
  year         = {2020},
  url          = {https://www.usenix.org/conference/atc20/presentation/gouicern},
  timestamp    = {Mon, 01 Feb 2021 08:43:25 +0100},
  biburl       = {https://dblp.org/rec/conf/usenix/GouicemCLSLZPLM20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nca/LanielCSWL019,
  author       = {Francis Laniel and
                  Damien Carver and
                  Julien Sopena and
                  Franck Wajsb{\"{u}}rt and
                  Jonathan Lejeune and
                  Marc Shapiro},
  editor       = {Aris Gkoulalas{-}Divanis and
                  Mirco Marchetti and
                  Dimiter R. Avresky},
  title        = {Highlighting the Container Memory Consolidation Problems in Linux},
  booktitle    = {18th {IEEE} International Symposium on Network Computing and Applications,
                  {NCA} 2019, Cambridge, MA, USA, September 26-28, 2019},
  pages        = {1--4},
  publisher    = {{IEEE}},
  year         = {2019},
  url          = {https://doi.org/10.1109/NCA.2019.8935034},
  doi          = {10.1109/NCA.2019.8935034},
  timestamp    = {Tue, 07 Jan 2020 13:37:24 +0100},
  biburl       = {https://dblp.org/rec/conf/nca/LanielCSWL019.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rtss/CourtaudSMP19,
  author       = {C{\'{e}}dric Courtaud and
                  Julien Sopena and
                  Gilles Muller and
                  Daniel Gracia P{\'{e}}rez},
  title        = {Improving Prediction Accuracy of Memory Interferences for Multicore
                  Platforms},
  booktitle    = {{IEEE} Real-Time Systems Symposium, {RTSS} 2019, Hong Kong, SAR, China,
                  December 3-6, 2019},
  pages        = {246--259},
  publisher    = {{IEEE}},
  year         = {2019},
  url          = {https://doi.org/10.1109/RTSS46320.2019.00031},
  doi          = {10.1109/RTSS46320.2019.00031},
  timestamp    = {Tue, 14 Apr 2020 17:53:55 +0200},
  biburl       = {https://dblp.org/rec/conf/rtss/CourtaudSMP19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sosp/CarverGLSLZPLM19,
  author       = {Damien Carver and
                  Redha Gouicem and
                  Jean{-}Pierre Lozi and
                  Julien Sopena and
                  Baptiste Lepers and
                  Willy Zwaenepoel and
                  Nicolas Palix and
                  Julia Lawall and
                  Gilles Muller},
  title        = {Fork/Wait and Multicore Frequency Scaling: a Generational Clash},
  booktitle    = {Proceedings of the 10th Workshop on Programming Languages and Operating
                  Systems, {SOSP} 2019, Huntsville, ON, Canada, October 27-30, 2019},
  pages        = {53--59},
  publisher    = {{ACM}},
  year         = {2019},
  url          = {https://doi.org/10.1145/3365137.3365400},
  doi          = {10.1145/3365137.3365400},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sosp/CarverGLSLZPLM19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/srds/LazriBSM19,
  author       = {Kahina Lazri and
                  Antoine Blin and
                  Julien Sopena and
                  Gilles Muller},
  title        = {Toward an in-Kernel High Performance Key-Value Store Implementation},
  booktitle    = {38th Symposium on Reliable Distributed Systems, {SRDS} 2019, Lyon,
                  France, October 1-4, 2019},
  pages        = {268},
  publisher    = {{IEEE}},
  year         = {2019},
  url          = {https://doi.org/10.1109/SRDS47363.2019.00038},
  doi          = {10.1109/SRDS47363.2019.00038},
  timestamp    = {Wed, 15 Apr 2020 15:03:23 +0200},
  biburl       = {https://dblp.org/rec/conf/srds/LazriBSM19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/FriouxBSK19,
  author       = {Ludovic Le Frioux and
                  Souheib Baarir and
                  Julien Sopena and
                  Fabrice Kordon},
  editor       = {Tom{\'{a}}s Vojnar and
                  Lijun Zhang},
  title        = {Modular and Efficient Divide-and-Conquer {SAT} Solver on Top of the
                  Painless Framework},
  booktitle    = {Tools and Algorithms for the Construction and Analysis of Systems
                  - 25th International Conference, {TACAS} 2019, Held as Part of the
                  European Joint Conferences on Theory and Practice of Software, {ETAPS}
                  2019, Prague, Czech Republic, April 6-11, 2019, Proceedings, Part
                  {I}},
  series       = {Lecture Notes in Computer Science},
  volume       = {11427},
  pages        = {135--151},
  publisher    = {Springer},
  year         = {2019},
  url          = {https://doi.org/10.1007/978-3-030-17462-0\_8},
  doi          = {10.1007/978-3-030-17462-0\_8},
  timestamp    = {Fri, 31 Jan 2020 21:32:25 +0100},
  biburl       = {https://dblp.org/rec/conf/tacas/FriouxBSK19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cnsm/FraysseLSS18,
  author       = {Guillaume Fraysse and
                  Jonathan Lejeune and
                  Julien Sopena and
                  Pierre Sens},
  editor       = {Stefano Salsano and
                  Roberto Riggio and
                  Toufik Ahmed and
                  Taghrid Samak and
                  Carlos Raniery Paula dos Santos},
  title        = {Mapping the allocation of resources for 5G slices to the k-MUTEX with
                  n instances of m resources problem},
  booktitle    = {14th International Conference on Network and Service Management, {CNSM}
                  2018, Rome, Italy, November 5-9, 2018},
  pages        = {318--322},
  publisher    = {{IEEE} Computer Society},
  year         = {2018},
  url          = {https://ieeexplore.ieee.org/document/8584929},
  timestamp    = {Sun, 08 Aug 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cnsm/FraysseLSS18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icin/FraysseYLSS18,
  author       = {Guillaume Fraysse and
                  Imen Grida Ben Yahia and
                  Jonathan Lejeune and
                  Pierre Sens and
                  Julien Sopena},
  title        = {Towards multi-SDN services: Dangers of concurrent resource allocation
                  from multiple providers},
  booktitle    = {21st Conference on Innovation in Clouds, Internet and Networks and
                  Workshops, {ICIN} 2018, Paris, France, February 19-22, 2018},
  pages        = {1--5},
  publisher    = {{IEEE}},
  year         = {2018},
  url          = {https://doi.org/10.1109/ICIN.2018.8401627},
  doi          = {10.1109/ICIN.2018.8401627},
  timestamp    = {Wed, 18 Dec 2019 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icin/FraysseYLSS18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/usenix/BouronCLZGLMS18,
  author       = {Justinien Bouron and
                  Sebastien Chevalley and
                  Baptiste Lepers and
                  Willy Zwaenepoel and
                  Redha Gouicem and
                  Julia Lawall and
                  Gilles Muller and
                  Julien Sopena},
  editor       = {Haryadi S. Gunawi and
                  Benjamin C. Reed},
  title        = {The Battle of the Schedulers: FreeBSD {ULE} vs. Linux {CFS}},
  booktitle    = {2018 {USENIX} Annual Technical Conference, {USENIX} {ATC} 2018, Boston,
                  MA, USA, July 11-13, 2018},
  pages        = {85--96},
  publisher    = {{USENIX} Association},
  year         = {2018},
  url          = {https://www.usenix.org/conference/atc18/presentation/bouron},
  timestamp    = {Sat, 25 Feb 2023 23:39:37 +0100},
  biburl       = {https://dblp.org/rec/conf/usenix/BouronCLZGLMS18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hotos/LepersZLPGSLM17,
  author       = {Baptiste Lepers and
                  Willy Zwaenepoel and
                  Jean{-}Pierre Lozi and
                  Nicolas Palix and
                  Redha Gouicem and
                  Julien Sopena and
                  Julia Lawall and
                  Gilles Muller},
  editor       = {Alexandra Fedorova and
                  Andrew Warfield and
                  Ivan Beschastnikh and
                  Rachit Agarwal},
  title        = {Towards Proving Optimistic Multicore Schedulers},
  booktitle    = {Proceedings of the 16th Workshop on Hot Topics in Operating Systems,
                  HotOS 2017, Whistler, BC, Canada, May 8-10, 2017},
  pages        = {18--23},
  publisher    = {{ACM}},
  year         = {2017},
  url          = {https://doi.org/10.1145/3102980.3102984},
  doi          = {10.1145/3102980.3102984},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/hotos/LepersZLPGSLM17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nca/CarverSM17,
  author       = {Damien Carver and
                  Julien Sopena and
                  S{\'{e}}bastien Monnet},
  editor       = {Aris Gkoulalas{-}Divanis and
                  Miguel P. Correia and
                  Dimiter R. Avresky},
  title        = {{ACDC:} Advanced consolidation for dynamic containers},
  booktitle    = {16th {IEEE} International Symposium on Network Computing and Applications,
                  {NCA} 2017, Cambridge, MA, USA, October 30 - November 1, 2017},
  pages        = {253--260},
  publisher    = {{IEEE} Computer Society},
  year         = {2017},
  url          = {https://doi.org/10.1109/NCA.2017.8171363},
  doi          = {10.1109/NCA.2017.8171363},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/nca/CarverSM17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sat/FriouxBSK17,
  author       = {Ludovic Le Frioux and
                  Souheib Baarir and
                  Julien Sopena and
                  Fabrice Kordon},
  editor       = {Serge Gaspers and
                  Toby Walsh},
  title        = {PaInleSS: {A} Framework for Parallel {SAT} Solving},
  booktitle    = {Theory and Applications of Satisfiability Testing - {SAT} 2017 - 20th
                  International Conference, Melbourne, VIC, Australia, August 28 - September
                  1, 2017, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {10491},
  pages        = {233--250},
  publisher    = {Springer},
  year         = {2017},
  url          = {https://doi.org/10.1007/978-3-319-66263-3\_15},
  doi          = {10.1007/978-3-319-66263-3\_15},
  timestamp    = {Tue, 14 May 2019 10:00:41 +0200},
  biburl       = {https://dblp.org/rec/conf/sat/FriouxBSK17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fgcs/SerranoBKOLLSAS16,
  author       = {Dami{\'{a}}n Serrano and
                  Sara Bouchenak and
                  Yousri Kouki and
                  Frederico Alvares de Oliveira Jr. and
                  Thomas Ledoux and
                  Jonathan Lejeune and
                  Julien Sopena and
                  Luciana Arantes and
                  Pierre Sens},
  title        = {{SLA} guarantees for cloud services},
  journal      = {Future Gener. Comput. Syst.},
  volume       = {54},
  pages        = {233--246},
  year         = {2016},
  url          = {https://doi.org/10.1016/j.future.2015.03.018},
  doi          = {10.1016/J.FUTURE.2015.03.018},
  timestamp    = {Wed, 19 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/fgcs/SerranoBKOLLSAS16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecrts/BlinCSLM16,
  author       = {Antoine Blin and
                  C{\'{e}}dric Courtaud and
                  Julien Sopena and
                  Julia Lawall and
                  Gilles Muller},
  title        = {Maximizing Parallelism without Exploding Deadlines in a Mixed Criticality
                  Embedded System},
  booktitle    = {28th Euromicro Conference on Real-Time Systems, {ECRTS} 2016, Toulouse,
                  France, July 5-8, 2016},
  pages        = {109--119},
  publisher    = {{IEEE} Computer Society},
  year         = {2016},
  url          = {https://doi.org/10.1109/ECRTS.2016.18},
  doi          = {10.1109/ECRTS.2016.18},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ecrts/BlinCSLM16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/netys/BlinCSLM16,
  author       = {Antoine Blin and
                  C{\'{e}}dric Courtaud and
                  Julien Sopena and
                  Julia Lawall and
                  Gilles Muller},
  editor       = {Parosh Aziz Abdulla and
                  Carole Delporte{-}Gallet},
  title        = {Understanding the Memory Consumption of the MiBench Embedded Benchmark},
  booktitle    = {Networked Systems - 4th International Conference, {NETYS} 2016, Marrakech,
                  Morocco, May 18-20, 2016, Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {9944},
  pages        = {71--86},
  publisher    = {Springer},
  year         = {2016},
  url          = {https://doi.org/10.1007/978-3-319-46140-3\_6},
  doi          = {10.1007/978-3-319-46140-3\_6},
  timestamp    = {Tue, 14 May 2019 10:00:36 +0200},
  biburl       = {https://dblp.org/rec/conf/netys/BlinCSLM16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jpdc/LejeuneASS15,
  author       = {Jonathan Lejeune and
                  Luciana Arantes and
                  Julien Sopena and
                  Pierre Sens},
  title        = {A fair starvation-free prioritized mutual exclusion algorithm for
                  distributed systems},
  journal      = {J. Parallel Distributed Comput.},
  volume       = {83},
  pages        = {13--29},
  year         = {2015},
  url          = {https://doi.org/10.1016/j.jpdc.2015.04.002},
  doi          = {10.1016/J.JPDC.2015.04.002},
  timestamp    = {Sat, 22 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jpdc/LejeuneASS15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tsi/LejeuneASS15,
  author       = {Jonathan Lejeune and
                  Luciana Arantes and
                  Julien Sopena and
                  Pierre Sens},
  title        = {Allouer efficacement des ressources dans un environnement distribu{\'{e}}},
  journal      = {Tech. Sci. Informatiques},
  volume       = {34},
  number       = {1-2},
  pages        = {79--100},
  year         = {2015},
  url          = {https://doi.org/10.3166/tsi.34.79-100},
  doi          = {10.3166/TSI.34.79-100},
  timestamp    = {Wed, 24 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tsi/LejeuneASS15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tsi/LorrillereSMS15,
  author       = {Maxime Lorrillere and
                  Julien Sopena and
                  S{\'{e}}bastien Monnet and
                  Pierre Sens},
  title        = {Conception et {\'{e}}valuation d'un syst{\`{e}}me de cache r{\'{e}}parti
                  adapt{\'{e}} aux environnements virtualis{\'{e}}s},
  journal      = {Tech. Sci. Informatiques},
  volume       = {34},
  number       = {1-2},
  pages        = {101--123},
  year         = {2015},
  url          = {https://doi.org/10.3166/tsi.34.101-123},
  doi          = {10.3166/TSI.34.101-123},
  timestamp    = {Wed, 24 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tsi/LorrillereSMS15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asplos/Gidra0SSN15,
  author       = {Lokesh Gidra and
                  Ga{\"{e}}l Thomas and
                  Julien Sopena and
                  Marc Shapiro and
                  Nhan Nguyen},
  editor       = {{\"{O}}zcan {\"{O}}zturk and
                  Kemal Ebcioglu and
                  Sandhya Dwarkadas},
  title        = {NumaGiC: a Garbage Collector for Big Data on Big {NUMA} Machines},
  booktitle    = {Proceedings of the Twentieth International Conference on Architectural
                  Support for Programming Languages and Operating Systems, {ASPLOS}
                  2015, Istanbul, Turkey, March 14-18, 2015},
  pages        = {661--673},
  publisher    = {{ACM}},
  year         = {2015},
  url          = {https://doi.org/10.1145/2694344.2694361},
  doi          = {10.1145/2694344.2694361},
  timestamp    = {Wed, 07 Jul 2021 13:23:08 +0200},
  biburl       = {https://dblp.org/rec/conf/asplos/Gidra0SSN15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dais/Callau-ZoriASS15,
  author       = {Mar Callau{-}Zori and
                  Luciana Arantes and
                  Julien Sopena and
                  Pierre Sens},
  editor       = {Alysson Bessani and
                  Sara Bouchenak},
  title        = {MERCi-MIsS: Should {I} Turn off My Servers?},
  booktitle    = {Distributed Applications and Interoperable Systems - 15th {IFIP} {WG}
                  6.1 International Conference, {DAIS} 2015, Held as Part of the 10th
                  International Federated Conference on Distributed Computing Techniques,
                  DisCoTec 2015, Grenoble, France, June 2-4, 2015, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {9038},
  pages        = {16--29},
  publisher    = {Springer},
  year         = {2015},
  url          = {https://doi.org/10.1007/978-3-319-19129-4\_2},
  doi          = {10.1007/978-3-319-19129-4\_2},
  timestamp    = {Wed, 18 Dec 2019 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/dais/Callau-ZoriASS15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icpp/LejeuneASS15,
  author       = {Jonathan Lejeune and
                  Luciana Arantes and
                  Julien Sopena and
                  Pierre Sens},
  title        = {Reducing Synchronization Cost in Distributed Multi-resource Allocation
                  Problem},
  booktitle    = {44th International Conference on Parallel Processing, {ICPP} 2015,
                  Beijing, China, September 1-4, 2015},
  pages        = {540--549},
  publisher    = {{IEEE} Computer Society},
  year         = {2015},
  url          = {https://doi.org/10.1109/ICPP.2015.63},
  doi          = {10.1109/ICPP.2015.63},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icpp/LejeuneASS15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ipps/TomsicSGAS15,
  author       = {Alejandro Z. Tomsic and
                  Pierre Sens and
                  Jo{\~{a}}o Garcia and
                  Luciana Arantes and
                  Julien Sopena},
  title        = {2W-FD: {A} Failure Detector Algorithm with QoS},
  booktitle    = {2015 {IEEE} International Parallel and Distributed Processing Symposium,
                  {IPDPS} 2015, Hyderabad, India, May 25-29, 2015},
  pages        = {885--893},
  publisher    = {{IEEE} Computer Society},
  year         = {2015},
  url          = {https://doi.org/10.1109/IPDPS.2015.74},
  doi          = {10.1109/IPDPS.2015.74},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ipps/TomsicSGAS15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/systor/LorrillereSMS15,
  author       = {Maxime Lorrillere and
                  Julien Sopena and
                  S{\'{e}}bastien Monnet and
                  Pierre Sens},
  editor       = {Dalit Naor and
                  Gernot Heiser and
                  Idit Keidar},
  title        = {Puma: pooling unused memory in virtual machines for {I/O} intensive
                  applications},
  booktitle    = {Proceedings of the 8th {ACM} International Systems and Storage Conference,
                  {SYSTOR} 2015, Haifa, Israel, May 26-28, 2015},
  pages        = {1:1--1:11},
  publisher    = {{ACM}},
  year         = {2015},
  url          = {https://doi.org/10.1145/2757667.2757669},
  doi          = {10.1145/2757667.2757669},
  timestamp    = {Wed, 18 Dec 2019 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/systor/LorrillereSMS15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asplos/Gidra0SS13,
  author       = {Lokesh Gidra and
                  Ga{\"{e}}l Thomas and
                  Julien Sopena and
                  Marc Shapiro},
  editor       = {Vivek Sarkar and
                  Rastislav Bod{\'{\i}}k},
  title        = {A study of the scalability of stop-the-world garbage collectors on
                  multicores},
  booktitle    = {Architectural Support for Programming Languages and Operating Systems,
                  {ASPLOS} 2013, Houston, TX, USA, March 16-20, 2013},
  pages        = {229--240},
  publisher    = {{ACM}},
  year         = {2013},
  url          = {https://doi.org/10.1145/2451116.2451142},
  doi          = {10.1145/2451116.2451142},
  timestamp    = {Wed, 07 Jul 2021 13:23:08 +0200},
  biburl       = {https://dblp.org/rec/conf/asplos/Gidra0SS13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ccgrid/SerranoBKLLSAS13,
  author       = {Dami{\'{a}}n Serrano and
                  Sara Bouchenak and
                  Yousri Kouki and
                  Thomas Ledoux and
                  Jonathan Lejeune and
                  Julien Sopena and
                  Luciana Arantes and
                  Pierre Sens},
  title        = {Towards QoS-Oriented {SLA} Guarantees for Online Cloud Services},
  booktitle    = {13th {IEEE/ACM} International Symposium on Cluster, Cloud, and Grid
                  Computing, CCGrid 2013, Delft, Netherlands, May 13-16, 2013},
  pages        = {50--57},
  publisher    = {{IEEE} Computer Society},
  year         = {2013},
  url          = {https://doi.org/10.1109/CCGrid.2013.66},
  doi          = {10.1109/CCGRID.2013.66},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ccgrid/SerranoBKLLSAS13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icpp/LejeuneASS13,
  author       = {Jonathan Lejeune and
                  Luciana Arantes and
                  Julien Sopena and
                  Pierre Sens},
  title        = {A Prioritized Distributed Mutual Exclusion Algorithm Balancing Priority
                  Inversions and Response Time},
  booktitle    = {42nd International Conference on Parallel Processing, {ICPP} 2013,
                  Lyon, France, October 1-4, 2013},
  pages        = {290--299},
  publisher    = {{IEEE} Computer Society},
  year         = {2013},
  url          = {https://doi.org/10.1109/ICPP.2013.38},
  doi          = {10.1109/ICPP.2013.38},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icpp/LejeuneASS13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icpp/HuSASD13,
  author       = {Ruijing Hu and
                  Julien Sopena and
                  Luciana Arantes and
                  Pierre Sens and
                  Isabelle M. Demeure},
  title        = {Efficient Dissemination Algorithm for Scale-Free Topologies},
  booktitle    = {42nd International Conference on Parallel Processing, {ICPP} 2013,
                  Lyon, France, October 1-4, 2013},
  pages        = {310--319},
  publisher    = {{IEEE} Computer Society},
  year         = {2013},
  url          = {https://doi.org/10.1109/ICPP.2013.40},
  doi          = {10.1109/ICPP.2013.40},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icpp/HuSASD13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sbac-pad/ArantesS13,
  author       = {Luciana Arantes and
                  Julien Sopena},
  title        = {Easily Rendering Token-Ring Algorithms of Distributed and Parallel
                  Applications Fault Tolerant},
  booktitle    = {25th International Symposium on Computer Architecture and High Performance
                  Computing, {SBAC-PAD} 2013, Porto de Galinhas, Pernambuco, Brazil,
                  October 23-26, 2013},
  pages        = {206--213},
  publisher    = {{IEEE} Computer Society},
  year         = {2013},
  url          = {https://doi.org/10.1109/SBAC-PAD.2013.11},
  doi          = {10.1109/SBAC-PAD.2013.11},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/sbac-pad/ArantesS13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wd/PebeyreTS13,
  author       = {Aur{\'{e}}lie Faure de Pebeyre and
                  Fabien Tarissan and
                  Julien Sopena},
  title        = {On the relevance of the edge-Markovian evolving graph model for real
                  mobile networks},
  booktitle    = {Proceedings of the {IFIP} Wireless Days, {WD} 2013, Valencia, Spain,
                  November 13-15, 2013},
  pages        = {1--6},
  publisher    = {{IEEE}},
  year         = {2013},
  url          = {https://doi.org/10.1109/WD.2013.6686487},
  doi          = {10.1109/WD.2013.6686487},
  timestamp    = {Mon, 18 Jan 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/wd/PebeyreTS13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tsi/ArantesBCCCLPMPSSS12,
  author       = {Luciana Arantes and
                  Alysson Neves Bessani and
                  Vinicius Vielmo Cogo and
                  Miguel Correia and
                  Pedro Costa and
                  Jonathan Lejeune and
                  M. Piffaretti and
                  Olivier Marin and
                  Marcelo Pasin and
                  Pierre Sens and
                  Fabr{\'{\i}}cio Silva and
                  Julien Sopena},
  title        = {Vers une plate-forme MapReduce tol{\'{e}}rant les fautes byzantines},
  journal      = {Tech. Sci. Informatiques},
  volume       = {31},
  number       = {8-10},
  pages        = {1079--1099},
  year         = {2012},
  url          = {https://doi.org/10.3166/tsi.31.1079-1099},
  doi          = {10.3166/TSI.31.1079-1099},
  timestamp    = {Fri, 09 Apr 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tsi/ArantesBCCCLPMPSSS12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ccgrid/LejeuneASS12,
  author       = {Jonathan Lejeune and
                  Luciana Arantes and
                  Julien Sopena and
                  Pierre Sens},
  title        = {Service Level Agreement for Distributed Mutual Exclusion in Cloud
                  Computing},
  booktitle    = {12th {IEEE/ACM} International Symposium on Cluster, Cloud and Grid
                  Computing, CCGrid 2012, Ottawa, Canada, May 13-16, 2012},
  pages        = {180--187},
  publisher    = {{IEEE} Computer Society},
  year         = {2012},
  url          = {https://doi.org/10.1109/CCGrid.2012.11},
  doi          = {10.1109/CCGRID.2012.11},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ccgrid/LejeuneASS12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icpads/PreudhommeS0F12,
  author       = {Thomas Preud'homme and
                  Julien Sopena and
                  Ga{\"{e}}l Thomas and
                  Bertil Folliot},
  title        = {An Improvement of OpenMP Pipeline Parallelism with the BatchQueue
                  Algorithm},
  booktitle    = {18th {IEEE} International Conference on Parallel and Distributed Systems,
                  {ICPADS} 2012, Singapore, December 17-19, 2012},
  pages        = {348--355},
  publisher    = {{IEEE} Computer Society},
  year         = {2012},
  url          = {https://doi.org/10.1109/ICPADS.2012.55},
  doi          = {10.1109/ICPADS.2012.55},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icpads/PreudhommeS0F12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/srds/HuSASD12,
  author       = {Ruijing Hu and
                  Julien Sopena and
                  Luciana Arantes and
                  Pierre Sens and
                  Isabelle M. Demeure},
  title        = {Fair Comparison of Gossip Algorithms over Large-Scale Random Topologies},
  booktitle    = {{IEEE} 31st Symposium on Reliable Distributed Systems, {SRDS} 2012,
                  Irvine, CA, USA, October 8-11, 2012},
  pages        = {331--340},
  publisher    = {{IEEE} Computer Society},
  year         = {2012},
  url          = {https://doi.org/10.1109/SRDS.2012.28},
  doi          = {10.1109/SRDS.2012.28},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/srds/HuSASD12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigops/GidraTSS11,
  author       = {Lokesh Gidra and
                  Ga{\"{e}}l Thomas and
                  Julien Sopena and
                  Marc Shapiro},
  title        = {Assessing the scalability of garbage collectors on many cores},
  journal      = {{ACM} {SIGOPS} Oper. Syst. Rev.},
  volume       = {45},
  number       = {3},
  pages        = {15--19},
  year         = {2011},
  url          = {https://doi.org/10.1145/2094091.2094096},
  doi          = {10.1145/2094091.2094096},
  timestamp    = {Tue, 14 Jul 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sigops/GidraTSS11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sosp/Gidra0S011,
  author       = {Lokesh Gidra and
                  Ga{\"{e}}l Thomas and
                  Julien Sopena and
                  Marc Shapiro},
  title        = {Assessing the scalability of garbage collectors on many cores},
  booktitle    = {Proceedings of the 6th Workshop on Programming Languages and Operating
                  Systems, PLOS@SOSP 2011, Cascais, Portugal, October 23, 2011},
  pages        = {7:1--7:5},
  publisher    = {{ACM}},
  year         = {2011},
  url          = {https://doi.org/10.1145/2039239.2039249},
  doi          = {10.1145/2039239.2039249},
  timestamp    = {Tue, 06 Nov 2018 16:59:32 +0100},
  biburl       = {https://dblp.org/rec/conf/sosp/Gidra0S011.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sbac-pad/PreudhommeSTF10,
  author       = {Thomas Preud'homme and
                  Julien Sopena and
                  Ga{\"{e}}l Thomas and
                  Bertil Folliot},
  editor       = {Jos{\'{e}} E. Moreira and
                  Vinod E. F. Rebello and
                  Bruno Schulze and
                  Philippe O. A. Navaux},
  title        = {BatchQueue: Fast and Memory-Thrifty Core to Core Communication},
  booktitle    = {22st International Symposium on Computer Architecture and High Performance
                  Computing, {SBAC-PAD} 2010, Petropolis, Brazil, October 27-30, 2010},
  pages        = {215--222},
  publisher    = {{IEEE} Computer Society},
  year         = {2010},
  url          = {https://doi.org/10.1109/SBAC-PAD.2010.34},
  doi          = {10.1109/SBAC-PAD.2010.34},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/sbac-pad/PreudhommeSTF10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tjs/SopenaALS09,
  author       = {Julien Sopena and
                  Luciana Arantes and
                  Fabrice Legond{-}Aubry and
                  Pierre Sens},
  title        = {Building effective mutual exclusion services for grids},
  journal      = {J. Supercomput.},
  volume       = {49},
  number       = {1},
  pages        = {84--107},
  year         = {2009},
  url          = {https://doi.org/10.1007/s11227-008-0235-8},
  doi          = {10.1007/S11227-008-0235-8},
  timestamp    = {Fri, 22 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tjs/SopenaALS09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tsi/SopenaBL09,
  author       = {Julien Sopena and
                  Souheib Baarir and
                  Fabrice Legond{-}Aubry},
  title        = {V{\'{e}}rification formelle d'un algorithme g{\'{e}}n{\'{e}}rique
                  et hi{\'{e}}rarchique d'exclusion mutuelle},
  journal      = {Tech. Sci. Informatiques},
  volume       = {28},
  number       = {9},
  pages        = {1085--1105},
  year         = {2009},
  url          = {https://doi.org/10.3166/tsi.28.1085-1105},
  doi          = {10.3166/TSI.28.1085-1105},
  timestamp    = {Wed, 24 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tsi/SopenaBL09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/europar/SopenaALS08,
  author       = {Julien Sopena and
                  Luciana Arantes and
                  Fabrice Legond{-}Aubry and
                  Pierre Sens},
  editor       = {Emilio Luque and
                  Tom{\`{a}}s Margalef and
                  Domingo Benitez},
  title        = {The Impact of Clustering on Token-Based Mutual Exclusion Algorithms},
  booktitle    = {Euro-Par 2008 - Parallel Processing, 14th International Euro-Par Conference,
                  Las Palmas de Gran Canaria, Spain, August 26-29, 2008, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5168},
  pages        = {565--575},
  publisher    = {Springer},
  year         = {2008},
  url          = {https://doi.org/10.1007/978-3-540-85451-7\_60},
  doi          = {10.1007/978-3-540-85451-7\_60},
  timestamp    = {Wed, 18 Dec 2019 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/europar/SopenaALS08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/forte/BaarirSL08,
  author       = {Souheib Baarir and
                  Julien Sopena and
                  Fabrice Legond{-}Aubry},
  editor       = {Kenji Suzuki and
                  Teruo Higashino and
                  Keiichi Yasumoto and
                  Khaled El{-}Fakih},
  title        = {Verification of a Hierarchical Generic Mutual Exclusion Algorithm},
  booktitle    = {Formal Techniques for Networked and Distributed Systems - {FORTE}
                  2008, 28th {IFIP} {WG} 6.1 International Conference, Tokyo, Japan,
                  June 10-13, 2008, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5048},
  pages        = {99--115},
  publisher    = {Springer},
  year         = {2008},
  url          = {https://doi.org/10.1007/978-3-540-68855-6\_7},
  doi          = {10.1007/978-3-540-68855-6\_7},
  timestamp    = {Tue, 14 May 2019 10:00:50 +0200},
  biburl       = {https://dblp.org/rec/conf/forte/BaarirSL08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icpp/SopenaLAS07,
  author       = {Julien Sopena and
                  Fabrice Legond{-}Aubry and
                  Luciana Bezerra Arantes and
                  Pierre Sens},
  title        = {A Composition Approach to Mutual Exclusion Algorithms for Grid Applications},
  booktitle    = {2007 International Conference on Parallel Processing {(ICPP} 2007),
                  September 10-14, 2007, Xi-An, China},
  pages        = {65},
  publisher    = {{IEEE} Computer Society},
  year         = {2007},
  url          = {https://doi.org/10.1109/ICPP.2007.6},
  doi          = {10.1109/ICPP.2007.6},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icpp/SopenaLAS07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/srds/SopenaAS06,
  author       = {Julien Sopena and
                  Luciana Bezerra Arantes and
                  Pierre Sens},
  title        = {Performance evaluation of a fair fault-tolerant mutual exclusion algorithm},
  booktitle    = {25th {IEEE} Symposium on Reliable Distributed Systems {(SRDS} 2006),2-4
                  October 2006, Leeds, {UK}},
  pages        = {225--234},
  publisher    = {{IEEE} Computer Society},
  year         = {2006},
  url          = {https://doi.org/10.1109/SRDS.2006.35},
  doi          = {10.1109/SRDS.2006.35},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/srds/SopenaAS06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/europar/SopenaABS05,
  author       = {Julien Sopena and
                  Luciana Bezerra Arantes and
                  Marin Bertier and
                  Pierre Sens},
  editor       = {Jos{\'{e}} C. Cunha and
                  Pedro D. Medeiros},
  title        = {A Fault-Tolerant Token-Based Mutual Exclusion Algorithm Using a Dynamic
                  Tree},
  booktitle    = {Euro-Par 2005, Parallel Processing, 11th International Euro-Par Conference,
                  Lisbon, Portugal, August 30 - September 2, 2005, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {3648},
  pages        = {654--663},
  publisher    = {Springer},
  year         = {2005},
  url          = {https://doi.org/10.1007/11549468\_72},
  doi          = {10.1007/11549468\_72},
  timestamp    = {Wed, 18 Dec 2019 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/europar/SopenaABS05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics