default search action
Search dblp for Publications
export results for "toc:db/conf/rp/rp2015.bht:"
@inproceedings{DBLP:conf/rp/AndreLR15, author = {{\'{E}}tienne Andr{\'{e}} and Didier Lime and Olivier H. Roux}, editor = {Mikolaj Bojanczyk and Slawomir Lasota and Igor Potapov}, title = {Integer-Complete Synthesis for Bounded Parametric Timed Automata}, booktitle = {Reachability Problems - 9th International Workshop, {RP} 2015, Warsaw, Poland, September 21-23, 2015, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {9328}, pages = {7--19}, publisher = {Springer}, year = {2015}, url = {https://doi.org/10.1007/978-3-319-24537-9\_2}, doi = {10.1007/978-3-319-24537-9\_2}, timestamp = {Wed, 06 Nov 2019 16:45:49 +0100}, biburl = {https://dblp.org/rec/conf/rp/AndreLR15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/rp/AndrianariveloR15, author = {Nirina Andrianarivelo and Pierre R{\'{e}}ty}, editor = {Mikolaj Bojanczyk and Slawomir Lasota and Igor Potapov}, title = {Over-Approximating Terms Reachable by Context-Sensitive Rewriting}, booktitle = {Reachability Problems - 9th International Workshop, {RP} 2015, Warsaw, Poland, September 21-23, 2015, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {9328}, pages = {128--139}, publisher = {Springer}, year = {2015}, url = {https://doi.org/10.1007/978-3-319-24537-9\_12}, doi = {10.1007/978-3-319-24537-9\_12}, timestamp = {Fri, 26 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/rp/AndrianariveloR15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/rp/Baier15, author = {Christel Baier}, editor = {Mikolaj Bojanczyk and Slawomir Lasota and Igor Potapov}, title = {Reasoning About Cost-Utility Constraints in Probabilistic Models}, booktitle = {Reachability Problems - 9th International Workshop, {RP} 2015, Warsaw, Poland, September 21-23, 2015, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {9328}, pages = {1--6}, publisher = {Springer}, year = {2015}, url = {https://doi.org/10.1007/978-3-319-24537-9\_1}, doi = {10.1007/978-3-319-24537-9\_1}, timestamp = {Sat, 30 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/rp/Baier15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/rp/BerardHPDS15, author = {B{\'{e}}atrice B{\'{e}}rard and Serge Haddad and Claudine Picaronny and Mohab Safey El Din and Mathieu Sassolas}, editor = {Mikolaj Bojanczyk and Slawomir Lasota and Igor Potapov}, title = {Polynomial Interrupt Timed Automata}, booktitle = {Reachability Problems - 9th International Workshop, {RP} 2015, Warsaw, Poland, September 21-23, 2015, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {9328}, pages = {20--32}, publisher = {Springer}, year = {2015}, url = {https://doi.org/10.1007/978-3-319-24537-9\_3}, doi = {10.1007/978-3-319-24537-9\_3}, timestamp = {Fri, 26 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/rp/BerardHPDS15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/rp/FijalkowS15, author = {Nathana{\"{e}}l Fijalkow and Michal Skrzypczak}, editor = {Mikolaj Bojanczyk and Slawomir Lasota and Igor Potapov}, title = {Irregular Behaviours for Probabilistic Automata}, booktitle = {Reachability Problems - 9th International Workshop, {RP} 2015, Warsaw, Poland, September 21-23, 2015, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {9328}, pages = {33--36}, publisher = {Springer}, year = {2015}, url = {https://doi.org/10.1007/978-3-319-24537-9\_4}, doi = {10.1007/978-3-319-24537-9\_4}, timestamp = {Mon, 03 Jan 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/rp/FijalkowS15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/rp/FribourgGMMP15, author = {Laurent Fribourg and Eric Goubault and Sameh Mohamed and Marian Mrozek and Sylvie Putot}, editor = {Mikolaj Bojanczyk and Slawomir Lasota and Igor Potapov}, title = {A Topological Method for Finding Invariant Sets of Continuous 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 = {63--75}, publisher = {Springer}, year = {2015}, url = {https://doi.org/10.1007/978-3-319-24537-9\_7}, doi = {10.1007/978-3-319-24537-9\_7}, timestamp = {Fri, 26 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/rp/FribourgGMMP15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/rp/Hunter15, author = {Paul Hunter}, editor = {Mikolaj Bojanczyk and Slawomir Lasota and Igor Potapov}, title = {Reachability in Succinct One-Counter Games}, booktitle = {Reachability Problems - 9th International Workshop, {RP} 2015, Warsaw, Poland, September 21-23, 2015, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {9328}, pages = {37--49}, publisher = {Springer}, year = {2015}, url = {https://doi.org/10.1007/978-3-319-24537-9\_5}, doi = {10.1007/978-3-319-24537-9\_5}, timestamp = {Thu, 26 Sep 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/rp/Hunter15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/rp/Jancar15, author = {Petr Jancar}, editor = {Mikolaj Bojanczyk and Slawomir Lasota and Igor Potapov}, title = {On Reachability-Related Games on Vector Addition Systems with States}, booktitle = {Reachability Problems - 9th International Workshop, {RP} 2015, Warsaw, Poland, September 21-23, 2015, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {9328}, pages = {50--62}, publisher = {Springer}, year = {2015}, url = {https://doi.org/10.1007/978-3-319-24537-9\_6}, doi = {10.1007/978-3-319-24537-9\_6}, timestamp = {Sat, 30 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/rp/Jancar15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/rp/LazicS15, author = {Ranko Lazic and Sylvain Schmitz}, editor = {Mikolaj Bojanczyk and Slawomir Lasota and Igor Potapov}, title = {The Ideal View on Rackoff's Coverability Technique}, booktitle = {Reachability Problems - 9th International Workshop, {RP} 2015, Warsaw, Poland, September 21-23, 2015, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {9328}, pages = {76--88}, publisher = {Springer}, year = {2015}, url = {https://doi.org/10.1007/978-3-319-24537-9\_8}, doi = {10.1007/978-3-319-24537-9\_8}, timestamp = {Thu, 22 Jul 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/rp/LazicS15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/rp/Lechner15, author = {Antonia Lechner}, editor = {Mikolaj Bojanczyk and Slawomir Lasota and Igor Potapov}, title = {Synthesis Problems for One-Counter Automata}, booktitle = {Reachability Problems - 9th International Workshop, {RP} 2015, Warsaw, Poland, September 21-23, 2015, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {9328}, pages = {89--100}, publisher = {Springer}, year = {2015}, url = {https://doi.org/10.1007/978-3-319-24537-9\_9}, doi = {10.1007/978-3-319-24537-9\_9}, timestamp = {Fri, 26 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/rp/Lechner15.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} }
@inproceedings{DBLP:conf/rp/Malkis15, author = {Alexander Malkis}, editor = {Mikolaj Bojanczyk and Slawomir Lasota and Igor Potapov}, title = {Multithreaded-Cartesian Abstract Interpretation of Multithreaded Recursive Programs Is Polynomial}, booktitle = {Reachability Problems - 9th International Workshop, {RP} 2015, Warsaw, Poland, September 21-23, 2015, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {9328}, pages = {114--127}, publisher = {Springer}, year = {2015}, url = {https://doi.org/10.1007/978-3-319-24537-9\_11}, doi = {10.1007/978-3-319-24537-9\_11}, timestamp = {Mon, 06 Nov 2017 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/rp/Malkis15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/rp/ShimakawaHY15, author = {Masaya Shimakawa and Shigeki Hagihara and Naoki Yonezaki}, editor = {Mikolaj Bojanczyk and Slawomir Lasota and Igor Potapov}, title = {Reducing Bounded Realizability Analysis to Reachability Checking}, booktitle = {Reachability Problems - 9th International Workshop, {RP} 2015, Warsaw, Poland, September 21-23, 2015, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {9328}, pages = {140--152}, publisher = {Springer}, year = {2015}, url = {https://doi.org/10.1007/978-3-319-24537-9\_13}, doi = {10.1007/978-3-319-24537-9\_13}, timestamp = {Fri, 26 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/rp/ShimakawaHY15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/rp/Yamamura15, author = {Akihiro Yamamura}, editor = {Mikolaj Bojanczyk and Slawomir Lasota and Igor Potapov}, title = {Rearranging Two Dimensional Arrays by Prefix Reversals}, booktitle = {Reachability Problems - 9th International Workshop, {RP} 2015, Warsaw, Poland, September 21-23, 2015, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {9328}, pages = {153--165}, publisher = {Springer}, year = {2015}, url = {https://doi.org/10.1007/978-3-319-24537-9\_14}, doi = {10.1007/978-3-319-24537-9\_14}, timestamp = {Mon, 26 Jun 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/rp/Yamamura15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/rp/Zetzsche15, author = {Georg Zetzsche}, editor = {Mikolaj Bojanczyk and Slawomir Lasota and Igor Potapov}, title = {The Emptiness Problem for Valence Automata or: Another Decidable Extension of Petri Nets}, booktitle = {Reachability Problems - 9th International Workshop, {RP} 2015, Warsaw, Poland, September 21-23, 2015, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {9328}, pages = {166--178}, publisher = {Springer}, year = {2015}, url = {https://doi.org/10.1007/978-3-319-24537-9\_15}, doi = {10.1007/978-3-319-24537-9\_15}, timestamp = {Fri, 02 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/rp/Zetzsche15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/rp/2015, editor = {Mikolaj Bojanczyk and Slawomir Lasota and Igor Potapov}, title = {Reachability Problems - 9th International Workshop, {RP} 2015, Warsaw, Poland, September 21-23, 2015, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {9328}, publisher = {Springer}, year = {2015}, url = {https://doi.org/10.1007/978-3-319-24537-9}, doi = {10.1007/978-3-319-24537-9}, isbn = {978-3-319-24536-2}, timestamp = {Wed, 06 Nov 2019 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/rp/2015.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.