{"id":75,"date":"2017-02-17T14:31:14","date_gmt":"2017-02-17T13:31:14","guid":{"rendered":"https:\/\/tapas.labri.fr\/wp\/?page_id=75"},"modified":"2017-02-17T14:33:59","modified_gmt":"2017-02-17T13:33:59","slug":"publications","status":"publish","type":"page","link":"https:\/\/tapas.labri.fr\/wp\/?page_id=75","title":{"rendered":"Related publications"},"content":{"rendered":"<ul>\n<li>J. Leroux and G. Point.\u00a0<a href=\"https:\/\/tapas.labri.fr\/wp\/wp-content\/uploads\/2017\/02\/2009.Leroux-Point.TACAS2009.pdf\">TaPAS : The Talence Presburger Arithmetic Suite.<\/a> In Stefan Kowalewski and Anna Philippou, editors, <em>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<\/em>, volume 5505 of <em>Lecture Notes in Computer Science<\/em>, pages 182-185, 2009. Springer.<\/li>\n<li>S. Bardin, A. Finkel, J. Leroux, and L. Petrucci.\u00a0<a href=\"https:\/\/tapas.labri.fr\/wp\/wp-content\/uploads\/2017\/02\/2008.Bardin-Finkel-Leroux-Petrucci.STTT_.pdf\"> FAST: acceleration from theory to practice.<\/a> <em>International Journal on Software Tools for Technology Transfer (STTT)<\/em>, 10(5):401-424, 2008.<\/li>\n<li>S. Bardin, J. Leroux, and G. Point. <a href=\"https:\/\/tapas.labri.fr\/wp\/wp-content\/uploads\/2017\/02\/cav06.pdf\">FAST Extended Release.<\/a> In <em>Computer Aided Verification, 18th International Conference, CAV 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings<\/em>, volume 4144 of <em>Lecture Notes in Computer Science<\/em>, pages 63-66, 2006. Springer.<\/li>\n<li>J-M. Couvreur.<a href=\"https:\/\/tapas.labri.fr\/wp\/wp-content\/uploads\/2017\/02\/jmc-sataf.pdf\"> A BDD-like Implementation of an Automata Package.<\/a> In Revised Selected Papers of the 9th International Conference on Implementation and Application of Automata (CIAA&#8217;04), Kingston, Ontario, Canada, July 2004, LNCS 3317, pages 310-311. Springer, 2005.<\/li>\n<li>J. Leroux.\u00a0<a href=\"https:\/\/tapas.labri.fr\/wp\/wp-content\/uploads\/2017\/02\/jl-lics05.pdf\">A Polynomial Time Presburger Criterion and Synthesis for Number Decision Diagrams.<\/a> In <em>20th IEEE Symposium on Logic in Computer Science (LICS 2005), 26-29 June 2005, Chicago, IL, USA, Proceedings<\/em>, pages 147-156, 2005. IEEE Computer Society.<\/li>\n<li>J. Leroux. <a href=\"https:\/\/tapas.labri.fr\/wp\/wp-content\/uploads\/2017\/02\/Leroux-these.pdf\">Algorithmique de la v\u00e9rification des syst\u00e8mes \u00e0 compteurs. Approximation et acc\u00e9l\u00e9ration. Impl\u00e9mentation de l&#8217;outil FAST.<\/a> Th\u00e8se ENS de Cachan, Dec. 2003.<\/li>\n<li>S. Bardin, A. Finkel, J. Leroux, L. Petrucci and L. Worobel. <a href=\"https:\/\/tapas.labri.fr\/wp\/wp-content\/uploads\/2017\/02\/FAST-manual.pdf\">FAST, Users&#8217; Manual<\/a>. Aug. 2003.<\/li>\n<\/ul>\n","protected":false},"excerpt":{"rendered":"<p>J. Leroux and G. Point.\u00a0TaPAS : The Talence Presburger Arithmetic Suite. In Stefan Kowalewski and Anna Philippou, editors, Tools and Algorithms for the Construction and Analysis of Systems, 15th International Conference, TACAS 2009, Held as Part of the Joint European &hellip; <a href=\"https:\/\/tapas.labri.fr\/wp\/?page_id=75\">Continue reading <span class=\"meta-nav\">&rarr;<\/span><\/a><\/p>\n","protected":false},"author":1,"featured_media":0,"parent":0,"menu_order":0,"comment_status":"closed","ping_status":"closed","template":"","meta":{"footnotes":""},"class_list":["post-75","page","type-page","status-publish","hentry"],"_links":{"self":[{"href":"https:\/\/tapas.labri.fr\/wp\/index.php?rest_route=\/wp\/v2\/pages\/75","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/tapas.labri.fr\/wp\/index.php?rest_route=\/wp\/v2\/pages"}],"about":[{"href":"https:\/\/tapas.labri.fr\/wp\/index.php?rest_route=\/wp\/v2\/types\/page"}],"author":[{"embeddable":true,"href":"https:\/\/tapas.labri.fr\/wp\/index.php?rest_route=\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/tapas.labri.fr\/wp\/index.php?rest_route=%2Fwp%2Fv2%2Fcomments&post=75"}],"version-history":[{"count":3,"href":"https:\/\/tapas.labri.fr\/wp\/index.php?rest_route=\/wp\/v2\/pages\/75\/revisions"}],"predecessor-version":[{"id":86,"href":"https:\/\/tapas.labri.fr\/wp\/index.php?rest_route=\/wp\/v2\/pages\/75\/revisions\/86"}],"wp:attachment":[{"href":"https:\/\/tapas.labri.fr\/wp\/index.php?rest_route=%2Fwp%2Fv2%2Fmedia&parent=75"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}