Publications of Jérôme Leroux with Sébastien Bardin


Journal articles and book chapters

  1. Sébastien Bardin, Alain Finkel, Jérôme Leroux, and Laure Petrucci. FAST: acceleration from theory to practice. International Journal on Software Tools for Technology Transfer (STTT), 10(5):401-424, 2008. [ps] [doi] [bib]

Conference articles

  1. Sebastien Bardin, Philippe Herrmann, Jérôme Leroux, Aymeric Vincent, Olivier Ly, and Renaud Tabary. The BINCOA Framework for Binary Code Analysis. In Computer Aided Verification, 23rd International Conference, CAV 2011, Snowbird, UT, USA, July 14-20, 2011, Proceedings, volume 6806 of Lecture Notes in Computer Science, 2011. Springer. Note: To appear. [bib]

  2. Sébastien Bardin, Jérôme Leroux, and Gérald Point. FAST Extended Release. In Computer Aided Verification, 18th International Conference, CAV 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings, volume 4144 of Lecture Notes in Computer Science, pages 63-66, 2006. Springer. [pdf] [doi] [bib]

  3. Sébastien Bardin, Alain Finkel, Jérôme Leroux, and Ph. Schnoebelen. Flat Acceleration in Symbolic Model Checking. In Automated Technology for Verification and Analysis, Third International Symposium, ATVA 2005, Taipei, Taiwan, October 4-7, 2005, Proceedings, volume 3707 of Lecture Notes in Computer Science, pages 474-488, 2005. Springer. [pdf] [doi] [bib]

  4. Sébastien Bardin, Alain Finkel, and Jérôme Leroux. FASTer Acceleration of Counter Automata in Practice. In Tools and Algorithms for the Construction and Analysis of Systems, 10th International Conference, TACAS 2004, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29 - April 2, 2004, Proceedings, volume 2988 of Lecture Notes in Computer Science, pages 576-590, 2004. Springer. [ps] [doi] [bib]

  5. Sébastien Bardin, Alain Finkel, Jérôme Leroux, and Laure Petrucci. FAST: Fast Acceleration of Symbolikc Transition Systems. In Computer Aided Verification, 15th International Conference, CAV 2003, Boulder, CO, USA, July 8-12, 2003, Proceedings, volume 2725 of Lecture Notes in Computer Science, pages 118-121, 2003. Springer. [ps] [doi] [bib]


This document was translated from BibTEX by bibtex2html