BibTeX records: Gérald Point

download as .bib file

@inproceedings{DBLP:conf/tacas/FleuryLPV15,
  author    = {Emmanuel Fleury and
               Olivier Ly and
               G{\'{e}}rald Point and
               Aymeric Vincent},
  editor    = {Christel Baier and
               Cesare Tinelli},
  title     = {Insight: An Open Binary Analysis Framework},
  booktitle = {Tools and Algorithms for the Construction and Analysis of Systems
               - 21st International Conference, {TACAS} 2015, Held as Part of the
               European Joint Conferences on Theory and Practice of Software, {ETAPS}
               2015, London, UK, April 11-18, 2015. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {9035},
  pages     = {218--224},
  publisher = {Springer},
  year      = {2015},
  url       = {https://doi.org/10.1007/978-3-662-46681-0\_18},
  doi       = {10.1007/978-3-662-46681-0\_18},
  timestamp = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/tacas/FleuryLPV15.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/LerouxP09,
  author    = {J{\'{e}}r{\^{o}}me Leroux and
               G{\'{e}}rald Point},
  editor    = {Stefan Kowalewski and
               Anna Philippou},
  title     = {TaPAS: The Talence Presburger Arithmetic Suite},
  booktitle = {Tools and Algorithms for the Construction and Analysis of Systems,
               15th International Conference, {TACAS} 2009, Held as Part of the Joint
               European Conferences on Theory and Practice of Software, {ETAPS} 2009,
               York, UK, March 22-29, 2009. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {5505},
  pages     = {182--185},
  publisher = {Springer},
  year      = {2009},
  url       = {https://doi.org/10.1007/978-3-642-00768-2\_18},
  doi       = {10.1007/978-3-642-00768-2\_18},
  timestamp = {Tue, 14 May 2019 10:00:53 +0200},
  biburl    = {https://dblp.org/rec/conf/tacas/LerouxP09.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/BardinLP06,
  author    = {S{\'{e}}bastien Bardin and
               J{\'{e}}r{\^{o}}me Leroux and
               G{\'{e}}rald Point},
  editor    = {Thomas Ball and
               Robert B. Jones},
  title     = {{FAST} Extended Release},
  booktitle = {Computer Aided Verification, 18th International Conference, {CAV}
               2006, Seattle, WA, USA, August 17-20, 2006, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {4144},
  pages     = {63--66},
  publisher = {Springer},
  year      = {2006},
  url       = {https://doi.org/10.1007/11817963\_9},
  doi       = {10.1007/11817963\_9},
  timestamp = {Tue, 14 May 2019 10:00:43 +0200},
  biburl    = {https://dblp.org/rec/conf/cav/BardinLP06.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@phdthesis{DBLP:phd/hal/Point00,
  author    = {G{\'{e}}rald Point},
  title     = {AltaRica : Contribution {\`{a}} l'unification des m{\'{e}}thodes
               formelles et de la s{\^{u}}ret{\'{e}} de fonctionnement. (AltaRica:
               Contribution to the unification of formal methods and safety assessment)},
  school    = {University of Bordeaux, France},
  year      = {2000},
  url       = {https://tel.archives-ouvertes.fr/tel-00353284},
  timestamp = {Fri, 15 Jul 2016 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/phd/hal/Point00.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/ArnoldPGR99,
  author    = {Andr{\'{e}} Arnold and
               G{\'{e}}rald Point and
               Alain Griffault and
               Antoine Rauzy},
  title     = {The AltaRica Formalism for Describing Concurrent Systems},
  journal   = {Fundam. Inform.},
  volume    = {40},
  number    = {2-3},
  pages     = {109--124},
  year      = {1999},
  url       = {https://doi.org/10.3233/FI-1999-402302},
  doi       = {10.3233/FI-1999-402302},
  timestamp = {Sat, 20 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/fuin/ArnoldPGR99.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of Schloss Dagstuhl - Leibniz Center for Informatics