default search action
BibTeX records: Grégoire Sutre
@inproceedings{DBLP:conf/concur/DelpyMS24, author = {Romain Delpy and Anca Muscholl and Gr{\'{e}}goire Sutre}, editor = {Rupak Majumdar and Alexandra Silva}, title = {An Automata-Based Approach for Synchronizable Mailbox Communication}, booktitle = {35th International Conference on Concurrency Theory, {CONCUR} 2024, September 9-13, 2024, Calgary, Canada}, series = {LIPIcs}, volume = {311}, pages = {22:1--22:19}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik}, year = {2024}, url = {https://doi.org/10.4230/LIPIcs.CONCUR.2024.22}, doi = {10.4230/LIPICS.CONCUR.2024.22}, timestamp = {Fri, 30 Aug 2024 16:44:11 +0200}, biburl = {https://dblp.org/rec/conf/concur/DelpyMS24.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2407-06968, author = {Romain Delpy and Anca Muscholl and Gr{\'{e}}goire Sutre}, title = {An automata-based approach for synchronizable mailbox communication}, journal = {CoRR}, volume = {abs/2407.06968}, year = {2024}, url = {https://doi.org/10.48550/arXiv.2407.06968}, doi = {10.48550/ARXIV.2407.06968}, eprinttype = {arXiv}, eprint = {2407.06968}, timestamp = {Fri, 16 Aug 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-2407-06968.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sefm/PintoRST23, author = {Theo De Castro Pinto and Antoine Rollet and Gr{\'{e}}goire Sutre and Ireneusz Tobor}, editor = {Carla Ferreira and Tim A. C. Willemse}, title = {Guiding Symbolic Execution with A-Star}, booktitle = {Software Engineering and Formal Methods - 21st International Conference, {SEFM} 2023, Eindhoven, The Netherlands, November 6-10, 2023, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {14323}, pages = {47--65}, publisher = {Springer}, year = {2023}, url = {https://doi.org/10.1007/978-3-031-47115-5\_4}, doi = {10.1007/978-3-031-47115-5\_4}, timestamp = {Mon, 13 Nov 2023 20:30:30 +0100}, biburl = {https://dblp.org/rec/conf/sefm/PintoRST23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/concur/LerouxS20, author = {J{\'{e}}r{\^{o}}me Leroux and Gr{\'{e}}goire Sutre}, editor = {Igor Konnov and Laura Kov{\'{a}}cs}, title = {Reachability in Two-Dimensional Vector Addition Systems with States: One Test Is for Free}, booktitle = {31st International Conference on Concurrency Theory, {CONCUR} 2020, September 1-4, 2020, Vienna, Austria (Virtual Conference)}, series = {LIPIcs}, volume = {171}, pages = {37:1--37:17}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik}, year = {2020}, url = {https://doi.org/10.4230/LIPIcs.CONCUR.2020.37}, doi = {10.4230/LIPICS.CONCUR.2020.37}, timestamp = {Wed, 21 Aug 2024 22:46:00 +0200}, biburl = {https://dblp.org/rec/conf/concur/LerouxS20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2007-09096, author = {J{\'{e}}r{\^{o}}me Leroux and Gr{\'{e}}goire Sutre}, title = {Reachability in Two-Dimensional Vector Addition Systems with States: One Test is for Free}, journal = {CoRR}, volume = {abs/2007.09096}, year = {2020}, url = {https://arxiv.org/abs/2007.09096}, eprinttype = {arXiv}, eprint = {2007.09096}, timestamp = {Tue, 28 Jul 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-2007-09096.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fuin/JancarLS19, author = {Petr Jancar and J{\'{e}}r{\^{o}}me Leroux and Gr{\'{e}}goire Sutre}, title = {Co-Finiteness and Co-Emptiness of Reachability Sets in Vector Addition Systems with States}, journal = {Fundam. Informaticae}, volume = {169}, number = {1-2}, pages = {123--150}, year = {2019}, url = {https://doi.org/10.3233/FI-2019-1841}, doi = {10.3233/FI-2019-1841}, timestamp = {Sat, 30 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/fuin/JancarLS19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/lmcs/LerouxPSS19, author = {J{\'{e}}r{\^{o}}me Leroux and M. Praveen and Philippe Schnoebelen and Gr{\'{e}}goire Sutre}, title = {On Functions Weakly Computable by Pushdown Petri Nets and Related Systems}, journal = {Log. Methods Comput. Sci.}, volume = {15}, number = {4}, year = {2019}, url = {https://doi.org/10.23638/LMCS-15(4:15)2019}, doi = {10.23638/LMCS-15(4:15)2019}, timestamp = {Tue, 27 Oct 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/lmcs/LerouxPSS19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-1904-04090, author = {J{\'{e}}r{\^{o}}me Leroux and M. Praveen and Philippe Schnoebelen and Gr{\'{e}}goire Sutre}, title = {On Functions Weakly Computable by Pushdown Petri Nets and Related Systems}, journal = {CoRR}, volume = {abs/1904.04090}, year = {2019}, url = {http://arxiv.org/abs/1904.04090}, eprinttype = {arXiv}, eprint = {1904.04090}, timestamp = {Thu, 25 Apr 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-1904-04090.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tcs/GeffroyLS18, author = {Thomas Geffroy and J{\'{e}}r{\^{o}}me Leroux and Gr{\'{e}}goire Sutre}, title = {Occam's Razor applied to the Petri net coverability problem}, journal = {Theor. Comput. Sci.}, volume = {750}, pages = {38--52}, year = {2018}, url = {https://doi.org/10.1016/j.tcs.2018.04.014}, doi = {10.1016/J.TCS.2018.04.014}, timestamp = {Tue, 27 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/tcs/GeffroyLS18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/apn/JancarLS18, author = {Petr Jancar and J{\'{e}}r{\^{o}}me Leroux and Gr{\'{e}}goire Sutre}, editor = {Victor Khomenko and Olivier H. Roux}, title = {Co-finiteness and Co-emptiness of Reachability Sets in Vector Addition Systems with States}, booktitle = {Application and Theory of Petri Nets and Concurrency - 39th International Conference, {PETRI} {NETS} 2018, Bratislava, Slovakia, June 24-29, 2018, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {10877}, pages = {184--203}, publisher = {Springer}, year = {2018}, url = {https://doi.org/10.1007/978-3-319-91268-4\_10}, doi = {10.1007/978-3-319-91268-4\_10}, timestamp = {Sat, 30 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/apn/JancarLS18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fsttcs/FinkelLS18, author = {Alain Finkel and J{\'{e}}r{\^{o}}me Leroux and Gr{\'{e}}goire Sutre}, editor = {Sumit Ganguly and Paritosh K. Pandya}, title = {Reachability for Two-Counter Machines with One Test and One Reset}, booktitle = {38th {IARCS} Annual Conference on Foundations of Software Technology and Theoretical Computer Science, {FSTTCS} 2018, December 11-13, 2018, Ahmedabad, India}, series = {LIPIcs}, volume = {122}, pages = {31:1--31:14}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik}, year = {2018}, url = {https://doi.org/10.4230/LIPIcs.FSTTCS.2018.31}, doi = {10.4230/LIPICS.FSTTCS.2018.31}, timestamp = {Tue, 11 Feb 2020 15:52:14 +0100}, biburl = {https://dblp.org/rec/conf/fsttcs/FinkelLS18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fsttcs/PenelleSS18, author = {Vincent Penelle and Sylvain Salvati and Gr{\'{e}}goire Sutre}, editor = {Sumit Ganguly and Paritosh K. Pandya}, title = {On the Boundedness Problem for Higher-Order Pushdown Vector Addition Systems}, booktitle = {38th {IARCS} Annual Conference on Foundations of Software Technology and Theoretical Computer Science, {FSTTCS} 2018, December 11-13, 2018, Ahmedabad, India}, series = {LIPIcs}, volume = {122}, pages = {44:1--44:20}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik}, year = {2018}, url = {https://doi.org/10.4230/LIPIcs.FSTTCS.2018.44}, doi = {10.4230/LIPICS.FSTTCS.2018.44}, timestamp = {Thu, 02 May 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/fsttcs/PenelleSS18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icalp/FigueiraLLMS17, author = {Diego Figueira and Ranko Lazic and J{\'{e}}r{\^{o}}me Leroux and Filip Mazowiecki and Gr{\'{e}}goire Sutre}, editor = {Ioannis Chatzigiannakis and Piotr Indyk and Fabian Kuhn and Anca Muscholl}, title = {Polynomial-Space Completeness of Reachability for Succinct Branching {VASS} in Dimension One}, booktitle = {44th International Colloquium on Automata, Languages, and Programming, {ICALP} 2017, July 10-14, 2017, Warsaw, Poland}, series = {LIPIcs}, volume = {80}, pages = {119:1--119:14}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik}, year = {2017}, url = {https://doi.org/10.4230/LIPIcs.ICALP.2017.119}, doi = {10.4230/LIPICS.ICALP.2017.119}, timestamp = {Thu, 23 Jun 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/icalp/FigueiraLLMS17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/spin/GeffroyLS17, author = {Thomas Geffroy and J{\'{e}}r{\^{o}}me Leroux and Gr{\'{e}}goire Sutre}, editor = {Hakan Erdogmus and Klaus Havelund}, title = {Backward coverability with pruning for lossy channel systems}, booktitle = {Proceedings of the 24th {ACM} {SIGSOFT} International {SPIN} Symposium on Model Checking of Software, Santa Barbara, CA, USA, July 10-14, 2017}, pages = {132--141}, publisher = {{ACM}}, year = {2017}, url = {https://doi.org/10.1145/3092282.3092292}, doi = {10.1145/3092282.3092292}, timestamp = {Tue, 06 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/spin/GeffroyLS17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/rp/GeffroyLS16, author = {Thomas Geffroy and J{\'{e}}r{\^{o}}me Leroux and Gr{\'{e}}goire Sutre}, editor = {Kim Guldstrand Larsen and Igor Potapov and Jir{\'{\i}} Srba}, title = {Occam's Razor Applied to the Petri Net Coverability Problem}, booktitle = {Reachability Problems - 10th International Workshop, {RP} 2016, Aalborg, Denmark, September 19-21, 2016, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {9899}, pages = {77--89}, publisher = {Springer}, year = {2016}, url = {https://doi.org/10.1007/978-3-319-45994-3\_6}, doi = {10.1007/978-3-319-45994-3\_6}, timestamp = {Tue, 14 May 2019 10:00:51 +0200}, biburl = {https://dblp.org/rec/conf/rp/GeffroyLS16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/GeffroyLS16, author = {Thomas Geffroy and J{\'{e}}r{\^{o}}me Leroux and Gr{\'{e}}goire Sutre}, title = {Occam's Razor Applied to the Petri Net Coverability Problem}, journal = {CoRR}, volume = {abs/1607.05956}, year = {2016}, url = {http://arxiv.org/abs/1607.05956}, eprinttype = {arXiv}, eprint = {1607.05956}, timestamp = {Mon, 13 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/GeffroyLS16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icalp/LerouxST15, author = {J{\'{e}}r{\^{o}}me Leroux and Gr{\'{e}}goire Sutre and Patrick Totzke}, editor = {Magn{\'{u}}s M. Halld{\'{o}}rsson and Kazuo Iwama and Naoki Kobayashi and Bettina Speckmann}, title = {On the Coverability Problem for Pushdown Vector Addition Systems in One Dimension}, booktitle = {Automata, Languages, and Programming - 42nd International Colloquium, {ICALP} 2015, Kyoto, Japan, July 6-10, 2015, Proceedings, Part {II}}, series = {Lecture Notes in Computer Science}, volume = {9135}, pages = {324--336}, publisher = {Springer}, year = {2015}, url = {https://doi.org/10.1007/978-3-662-47666-6\_26}, doi = {10.1007/978-3-662-47666-6\_26}, timestamp = {Fri, 27 Mar 2020 09:02:59 +0100}, biburl = {https://dblp.org/rec/conf/icalp/LerouxST15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/rp/LerouxST15, author = {J{\'{e}}r{\^{o}}me Leroux and Gr{\'{e}}goire Sutre and Patrick Totzke}, editor = {Mikolaj Bojanczyk and Slawomir Lasota and Igor Potapov}, title = {On Boundedness Problems for Pushdown Vector Addition Systems}, booktitle = {Reachability Problems - 9th International Workshop, {RP} 2015, Warsaw, Poland, September 21-23, 2015, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {9328}, pages = {101--113}, publisher = {Springer}, year = {2015}, url = {https://doi.org/10.1007/978-3-319-24537-9\_10}, doi = {10.1007/978-3-319-24537-9\_10}, timestamp = {Sun, 12 Nov 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/rp/LerouxST15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/LerouxST15, author = {J{\'{e}}r{\^{o}}me Leroux and Gr{\'{e}}goire Sutre and Patrick Totzke}, title = {On the Coverability Problem for Pushdown Vector Addition Systems in One Dimension}, journal = {CoRR}, volume = {abs/1503.04018}, year = {2015}, url = {http://arxiv.org/abs/1503.04018}, eprinttype = {arXiv}, eprint = {1503.04018}, timestamp = {Mon, 13 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/LerouxST15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/LerouxST15a, author = {J{\'{e}}r{\^{o}}me Leroux and Gr{\'{e}}goire Sutre and Patrick Totzke}, title = {On Boundedness Problems for Pushdown Vector Addition Systems}, journal = {CoRR}, volume = {abs/1507.07362}, year = {2015}, url = {http://arxiv.org/abs/1507.07362}, eprinttype = {arXiv}, eprint = {1507.07362}, timestamp = {Mon, 13 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/LerouxST15a.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@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}, url = {https://doi.org/10.1007/978-3-319-11936-6\_19}, doi = {10.1007/978-3-319-11936-6\_19}, timestamp = {Tue, 14 May 2019 10:00:49 +0200}, biburl = {https://dblp.org/rec/conf/atva/LerouxPS14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/concur/ClementeHS14, author = {Lorenzo Clemente and Fr{\'{e}}d{\'{e}}ric Herbreteau and Gr{\'{e}}goire Sutre}, editor = {Paolo Baldan and Daniele Gorla}, title = {Decidable Topologies for Communicating Automata with {FIFO} and Bag Channels}, booktitle = {{CONCUR} 2014 - Concurrency Theory - 25th International Conference, {CONCUR} 2014, Rome, Italy, September 2-5, 2014. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {8704}, pages = {281--296}, publisher = {Springer}, year = {2014}, url = {https://doi.org/10.1007/978-3-662-44584-6\_20}, doi = {10.1007/978-3-662-44584-6\_20}, timestamp = {Tue, 14 May 2019 10:00:43 +0200}, biburl = {https://dblp.org/rec/conf/concur/ClementeHS14.bib}, bibsource = {dblp computer science bibliography, https://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:1--63:10}, publisher = {{ACM}}, year = {2014}, url = {https://doi.org/10.1145/2603088.2603146}, doi = {10.1145/2603088.2603146}, timestamp = {Tue, 06 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/csl/LerouxPS14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/concur/LerouxPS13, author = {J{\'{e}}r{\^{o}}me Leroux and M. Praveen and Gr{\'{e}}goire Sutre}, editor = {Pedro R. D'Argenio and Hern{\'{a}}n C. Melgratti}, title = {A Relational Trace Logic for Vector Addition Systems with Application to Context-Freeness}, booktitle = {{CONCUR} 2013 - Concurrency Theory - 24th International Conference, {CONCUR} 2013, Buenos Aires, Argentina, August 27-30, 2013. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {8052}, pages = {137--151}, publisher = {Springer}, year = {2013}, url = {https://doi.org/10.1007/978-3-642-40184-8\_11}, doi = {10.1007/978-3-642-40184-8\_11}, timestamp = {Tue, 14 May 2019 10:00:43 +0200}, biburl = {https://dblp.org/rec/conf/concur/LerouxPS13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fossacs/ClementeHSS13, author = {Lorenzo Clemente and Fr{\'{e}}d{\'{e}}ric Herbreteau and Am{\'{e}}lie Stainer and Gr{\'{e}}goire Sutre}, editor = {Frank Pfenning}, title = {Reachability of Communicating Timed Processes}, booktitle = {Foundations of Software Science and Computation Structures - 16th International Conference, {FOSSACS} 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, {ETAPS} 2013, Rome, Italy, March 16-24, 2013. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {7794}, pages = {81--96}, publisher = {Springer}, year = {2013}, url = {https://doi.org/10.1007/978-3-642-37075-5\_6}, doi = {10.1007/978-3-642-37075-5\_6}, timestamp = {Tue, 14 May 2019 10:00:55 +0200}, biburl = {https://dblp.org/rec/conf/fossacs/ClementeHSS13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@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 = {28th Annual {ACM/IEEE} Symposium on Logic in Computer Science, {LICS} 2013, New Orleans, LA, USA, June 25-28, 2013}, pages = {43--52}, publisher = {{IEEE} Computer Society}, year = {2013}, url = {https://doi.org/10.1109/LICS.2013.9}, doi = {10.1109/LICS.2013.9}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/lics/LerouxPS13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@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 = {Log. Methods Comput. Sci.}, volume = {8}, number = {3}, year = {2012}, url = {https://doi.org/10.2168/LMCS-8(3:23)2012}, doi = {10.2168/LMCS-8(3:23)2012}, timestamp = {Thu, 25 Jun 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-1209-0359.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fsttcs/HeussnerGS12, author = {Alexander Heu{\ss}ner and Tristan Le Gall and Gr{\'{e}}goire Sutre}, editor = {Deepak D'Souza and Telikepalli Kavitha and Jaikumar Radhakrishnan}, title = {Safety Verification of Communicating One-Counter Machines}, booktitle = {{IARCS} Annual Conference on Foundations of Software Technology and Theoretical Computer Science, {FSTTCS} 2012, December 15-17, 2012, Hyderabad, India}, series = {LIPIcs}, volume = {18}, pages = {224--235}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik}, year = {2012}, url = {https://doi.org/10.4230/LIPIcs.FSTTCS.2012.224}, doi = {10.4230/LIPICS.FSTTCS.2012.224}, timestamp = {Wed, 21 Aug 2024 22:46:00 +0200}, biburl = {https://dblp.org/rec/conf/fsttcs/HeussnerGS12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/tacas/HeussnerGS12, author = {Alexander Heu{\ss}ner and Tristan Le Gall and Gr{\'{e}}goire Sutre}, editor = {Cormac Flanagan and Barbara K{\"{o}}nig}, title = {McScM: {A} General Framework for the Verification of Communicating Machines}, booktitle = {Tools and Algorithms for the Construction and Analysis of Systems - 18th International Conference, {TACAS} 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, {ETAPS} 2012, Tallinn, Estonia, March 24 - April 1, 2012. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {7214}, pages = {478--484}, publisher = {Springer}, year = {2012}, url = {https://doi.org/10.1007/978-3-642-28756-5\_34}, doi = {10.1007/978-3-642-28756-5\_34}, timestamp = {Tue, 14 May 2019 10:00:53 +0200}, biburl = {https://dblp.org/rec/conf/tacas/HeussnerGS12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-1209-0571, author = {Lorenzo Clemente and Fr{\'{e}}d{\'{e}}ric Herbreteau and Am{\'{e}}lie Stainer and Gr{\'{e}}goire Sutre}, title = {Reachability of Communicating Timed Processes}, journal = {CoRR}, volume = {abs/1209.0571}, year = {2012}, url = {http://arxiv.org/abs/1209.0571}, eprinttype = {arXiv}, eprint = {1209.0571}, timestamp = {Mon, 13 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-1209-0571.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fossacs/HeussnerLMS10, author = {Alexander Heu{\ss}ner and J{\'{e}}r{\^{o}}me Leroux and Anca Muscholl and Gr{\'{e}}goire Sutre}, editor = {C.{-}H. Luke Ong}, title = {Reachability Analysis of Communicating Pushdown Systems}, 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}, series = {Lecture Notes in Computer Science}, volume = {6014}, pages = {267--281}, publisher = {Springer}, year = {2010}, url = {https://doi.org/10.1007/978-3-642-12032-9\_19}, doi = {10.1007/978-3-642-12032-9\_19}, timestamp = {Wed, 16 Mar 2022 23:55:17 +0100}, biburl = {https://dblp.org/rec/conf/fossacs/HeussnerLMS10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/birthday/GawlitzaLRSSW09, author = {Thomas Gawlitza and J{\'{e}}r{\^{o}}me Leroux and Jan Reineke and Helmut Seidl and Gr{\'{e}}goire Sutre and Reinhard Wilhelm}, editor = {Susanne Albers and Helmut Alt and Stefan N{\"{a}}her}, title = {Polynomial Precise Interval Analysis Revisited}, booktitle = {Efficient Algorithms, Essays Dedicated to Kurt Mehlhorn on the Occasion of His 60th Birthday}, series = {Lecture Notes in Computer Science}, volume = {5760}, pages = {422--437}, publisher = {Springer}, year = {2009}, url = {https://doi.org/10.1007/978-3-642-03456-5\_28}, doi = {10.1007/978-3-642-03456-5\_28}, timestamp = {Wed, 04 Jan 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/birthday/GawlitzaLRSSW09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cmsb/SoueidanSN09, author = {Hayssam Soueidan and Gr{\'{e}}goire Sutre and Macha Nikolski}, editor = {Pierpaolo Degano and Roberto Gorrieri}, title = {Qualitative Transition Systems for the Abstraction and Comparison of Transient Behavior in Parametrized Dynamic Models}, booktitle = {Computational Methods in Systems Biology, 7th International Conference, {CMSB} 2009, Bologna, Italy, August 31-September 1, 2009. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {5688}, pages = {313--327}, publisher = {Springer}, year = {2009}, url = {https://doi.org/10.1007/978-3-642-03845-7\_21}, doi = {10.1007/978-3-642-03845-7\_21}, timestamp = {Tue, 14 May 2019 10:00:49 +0200}, biburl = {https://dblp.org/rec/conf/cmsb/SoueidanSN09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/spin/HeussnerGS09, author = {Alexander Heu{\ss}ner and Tristan Le Gall and Gr{\'{e}}goire Sutre}, editor = {Corina S. Pasareanu}, title = {Extrapolation-Based Path Invariants for Abstraction Refinement of Fifo Systems}, booktitle = {Model Checking Software, 16th International {SPIN} Workshop, Grenoble, France, June 26-28, 2009. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {5578}, pages = {107--124}, publisher = {Springer}, year = {2009}, url = {https://doi.org/10.1007/978-3-642-02652-2\_11}, doi = {10.1007/978-3-642-02652-2\_11}, timestamp = {Tue, 14 May 2019 10:00:36 +0200}, biburl = {https://dblp.org/rec/conf/spin/HeussnerGS09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-0812-2011, author = {J{\'{e}}r{\^{o}}me Leroux and Gr{\'{e}}goire Sutre}, title = {Accelerated Data-Flow Analysis}, journal = {CoRR}, volume = {abs/0812.2011}, year = {2008}, url = {http://arxiv.org/abs/0812.2011}, eprinttype = {arXiv}, eprint = {0812.2011}, timestamp = {Mon, 13 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-0812-2011.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fsttcs/LerouxS07, author = {J{\'{e}}r{\^{o}}me Leroux and Gr{\'{e}}goire Sutre}, editor = {Vikraman Arvind and Sanjiva Prasad}, title = {Acceleration in Convex Data-Flow Analysis}, booktitle = {{FSTTCS} 2007: Foundations of Software Technology and Theoretical Computer Science, 27th International Conference, New Delhi, India, December 12-14, 2007, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {4855}, pages = {520--531}, publisher = {Springer}, year = {2007}, url = {https://doi.org/10.1007/978-3-540-77050-3\_43}, doi = {10.1007/978-3-540-77050-3\_43}, timestamp = {Tue, 14 May 2019 10:00:51 +0200}, biburl = {https://dblp.org/rec/conf/fsttcs/LerouxS07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sas/LerouxS07, author = {J{\'{e}}r{\^{o}}me Leroux and Gr{\'{e}}goire Sutre}, editor = {Hanne Riis Nielson and Gilberto Fil{\'{e}}}, title = {Accelerated Data-Flow Analysis}, booktitle = {Static Analysis, 14th International Symposium, {SAS} 2007, Kongens Lyngby, Denmark, August 22-24, 2007, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {4634}, pages = {184--199}, publisher = {Springer}, year = {2007}, url = {https://doi.org/10.1007/978-3-540-74061-2\_12}, doi = {10.1007/978-3-540-74061-2\_12}, timestamp = {Tue, 14 May 2019 10:00:52 +0200}, biburl = {https://dblp.org/rec/conf/sas/LerouxS07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/tacas/HerbreteauST07, author = {Fr{\'{e}}d{\'{e}}ric Herbreteau and Gr{\'{e}}goire Sutre and The Quang Tran}, editor = {Orna Grumberg and Michael Huth}, title = {Unfolding Concurrent Well-Structured Transition Systems}, booktitle = {Tools and Algorithms for the Construction and Analysis of Systems, 13th International Conference, {TACAS} 2007, Held as Part of the Joint European Conferences on Theory and Practice of Software, {ETAPS} 2007 Braga, Portugal, March 24 - April 1, 2007, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {4424}, pages = {706--720}, publisher = {Springer}, year = {2007}, url = {https://doi.org/10.1007/978-3-540-71209-1\_55}, doi = {10.1007/978-3-540-71209-1\_55}, timestamp = {Mon, 11 Sep 2023 15:43:49 +0200}, biburl = {https://dblp.org/rec/conf/tacas/HerbreteauST07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/dagstuhl/LerouxS06, author = {J{\'{e}}r{\^{o}}me Leroux and Gr{\'{e}}goire Sutre}, editor = {Parosh Aziz Abdulla and Ahmed Bouajjani and Markus M{\"{u}}ller{-}Olm}, title = {Flat counter automata almost everywhere!}, booktitle = {Software Verification: Infinite-State Model Checking and Static Program Analysis, 19.02. - 24.02.2006}, series = {Dagstuhl Seminar Proceedings}, volume = {06081}, publisher = {Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany}, year = {2006}, url = {http://drops.dagstuhl.de/opus/volltexte/2006/729}, timestamp = {Thu, 10 Jun 2021 13:02:06 +0200}, biburl = {https://dblp.org/rec/conf/dagstuhl/LerouxS06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/atva/LerouxS05, author = {J{\'{e}}r{\^{o}}me Leroux and Gr{\'{e}}goire Sutre}, editor = {Doron A. Peled and Yih{-}Kuen Tsay}, 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}, series = {Lecture Notes in Computer Science}, volume = {3707}, pages = {489--503}, publisher = {Springer}, year = {2005}, url = {https://doi.org/10.1007/11562948\_36}, doi = {10.1007/11562948\_36}, timestamp = {Tue, 14 May 2019 10:00:49 +0200}, biburl = {https://dblp.org/rec/conf/atva/LerouxS05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/concur/LerouxS04, author = {J{\'{e}}r{\^{o}}me Leroux and Gr{\'{e}}goire Sutre}, editor = {Philippa Gardner and Nobuko Yoshida}, 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}, series = {Lecture Notes in Computer Science}, volume = {3170}, pages = {402--416}, publisher = {Springer}, year = {2004}, url = {https://doi.org/10.1007/978-3-540-28644-8\_26}, doi = {10.1007/978-3-540-28644-8\_26}, timestamp = {Fri, 27 Mar 2020 08:51:56 +0100}, biburl = {https://dblp.org/rec/conf/concur/LerouxS04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@incollection{DBLP:books/kl/04/BreantCGKMPPRS04, author = {Fran{\c{c}}ois Breant and Jean{-}Michel Couvreur and Fr{\'{e}}d{\'{e}}ric Gilliers and Fabrice Kordon and Isabelle Mounier and Emmanuel Paviot{-}Adet and Denis Poitrenaud and Dan Marius Regep and Gr{\'{e}}goire Sutre}, editor = {Fabrice Kordon and Michel Lemoine}, title = {Modeling and verifying behavioral aspects}, booktitle = {Formal Methods for Embedded Distributed Systems - How to Master the Complexity}, pages = {171--211}, publisher = {Kluwer}, year = {2004}, url = {https://doi.org/10.1007/1-4020-7997-4\_6}, doi = {10.1007/1-4020-7997-4\_6}, timestamp = {Mon, 18 May 2020 15:38:59 +0200}, biburl = {https://dblp.org/rec/books/kl/04/BreantCGKMPPRS04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/iandc/FinkelIS03, author = {Alain Finkel and S. Purushothaman Iyer and Gr{\'{e}}goire Sutre}, title = {Well-abstracted transition systems: application to {FIFO} automata}, journal = {Inf. Comput.}, volume = {181}, number = {1}, pages = {1--31}, year = {2003}, url = {https://doi.org/10.1016/S0890-5401(02)00027-5}, doi = {10.1016/S0890-5401(02)00027-5}, timestamp = {Fri, 12 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/iandc/FinkelIS03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lpar/CouvreurSS03, author = {Jean{-}Michel Couvreur and Nasser Saheb and Gr{\'{e}}goire Sutre}, editor = {Moshe Y. Vardi and Andrei Voronkov}, title = {An Optimal Automata Approach to {LTL} Model Checking of Probabilistic Systems}, booktitle = {Logic for Programming, Artificial Intelligence, and Reasoning, 10th International Conference, {LPAR} 2003, Almaty, Kazakhstan, September 22-26, 2003, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {2850}, pages = {361--375}, publisher = {Springer}, year = {2003}, url = {https://doi.org/10.1007/978-3-540-39813-4\_26}, doi = {10.1007/978-3-540-39813-4\_26}, timestamp = {Tue, 14 May 2019 10:00:55 +0200}, biburl = {https://dblp.org/rec/conf/lpar/CouvreurSS03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/spin/HenzingerJMS03, author = {Thomas A. Henzinger and Ranjit Jhala and Rupak Majumdar and Gr{\'{e}}goire Sutre}, editor = {Thomas Ball and Sriram K. Rajamani}, title = {Software Verification with {BLAST}}, booktitle = {Model Checking Software, 10th International {SPIN} Workshop. Portland, OR, USA, May 9-10, 2003, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {2648}, pages = {235--239}, publisher = {Springer}, year = {2003}, url = {https://doi.org/10.1007/3-540-44829-2\_17}, doi = {10.1007/3-540-44829-2\_17}, timestamp = {Tue, 09 Jul 2024 07:54:49 +0200}, biburl = {https://dblp.org/rec/conf/spin/HenzingerJMS03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cav/HenzingerJMNSW02, author = {Thomas A. Henzinger and Ranjit Jhala and Rupak Majumdar and George C. Necula and Gr{\'{e}}goire Sutre and Westley Weimer}, editor = {Ed Brinksma and Kim Guldstrand Larsen}, title = {Temporal-Safety Proofs for Systems Code}, booktitle = {Computer Aided Verification, 14th International Conference, {CAV} 2002,Copenhagen, Denmark, July 27-31, 2002, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {2404}, pages = {526--538}, publisher = {Springer}, year = {2002}, url = {https://doi.org/10.1007/3-540-45657-0\_45}, doi = {10.1007/3-540-45657-0\_45}, timestamp = {Tue, 14 May 2019 10:00:43 +0200}, biburl = {https://dblp.org/rec/conf/cav/HenzingerJMNSW02.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/latin/HerbreteauCFRS02, author = {Fr{\'{e}}d{\'{e}}ric Herbreteau and Franck Cassez and Alain Finkel and Olivier F. Roux and Gr{\'{e}}goire Sutre}, editor = {Sergio Rajsbaum}, title = {Verification of Embedded Reactive Fiffo Systems}, booktitle = {{LATIN} 2002: Theoretical Informatics, 5th Latin American Symposium, Cancun, Mexico, April 3-6, 2002, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {2286}, pages = {400--414}, publisher = {Springer}, year = {2002}, url = {https://doi.org/10.1007/3-540-45995-2\_36}, doi = {10.1007/3-540-45995-2\_36}, timestamp = {Tue, 14 May 2019 10:00:53 +0200}, biburl = {https://dblp.org/rec/conf/latin/HerbreteauCFRS02.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/popl/HenzingerJMS02, author = {Thomas A. Henzinger and Ranjit Jhala and Rupak Majumdar and Gr{\'{e}}goire Sutre}, editor = {John Launchbury and John C. Mitchell}, title = {Lazy abstraction}, booktitle = {Conference Record of {POPL} 2002: The 29th {SIGPLAN-SIGACT} Symposium on Principles of Programming Languages, Portland, OR, USA, January 16-18, 2002}, pages = {58--70}, publisher = {{ACM}}, year = {2002}, url = {https://doi.org/10.1145/503272.503279}, doi = {10.1145/503272.503279}, timestamp = {Wed, 07 Jul 2021 17:30:33 +0200}, biburl = {https://dblp.org/rec/conf/popl/HenzingerJMS02.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/concur/FinkelIS00, author = {Alain Finkel and S. Purushothaman Iyer and Gr{\'{e}}goire Sutre}, editor = {Catuscia Palamidessi}, title = {Well-Abstracted Transition Systems}, booktitle = {{CONCUR} 2000 - Concurrency Theory, 11th International Conference, University Park, PA, USA, August 22-25, 2000, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {1877}, pages = {566--580}, publisher = {Springer}, year = {2000}, url = {https://doi.org/10.1007/3-540-44618-4\_40}, doi = {10.1007/3-540-44618-4\_40}, timestamp = {Tue, 14 May 2019 10:00:43 +0200}, biburl = {https://dblp.org/rec/conf/concur/FinkelIS00.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/mfcs/FinkelS00, author = {Alain Finkel and Gr{\'{e}}goire Sutre}, editor = {Mogens Nielsen and Branislav Rovan}, title = {An Algorithm Constructing the Semilinear Post\({}^{\mbox{*}}\) for 2-Dim Reset/Transfer {VASS}}, booktitle = {Mathematical Foundations of Computer Science 2000, 25th International Symposium, {MFCS} 2000, Bratislava, Slovakia, August 28 - September 1, 2000, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {1893}, pages = {353--362}, publisher = {Springer}, year = {2000}, url = {https://doi.org/10.1007/3-540-44612-5\_31}, doi = {10.1007/3-540-44612-5\_31}, timestamp = {Tue, 14 May 2019 10:00:37 +0200}, biburl = {https://dblp.org/rec/conf/mfcs/FinkelS00.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/stacs/FinkelS00, author = {Alain Finkel and Gr{\'{e}}goire Sutre}, editor = {Horst Reichel and Sophie Tison}, title = {Decidability of Reachability Problems for Classes of Two Counters Automata}, booktitle = {{STACS} 2000, 17th Annual Symposium on Theoretical Aspects of Computer Science, Lille, France, February 2000, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {1770}, pages = {346--357}, publisher = {Springer}, year = {2000}, url = {https://doi.org/10.1007/3-540-46541-3\_29}, doi = {10.1007/3-540-46541-3\_29}, timestamp = {Tue, 14 May 2019 10:00:48 +0200}, biburl = {https://dblp.org/rec/conf/stacs/FinkelS00.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/amast/SutreFRC98, author = {Gr{\'{e}}goire Sutre and Alain Finkel and Olivier F. Roux and Franck Cassez}, editor = {Armando Martin Haeberer}, title = {Effective Recognizability and Model Checking of Reactive Fiffo Automata}, booktitle = {Algebraic Methodology and Software Technology, 7th International Conference, {AMAST} '98, Amazonia, Brasil, January 4-8, 1999, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {1548}, pages = {106--123}, publisher = {Springer}, year = {1998}, url = {https://doi.org/10.1007/3-540-49253-4\_10}, doi = {10.1007/3-540-49253-4\_10}, timestamp = {Tue, 14 May 2019 10:00:38 +0200}, biburl = {https://dblp.org/rec/conf/amast/SutreFRC98.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.