@article{DBLP:journals/insk/FinkelL14, author = {Alain Finkel and J{\'{e}}r{\^{o}}me Leroux}, title = {Neue, einfache Algorithmen f{\"{u}}r Petrinetze}, journal = {Informatik Spektrum}, volume = {37}, number = {3}, pages = {229--236}, year = {2014}, doi = {10.1007/s00287-013-0753-5}, }
@inproceedings{DBLP:conf/rp/LerouxS14, author = {J{\'{e}}r{\^{o}}me Leroux and Ph. Schnoebelen}, editor = {Jo{\"{e}}l Ouaknine and Igor Potapov and James Worrell}, title = {On Functions Weakly Computable by Petri Nets and Vector Addition Systems}, booktitle = {Reachability Problems - 8th International Workshop, {RP} 2014, Oxford, UK, September 22-24, 2014. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {8762}, pages = {190--202}, publisher = {Springer}, year = {2014}, url = {http://dx.doi.org/10.1007/978-3-319-11439-2_15}, doi = {10.1007/978-3-319-11439-2_15}, timestamp = {Tue, 28 Oct 2014 18:50:19 +0100}, biburl = {http://dblp.uni-trier.de/rec/bib/conf/rp/LerouxS14}, bibsource = {dblp computer science bibliography, http://dblp.org} }
@inproceedings{DBLP:conf/csl/LerouxPS14, author = {J{\'{e}}r{\^{o}}me Leroux and M. Praveen and Gr{\'{e}}goire Sutre}, editor = {Thomas A. Henzinger and Dale Miller}, title = {Hyper-Ackermannian bounds for pushdown vector addition systems}, booktitle = {Joint Meeting of the Twenty-Third {EACSL} Annual Conference on Computer Science Logic {(CSL)} and the Twenty-Ninth Annual {ACM/IEEE} Symposium on Logic in Computer Science (LICS), {CSL-LICS} '14, Vienna, Austria, July 14 - 18, 2014}, pages = {63}, publisher = {{ACM}}, year = {2014}, doi = {10.1145/2603088.2603146}, }
@inproceedings{DBLP:conf/atva/LerouxPS14, author = {J{\'{e}}r{\^{o}}me Leroux and Vincent Penelle and Gr{\'{e}}goire Sutre}, editor = {Franck Cassez and Jean{-}Fran{\c{c}}ois Raskin}, title = {The Context-Freeness Problem Is coNP-Complete for Flat Counter Systems}, booktitle = {Automated Technology for Verification and Analysis - 12th International Symposium, {ATVA} 2014, Sydney, NSW, Australia, November 3-7, 2014, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {8837}, pages = {248--263}, publisher = {Springer}, year = {2014}, doi = {10.1007/978-3-319-11936-6_19}, }
@article{DBLP:journals/corr/abs-1301-4874, author = {J{\'e}r{\^o}me Leroux}, title = {Vector Addition System Reversible Reachability Problem}, journal = {Logical Methods in Computer Science}, volume = {9}, number = {1}, year = {2013}, doi = {10.2168/LMCS-9(1:5)2013}, }
@inproceedings{DBLP:conf/cav/Leroux13, author = {J{\'{e}}r{\^{o}}me Leroux}, editor = {Alexei Lisitsa and Andrei P. Nemytykh}, title = {Acceleration For Presburger Petri Nets}, booktitle = {First International Workshop on Verification and Program Transformation, {VPT} 2013, Saint Petersburg, Russia, July 12-13, 2013}, series = {EPiC Series}, volume = {16}, pages = {10--12}, publisher = {EasyChair}, year = {2013}, url = {http://www.easychair.org/publications/?page=1315383072}, timestamp = {Mon, 02 Dec 2013 17:59:43 +0100}, biburl = {http://dblp.uni-trier.de/rec/bib/conf/cav/Leroux13}, bibsource = {dblp computer science bibliography, http://dblp.org} }
@inproceedings{DBLP:conf/atva/Leroux13, author = {J{\'e}r{\^o}me Leroux}, title = {Acceleration for Petri Nets}, booktitle = {Automated Technology for Verification and Analysis - 11th International Symposium, ATVA 2013, Hanoi, Vietnam, October 15-18, 2013. Proceedings}, year = {2013}, pages = {1-4}, doi = {10.1007/978-3-319-02444-8_1}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, volume = {8172}, }
@inproceedings{DBLP:conf/concur/LerouxPS13, author = {J{\'e}r{\^o}me Leroux and M. Praveen and Gr{\'e}goire Sutre}, title = {A Relational Trace Logic for Vector Addition Systems with Application to Context-Freeness}, year = {2013}, pages = {137-151}, doi = {10.1007/978-3-642-40184-8_11}, booktitle = {CONCUR 2013 - Concurrency Theory - 24th International Conference, CONCUR 2013, Buenos Aires, Argentina, August 27-30, 2013. Proceedings}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, volume = {8052}, }
@inproceedings{DBLP:conf/lics/Leroux13, author = {J{\'e}r{\^o}me Leroux}, title = {Presburger Vector Addition Systems}, year = {2013}, pages = {23-32}, doi = {10.1109/LICS.2013.7}, booktitle = {28th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2013, New Orleans, LA, USA, June 25-28, 2013}, publisher = {IEEE Computer Society}, }
@inproceedings{DBLP:conf/lics/LerouxPS13, author = {J{\'e}r{\^o}me Leroux and Vincent Penelle and Gr{\'e}goire Sutre}, title = {On the Context-Freeness Problem for Vector Addition Systems}, booktitle = {LICS}, year = {2013}, pages = {43-52}, doi = {10.1109/LICS.2013.9}, booktitle = {28th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2013, New Orleans, LA, USA, June 25-28, 2013}, publisher = {IEEE Computer Society}, }
@proceedings{DBLP:conf/rp/2012, editor = {Alain Finkel and J{\'e}r{\^o}me Leroux and Igor Potapov}, title = {Reachability Problems - 6th International Workshop, RP 2012, Bordeaux, France, September 17-19, 2012. Proceedings}, booktitle = {RP}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, volume = {7550}, year = {2012}, isbn = {978-3-642-33511-2}, doi = {10.1007/978-3-642-33512-9}, url={http://hal.archives-ouvertes.fr/hal-00760303}, }
@article{DBLP:journals/corr/abs-1209-0359, author = {Alexander Heu{\ss}ner and J{\'e}r{\^o}me Leroux and Anca Muscholl and Gr{\'e}goire Sutre}, title = {Reachability Analysis of Communicating Pushdown Systems}, journal = {Logical Methods in Computer Science}, volume = {8}, number = {3}, year = {2012}, doi = {10.2168/LMCS-8(3:23)2012}, url={http://hal.archives-ouvertes.fr/hal-00760287}, pdf={http://hal.archives-ouvertes.fr/docs/00/76/02/87/PDF/1209.0359.pdf}, }
@article{bonnet:hal-00722324, url = {http://hal.archives-ouvertes.fr/hal-00722324}, title = {{Model Checking Vector Addition Systems with one zero-test}}, author = {Bonnet, R{\'e}mi and Finkel, Alain and Leroux, J{\'e}r{\^o}me and Zeitoun, Marc}, pages = {11}, journal = {Logical Methods in Computer Science}, volume = {8}, number = {2 }, doi = {10.2168/LMCS-8(2:11)2012 }, year = {2012}, month = Jun, pdf = {http://hal.archives-ouvertes.fr/hal-00722324/PDF/1205.4458.pdf}, }
@inproceedings{LEROUX-TURING100, author = {Jerome Leroux}, title = {Vector Addition Systems Reachability Problem (A Simpler Solution)}, booktitle = {The Alan Turing Centenary Conference, Turing-100, Manchester UK June 22-25, 2012, Proceedings}, editor = {Andrei Voronkov}, series = {EPiC Series}, volume = {10}, pages = {214-228}, year = {2012}, publisher = {EasyChair}, bibsource = {EasyChair, http://www.easychair.org}, issn = {2040-557X}, url={http://hal.archives-ouvertes.fr/hal-00674970}, }
@InProceedings{LEROUX-CONCUR2011, author = {Jérôme Leroux}, title = {The Vector Addition System Reversible Reachability Problem}, booktitle = {CONCUR 2011 - Concurrency Theory, 22th International Conference, Aachen, Germany, 5-10 September, 2011, Proceedings}, year = {2011}, pages = {327-341}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, volume = {6901}, doi={10.1007/978-3-642-23217-6_22}, url={http://hal.archives-ouvertes.fr/hal-00599757}, }
@inproceedings{BARDIN-CAV2006, author = { Sebastien Bardin and Philippe Herrmann and Jérôme Leroux and Aymeric Vincent and Olivier Ly and Renaud Tabary}, title = {The BINCOA Framework for Binary Code Analysis}, booktitle = {Computer Aided Verification, 23rd International Conference, CAV 2011, Snowbird, UT, USA, July 14-20, 2011, Proceedings}, year = {2011}, pages = {}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, volume = {6806}, note= {to appear}, }
@inproceedings{LEROUX-LATA2011, author = {J{\'e}r{\^o}me Leroux}, title = {Vector Addition System Reachability Problem: A Short Self-contained Proof}, booktitle = {LATA}, year = {2011}, pages = {41-64}, doi = {10.1007/978-3-642-21254-3_3}, editor = {Adrian Horia Dediu and Shunsuke Inenaga and Carlos Mart\'{\i}n-Vide}, booktitle = {Language and Automata Theory and Applications - 5th International Conference, LATA 2011, Tarragona, Spain, May 26-31, 2011. Proceedings}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, volume = {6638}, url={http://hal.archives-ouvertes.fr/hal-00599756}, }
@inproceedings{LEROUX-POPL2011, author = {Jérôme Leroux}, title = {Vector addition system reachability problem: a short self-contained proof}, year = {2011}, booktitle = {Proceedings of the 38th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2011, Austin, Texas, January 26-28, 2011}, publisher = {ACM}, year = {2011}, doi= {10.1145/1926385.1926421}, series = {POPL '11}, pages = {307--316}, publisher = {ACM}, url={http://hal.archives-ouvertes.fr/hal-00502865/en/}, }
@article{LEROUX-LMVCS2010, author = {Jérôme Leroux}, title = {The General Vector Addition System Reachability Problem by Presburger Inductive Invariants}, journal = {CoRR}, volume = {abs/1009.1076}, year = {2010}, doi = {10.2168/LMCS-6(3:22)2010}, journal = {Logical Methods in Computer Science}, volume = {6}, number = {3}, year = {2010}, pdf = {http://www.labri.fr/perso/leroux/published-papers/2010.Leroux.LMCS.pdf}, pages = {1--25}, }
@inproceedings{BONNET-FSTTCS2010, author = {R{\'e}mi Bonnet and Alain Finkel and J{\'e}r{\^o}me Leroux and Marc Zeitoun}, title= {Place-Boundedness for Vector Addition Systems with one zero-test}, year = {2010}, booktitle = {IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2010, December 15-18, 2010, IMSc, Chennai, India}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik}, doi = {10.4230/LIPIcs.FSTTCS.2010.192}, volume = {8}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, url = {http://drops.dagstuhl.de/opus/volltexte/2010/2863}, pages = {192--203}, }
@inproceedings{KROENING-LPAR17, author = {Daniel Kroening and Jérôme Leroux and Philipp R{\"u}mmer}, title = {Interpolating Quantifier-Free Presburger Arithmetic}, year = {2010}, pages = {489-503}, doi = {10.1007/978-3-642-16242-8_35}, editor = {Christian G. Ferm{\"u}ller and Andrei Voronkov}, booktitle = {Logic for Programming, Artificial Intelligence, and Reasoning - 17th International Conference, LPAR-17, Yogyakarta, Indonesia, October 10-15, 2010. Proceedings}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, volume = {6397}, pdf = {http://www.labri.fr/perso/leroux/published-papers/2010.Kroening.LPAR17.pdf}, }
@inproceedings{HEUSSNER-FOSSACS2010, author = {Alexander Heu{\ss}ner and J{\'e}r{\^o}me Leroux and Anca Muscholl and Gr{\'e}goire Sutre}, title = {Reachability Analysis of Communicating Pushdown Systems}, pages = {267-281}, doi = {10.1007/978-3-642-12032-9_19}, editor = {C.-H. Luke Ong}, booktitle = {Foundations of Software Science and Computational Structures, 13th International Conference, FOSSACS 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010. Proceedings}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, volume = {6014}, year = {2010}, doi = {10.1007/978-3-642-12032-9}, pdf = {http://www.labri.fr/perso/leroux/published-papers/2010.Heussner.FOSSACS2010.pdf}, }
@InProceedings{MANY-BIRTHDAY09, author = {Thomas Gawlitza and Jérôme Leroux and Jan Reineke and Helmut Seidl and Grégoire Sutre and Reinhard Wilhelm}, title = {Polynomial Precise Interval Analysis Revisited}, booktitle = {Efficient Algorithms}, year = {2009}, pages = {422-437}, doi = {10.1007/978-3-642-03456-5_28}, editor = {Susanne Albers and Helmut Alt and Stefan N{\"a}her}, booktitle = {Efficient Algorithms, Essays Dedicated to Kurt Mehlhorn on the Occasion of His 60th Birthday, Saarbrücken, Germany, August 27 - 28, 2009 Proceedings}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, volume = {5760}, year = {2009}, pdf = {http://www.labri.fr/perso/leroux/published-papers/2009.Gawlitza.EA.pdf}, }
@InProceedings{BOIGELOT-BRUSTEN-LEROUX-CADE2009, author = {Bernard Boigelot and Julien Brusten and Jérôme Leroux}, title = {A Generalization of Semenov's Theorem to Automata over Real Numbers}, booktitle = {Automated Deduction, 22nd International Conference, CADE 2009, McGill University, Montreal,August 2 - 7, 2009 Proceedings}, pages = {469-484}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, year = {2009}, volume = {5663}, pdf= {http://www.labri.fr/perso/leroux/published-papers/2009.Boigelot Brusten Leroux.CADE2009.pdf}, editor= {Renate A. Schmidt}, doi= {10.1007/978-3-642-02959-2_34}, }
@InProceedings{LEROUX-LICS2009, author = {Jérôme Leroux}, title = {The General Vector Addition System Reachability Problem by Presburger Inductive Invariants }, booktitle = {24th IEEE Symposium on Logic in Computer Science (LICS 2009), 11-14 August 2009, Los Angeles, California, USA, Proceedings}, year = {2009}, pages = {4-13}, publisher = {IEEE Computer Society}, pdf= {http://www.labri.fr/perso/leroux/published-papers/2009.Leroux.LICS09.pdf}, OPTdoi={}, }
@InProceedings{LEROUX-POINT-TACAS2009, author = {Jérôme Leroux and Gé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}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, year = {2009}, pages = {182-185}, volume = {5505}, pdf= {http://www.labri.fr/perso/leroux/published-papers/2009.Leroux Point.TACAS2009.pdf}, doi = {10.1007/978-3-642-00768-2_18}, }
@article{LEROUX-TCS2008, author = {Jérôme Leroux}, title = {Structural Presburger Digit Vector Automata}, journal = {Theoretical Computer Science}, year = {2008}, publisher = {Elsevier}, volume = {409}, number= {3}, pages={549--556}, pdf= {http://www.labri.fr/perso/leroux/published-papers/2008.Leroux.TCS2008.pdf}, doi= {10.1016/j.tcs.2008.09.037}, }
@Article{BARDIN-FINKEL-LEROUX-PETRUCCI-STTT2008, author = {Sébastien Bardin and Alain Finkel and Jérôme Leroux and Laure Petrucci}, title = {FAST: acceleration from theory to practice}, journal = {International Journal on Software Tools for Technology Transfer (STTT)}, year = {2008}, volume = {10}, number = {5}, pages = {401-424}, ps= {http://www.labri.fr/perso/leroux/published-papers/2008.Bardin Finkel Leroux Petrucci.STTT.ps}, publisher = {Springer}, doi= {10.1007/s10009-008-0064-3}, }
@InProceedings{LEROUX-SAS2008, author = {Jérôme Leroux}, title = {Convex Hull of Arithmetic Automata}, booktitle = {Static Analysis, 15th International Symposium, SAS 2008, Valencia, Spain, Jully 16-18, 2008, Proceedings}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, year = {2008}, pages = {47-61}, volume = {5079}, ps= {http://www.labri.fr/perso/leroux/published-papers/2008.Leroux.SAS2008.ps}, doi= {10.1007/978-3-540-69166-2_4}, }
@InProceedings{BOUCHY-LEROUX-FINKEL-TIME2008, author = {Florent Bouchy and Jérôme Leroux and Alain Finkel}, title = {Decomposition of Decidable First-Order Logics over Integers and Reals}, booktitle = {Temporal Representation and Reasoning, 15th International Symposium, TIME 2008, Montréal, Canada, June 16 - 18, 2008, Proceedings}, publisher = {IEEE Computer Society Press}, year = {2008}, pages = {147-155}, ps = {http://www.labri.fr/perso/leroux/published-papers/2008.Bouchy Finkel Leroux.TIME2008.ps}, doi= {10.1109/TIME.2008.22}, }
@InProceedings{CANIART-FLEURY-LEROUX-ZEITOUN-TACAS2008, author = {Nicolas Caniart and Emmanuel Fleury and Jérôme Leroux and Marc Zeitoun}, title = {Accelerating Interpolation-based Model-Checking}, booktitle = {Tools and Algorithms for the Construction and Analysis of Systems, 14th International Conference, TACAS 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29 - April 6, 2008, Proceedings}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, year = {2008}, pages = {428--442}, volume = {4963}, pdf= {http://www.labri.fr/perso/leroux/published-papers/2008.Caniart Fleury Leroux Zeitoun.TACAS2008.pdf}, doi= {10.1007/978-3-540-78800-3_32}, }
@inproceedings{LEROUX-SUTRE-FSTTCS2007, author = {Jérôme Leroux and Grégoire Sutre}, title = {Acceleration in Convex Data-Flow Analysis}, booktitle = {Foundations of Software Technology and Theoretical Computer Science, 27th International Conference, FSTTCS 2007, New Delhi, India, December 12-14, 2007, Proceedings}, year = {2007}, pages = {520-531}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, volume = {4855}, pdf= {http://www.labri.fr/perso/leroux/published-papers/2007.Leroux Sutre.FSTTCS2007.pdf}, doi= {10.1007/s10009-008-0064-3}, }
@inproceedings{LEROUX-SUTRE-SAS2007, author = {Jérôme Leroux and Grégoire Sutre}, title = {Accelerated Data-Flow Analysis}, booktitle = {Static Analysis, 14th International Symposium, SAS 2007, Kongens Lyngby, Denmark, August 22-24, 2007, Proceedings}, year = {2007}, pages = {184-199}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, volume = {4634}, pdf= {http://www.labri.fr/perso/leroux/published-papers/2007.Leroux Sutre.SAS2007.pdf}, doi= {10.1007/s10009-008-0064-3}, }
@inproceedings{BARDIN-LEROUX-POINT-CAV2006, author = {Sébastien Bardin and Jérôme Leroux and Gérald Point}, title = {FAST Extended Release}, booktitle = {Computer Aided Verification, 18th International Conference, CAV 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings}, year = {2006}, pages = {63-66}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, volume = {4144}, pdf= {http://www.labri.fr/perso/leroux/published-papers/cav06.pdf}, doi ={10.1007/11817963_9}, }
@article{LEROUX-FINKEL-IPL2005, author = {Alain Finkel and Jérôme Leroux}, title = {The convex hull of a regular set of integer vectors is polyhedral and effectively computable}, journal = {Information Processing Letters}, volume = {96}, number = {1}, year = {2005}, pages = {30-35}, ps= {http://www.labri.fr/perso/leroux/published-papers/convexhull.final.IPL.ps}, doi ={10.1016/j.ipl.2005.04.004}, }
@inproceedings{BARDIN-FINKEL-LEROUX-SCH-ATVA2005, author = {Sébastien Bardin and Alain Finkel and Jérôme Leroux and Ph. Schnoebelen}, title = {Flat Acceleration in Symbolic Model Checking}, booktitle = {Automated Technology for Verification and Analysis, Third International Symposium, ATVA 2005, Taipei, Taiwan, October 4-7, 2005, Proceedings}, year = {2005}, pages = {474-488}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, volume = {3707}, pdf= {http://www.labri.fr/perso/leroux/published-papers/BFLS05-atva.pdf}, doi={10.1007/11562948_35}, }
@inproceedings{LEROUX-SUTRE-ATVA2005, author = {Jérôme Leroux and Grégoire Sutre}, title = {Flat Counter Automata Almost Everywhere!}, booktitle = {Automated Technology for Verification and Analysis, Third International Symposium, ATVA 2005, Taipei, Taiwan, October 4-7, 2005, Proceedings}, year = {2005}, pages = {489-503}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, volume = {3707}, ps= {http://www.labri.fr/perso/leroux/published-papers/LerouxSutre-ATVA05.ps}, doi= {10.1007/11562948_36}, }
@inproceedings{LEROUX-LICS2005, author = {Jérôme Leroux}, title = {A Polynomial Time Presburger Criterion and Synthesis for Number Decision Diagrams}, booktitle = {20th IEEE Symposium on Logic in Computer Science (LICS 2005), 26-29 June 2005, Chicago, IL, USA, Proceedings}, year = {2005}, pages = {147-156}, publisher = {IEEE Computer Society}, ps= {http://www.labri.fr/perso/leroux/published-papers/papier.lics05.ps}, doi = {10.1109/LICS.2005.2}, }
@inproceedings{LEROUX-ATVA2004, author = {Jérôme Leroux}, title = {Disjunctive Invariants for Numerical Systems}, booktitle = {Automated Technology for Verification and Analysis: Second International Conference, ATVA 2004, Taipei, Taiwan, ROC, October 31-November 3, 2004. Proceedings}, year = {2004}, pages = {93-107}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, volume = {3299}, ps= {http://www.labri.fr/perso/leroux/published-papers/Ler-atva04.ps}, doi ={10.1007/b102065}, }
@inproceedings{FINKEL-LEROUX-CAV2004, author = {Alain Finkel and Jérôme Leroux}, title = {Image Computation in Infinite State Model Checking}, booktitle = {Computer Aided Verification, 16th International Conference, CAV 2004, Boston, MA, USA, July 13-17, 2004, Proceedings}, year = {2004}, pages = {361-371}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, volume = {3114}, ps= {http://www.labri.fr/perso/leroux/published-papers/FL-cav04.ps}, doi={10.1007/b98490}, }
@inproceedings{LEROUX-SUTRE-CONCUR2004, author = {Jérôme Leroux and Grégoire Sutre}, title = {On Flatness for 2-Dimensional Vector Addition Systems with States}, booktitle = {CONCUR 2004 - Concurrency Theory, 15th International Conference, London, UK, August 31 - September 3, 2004, Proceedings}, year = {2004}, pages = {402-416}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, volume = {3170}, ps= {http://www.labri.fr/perso/leroux/published-papers/LS-concur04.ps}, doi= {10.1007/978-3-540-28644-8_26}, }
@inproceedings{FINKEL-LEROUX-SPIN2004, author = {Alain Finkel and Jérôme Leroux}, title = {Polynomial Time Image Computation with Interval-Definable Counters Systems}, booktitle = {Model Checking Software, 11th International SPIN Workshop, Barcelona, Spain, April 1-3, 2004, Proceedings}, year = {2004}, pages = {182-197}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, volume = {2989}, ps= {http://www.labri.fr/perso/leroux/published-papers/FL-spin04.ps}, doi={10.1007/b96721}, }
@inproceedings{BARDIN-FINKEL-LEROUX-TACAS2004, author = {Sébastien Bardin and Alain Finkel and Jérôme Leroux}, title = {FASTer Acceleration of Counter Automata in Practice}, booktitle = {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}, year = {2004}, pages = {576-590}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, volume = {2988}, ps= {http://www.labri.fr/perso/leroux/published-papers/BFL-tacas04.ps}, doi={10.1007/b96393}, }
@inproceedings{LEROUX-INFINITY03, author = {Jérôme Leroux}, title = {The Affine Hull of a Binary Automaton is Computable in Polynomial Time}, booktitle = {Verification of Infinite-State Systems, 5th International Workshop, INFINITY 2003, Held as Part of the Conference on Concurrency Theory, CONCUR 2003, Marseille, France, September 3-5, 2003, Proceedings}, series= {Electronic Notes Theoritical Computer Science}, publisher= {Elsevier}, volume = {98}, year = {2004}, pages = {89-104}, ps= {http://www.labri.fr/perso/leroux/published-papers/Ler-inf03.ps}, doi={10.1016/j.entcs.2003.10.007}, }
@inproceedings{BARDIN-FINKEL-LEROUX-CAV2003, author = {Sébastien Bardin and Alain Finkel and Jérôme Leroux and Laure Petrucci}, title = {FAST: Fast Acceleration of Symbolikc Transition Systems}, booktitle = {Computer Aided Verification, 15th International Conference, CAV 2003, Boulder, CO, USA, July 8-12, 2003, Proceedings}, year = {2003}, pages = {118-121}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, volume = {2725}, ps= {http://www.labri.fr/perso/leroux/published-papers/FAST-cav03.ps}, doi= {10.1007/b11831}, }
@inproceedings{FINKEL-LEROUX-FSTTCS02, author = {Alain Finkel and Jérôme Leroux}, title = {How to Compose Presburger-Accelerations: Applications to Broadcast Protocols}, booktitle = {Foundations of Software Technology and Theoretical Computer Science, 22th International Conference, FSTTCS 2002, Kanpur, India, December 12-14, 2002, Proceedings}, year = {2002}, pages = {145-156}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, volume = {2556}, ps= {http://www.labri.fr/perso/leroux/published-papers/rr-lsv-2002-14.rr.ps}, doi= {10.1007/3-540-36206-1}, }
@InProceedings{FINKEL-LEROUX-VCL2000, author = {Alain Finkel and Jérôme Leroux}, title = {A finite covering tree for analysing entropic broadcast protocols}, booktitle = {International Workshop on Verification and Computational Logic, VCL 2000, London, July 2000, 2000, Proceedings published as Report DSSE-TR-2000-6, Univ. Southampton, GB}, year = {2000}, editor = {M. Leuschel, A. Podelski, C. R. Ramakrishnan, and U. Ultes-Nitsche}, ps= {http://www.labri.fr/perso/leroux/published-papers/FinLer-vcl2000.ps}, }
This document was translated from BibTEX by bibtex2html