Search dblp for Publications

export results for "toc:db/conf/rp/rp2015.bht:"

 download as .bib file

@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    = {Sat, 16 Sep 2017 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}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics

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.