Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Grégoire Sutre
@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 = {Mon, 21 Dec 2020 13:23:22 +0100},
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 = {Tue, 11 Feb 2020 15:52:14 +0100},
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, 14 May 2019 10:00:36 +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}
}
a service of 
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.
last updated on 2023-11-14 02:06 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
