BibTeX records: Gérald Point

• > Home > Persons > Gérald Point

@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    = {Sat, 30 Sep 2023 09:57:43 +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}
}

@inproceedings{DBLP:conf/cdc/ArnoldBPV05,
  author       = {Andr{\'{e}} Arnold and
                  Xavier Briand and
                  G{\'{e}}rald Point and
                  Aymeric Vincent},
  title        = {A generic approach to the control of discrete event systems},
  booktitle    = {44th {IEEE} {IEEE} Conference on Decision and Control and 8th European
                  Control Conference Control, {CDC/ECC} 2005, Seville, Spain, 12-15
                  December, 2005},
  pages        = {1--5},
  publisher    = {{IEEE}},
  year         = {2005},
  url          = {https://doi.org/10.1109/CDC.2005.1582121},
  doi          = {10.1109/CDC.2005.1582121},
  timestamp    = {Fri, 04 Mar 2022 13:25:54 +0100},
  biburl       = {https://dblp.org/rec/conf/cdc/ArnoldBPV05.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    = {Tue, 21 Jul 2020 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. Informaticae},
  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    = {Fri, 18 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fuin/ArnoldPGR99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}