BibTeX records: Fabrice Legond-Aubry

download as .bib file

@article{DBLP:journals/corr/KordonLBBFHHLLMPPRRTWW13,
  author       = {Fabrice Kordon and
                  Alban Linard and
                  Marco Beccuti and
                  Didier Buchs and
                  Lukasz Fronc and
                  Lom{-}Messan Hillah and
                  Francis Hulin{-}Hubard and
                  Fabrice Legond{-}Aubry and
                  Niels Lohmann and
                  Alexis Marechal and
                  Emmanuel Paviot{-}Adet and
                  Franck Pommereau and
                  C{\'{e}}sar Rodr{\'{\i}}guez and
                  Christian Rohr and
                  Yann Thierry{-}Mieg and
                  Harro Wimmel and
                  Karsten Wolf},
  title        = {Model Checking Contest @ Petri Nets, Report on the 2013 edition},
  journal      = {CoRR},
  volume       = {abs/1309.2485},
  year         = {2013},
  url          = {http://arxiv.org/abs/1309.2485},
  eprinttype    = {arXiv},
  eprint       = {1309.2485},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/KordonLBBFHHLLMPPRRTWW13.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/apn/HamezKTL07,
  author       = {Alexandre Hamez and
                  Fabrice Kordon and
                  Yann Thierry{-}Mieg and
                  Fabrice Legond{-}Aubry},
  editor       = {Jetty Kleijn and
                  Alexandre Yakovlev},
  title        = {dmcG : {A} Distributed Symbolic Model Checker Based on GreatSPN},
  booktitle    = {Petri Nets and Other Models of Concurrency - {ICATPN} 2007, 28th International
                  Conference on Applications and Theory of Petri Nets and Other Models
                  of Concurrency, {ICATPN} 2007, Siedlce, Poland, June 25-29, 2007,
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4546},
  pages        = {495--504},
  publisher    = {Springer},
  year         = {2007},
  url          = {https://doi.org/10.1007/978-3-540-73094-1\_29},
  doi          = {10.1007/978-3-540-73094-1\_29},
  timestamp    = {Tue, 14 May 2019 10:00:45 +0200},
  biburl       = {https://dblp.org/rec/conf/apn/HamezKTL07.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}
}

@article{DBLP:journals/jot/EnselmeFL04,
  author       = {Daniel Enselme and
                  Gerard Florin and
                  Fabrice Legond{-}Aubry},
  title        = {Design by Contract: analysis of hidden dependencies in component based
                  application},
  journal      = {J. Object Technol.},
  volume       = {3},
  number       = {4},
  pages        = {23--45},
  year         = {2004},
  url          = {https://doi.org/10.5381/jot.2004.3.4.a2},
  doi          = {10.5381/JOT.2004.3.4.A2},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jot/EnselmeFL04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/spe/PawlakSDFLM04,
  author       = {Renaud Pawlak and
                  Lionel Seinturier and
                  Laurence Duchien and
                  Gerard Florin and
                  Fabrice Legond{-}Aubry and
                  Laurent Martelli},
  title        = {{JAC:} an aspect-based distributed dynamic framework},
  journal      = {Softw. Pract. Exp.},
  volume       = {34},
  number       = {12},
  pages        = {1119--1148},
  year         = {2004},
  url          = {https://doi.org/10.1002/spe.605},
  doi          = {10.1002/SPE.605},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/spe/PawlakSDFLM04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics

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.