Search dblp for Publications

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

 download as .bib file

@inproceedings{DBLP:conf/rp/BazilleBGP14,
  author       = {Hugo Bazille and
                  Olivier Bournez and
                  Walid Gomaa and
                  Amaury Pouly},
  editor       = {Jo{\"{e}}l Ouaknine and
                  Igor Potapov and
                  James Worrell},
  title        = {On The Complexity of Bounded Time Reachability for Piecewise Affine
                  Systems},
  booktitle    = {Reachability Problems - 8th International Workshop, {RP} 2014, Oxford,
                  UK, September 22-24, 2014. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8762},
  pages        = {20--31},
  publisher    = {Springer},
  year         = {2014},
  url          = {https://doi.org/10.1007/978-3-319-11439-2\_2},
  doi          = {10.1007/978-3-319-11439-2\_2},
  timestamp    = {Mon, 16 Aug 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/rp/BazilleBGP14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/rp/BellCJ14,
  author       = {Paul C. Bell and
                  Shang Chen and
                  Lisa M. Jackson},
  editor       = {Jo{\"{e}}l Ouaknine and
                  Igor Potapov and
                  James Worrell},
  title        = {Reachability and Mortality Problems for Restricted Hierarchical Piecewise
                  Constant Derivatives},
  booktitle    = {Reachability Problems - 8th International Workshop, {RP} 2014, Oxford,
                  UK, September 22-24, 2014. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8762},
  pages        = {32--44},
  publisher    = {Springer},
  year         = {2014},
  url          = {https://doi.org/10.1007/978-3-319-11439-2\_3},
  doi          = {10.1007/978-3-319-11439-2\_3},
  timestamp    = {Thu, 06 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/rp/BellCJ14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/rp/BolligGS14,
  author       = {Benedikt Bollig and
                  Paul Gastin and
                  Jana Schubert},
  editor       = {Jo{\"{e}}l Ouaknine and
                  Igor Potapov and
                  James Worrell},
  title        = {Parameterized Verification of Communicating Automata under Context
                  Bounds},
  booktitle    = {Reachability Problems - 8th International Workshop, {RP} 2014, Oxford,
                  UK, September 22-24, 2014. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8762},
  pages        = {45--57},
  publisher    = {Springer},
  year         = {2014},
  url          = {https://doi.org/10.1007/978-3-319-11439-2\_4},
  doi          = {10.1007/978-3-319-11439-2\_4},
  timestamp    = {Fri, 26 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/rp/BolligGS14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/rp/CarayolH14,
  author       = {Arnaud Carayol and
                  Matthew Hague},
  editor       = {Jo{\"{e}}l Ouaknine and
                  Igor Potapov and
                  James Worrell},
  title        = {Regular Strategies in Pushdown Reachability Games},
  booktitle    = {Reachability Problems - 8th International Workshop, {RP} 2014, Oxford,
                  UK, September 22-24, 2014. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8762},
  pages        = {58--71},
  publisher    = {Springer},
  year         = {2014},
  url          = {https://doi.org/10.1007/978-3-319-11439-2\_5},
  doi          = {10.1007/978-3-319-11439-2\_5},
  timestamp    = {Fri, 26 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/rp/CarayolH14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/rp/DelzannoS14,
  author       = {Giorgio Delzanno and
                  Jan St{\"{u}}ckrath},
  editor       = {Jo{\"{e}}l Ouaknine and
                  Igor Potapov and
                  James Worrell},
  title        = {Parameterized Verification of Graph Transformation Systems with Whole
                  Neighbourhood Operations},
  booktitle    = {Reachability Problems - 8th International Workshop, {RP} 2014, Oxford,
                  UK, September 22-24, 2014. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8762},
  pages        = {72--84},
  publisher    = {Springer},
  year         = {2014},
  url          = {https://doi.org/10.1007/978-3-319-11439-2\_6},
  doi          = {10.1007/978-3-319-11439-2\_6},
  timestamp    = {Fri, 26 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/rp/DelzannoS14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/rp/DemriDS14,
  author       = {St{\'{e}}phane Demri and
                  Amit Kumar Dhar and
                  Arnaud Sangnier},
  editor       = {Jo{\"{e}}l Ouaknine and
                  Igor Potapov and
                  James Worrell},
  title        = {Equivalence Between Model-Checking Flat Counter Systems and Presburger
                  Arithmetic},
  booktitle    = {Reachability Problems - 8th International Workshop, {RP} 2014, Oxford,
                  UK, September 22-24, 2014. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8762},
  pages        = {85--97},
  publisher    = {Springer},
  year         = {2014},
  url          = {https://doi.org/10.1007/978-3-319-11439-2\_7},
  doi          = {10.1007/978-3-319-11439-2\_7},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/rp/DemriDS14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/rp/GeeraertsGS14,
  author       = {Gilles Geeraerts and
                  Jo{\"{e}}l Goossens and
                  Am{\'{e}}lie Stainer},
  editor       = {Jo{\"{e}}l Ouaknine and
                  Igor Potapov and
                  James Worrell},
  title        = {Synthesising Succinct Strategies in Safety and Reachability Games},
  booktitle    = {Reachability Problems - 8th International Workshop, {RP} 2014, Oxford,
                  UK, September 22-24, 2014. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8762},
  pages        = {98--111},
  publisher    = {Springer},
  year         = {2014},
  url          = {https://doi.org/10.1007/978-3-319-11439-2\_8},
  doi          = {10.1007/978-3-319-11439-2\_8},
  timestamp    = {Fri, 26 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/rp/GeeraertsGS14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/rp/HaaseH14,
  author       = {Christoph Haase and
                  Simon Halfon},
  editor       = {Jo{\"{e}}l Ouaknine and
                  Igor Potapov and
                  James Worrell},
  title        = {Integer Vector Addition Systems with States},
  booktitle    = {Reachability Problems - 8th International Workshop, {RP} 2014, Oxford,
                  UK, September 22-24, 2014. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8762},
  pages        = {112--124},
  publisher    = {Springer},
  year         = {2014},
  url          = {https://doi.org/10.1007/978-3-319-11439-2\_9},
  doi          = {10.1007/978-3-319-11439-2\_9},
  timestamp    = {Sat, 16 Sep 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/rp/HaaseH14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/rp/HaddadM14,
  author       = {Serge Haddad and
                  Benjamin Monmege},
  editor       = {Jo{\"{e}}l Ouaknine and
                  Igor Potapov and
                  James Worrell},
  title        = {Reachability in MDPs: Refining Convergence of Value Iteration},
  booktitle    = {Reachability Problems - 8th International Workshop, {RP} 2014, Oxford,
                  UK, September 22-24, 2014. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8762},
  pages        = {125--137},
  publisher    = {Springer},
  year         = {2014},
  url          = {https://doi.org/10.1007/978-3-319-11439-2\_10},
  doi          = {10.1007/978-3-319-11439-2\_10},
  timestamp    = {Tue, 29 Dec 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/rp/HaddadM14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/rp/Ho14,
  author       = {Hsi{-}Ming Ho},
  editor       = {Jo{\"{e}}l Ouaknine and
                  Igor Potapov and
                  James Worrell},
  title        = {On the Expressiveness of Metric Temporal Logic over Bounded Timed
                  Words},
  booktitle    = {Reachability Problems - 8th International Workshop, {RP} 2014, Oxford,
                  UK, September 22-24, 2014. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8762},
  pages        = {138--150},
  publisher    = {Springer},
  year         = {2014},
  url          = {https://doi.org/10.1007/978-3-319-11439-2\_11},
  doi          = {10.1007/978-3-319-11439-2\_11},
  timestamp    = {Fri, 26 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/rp/Ho14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/rp/HofmanT14,
  author       = {Piotr Hofman and
                  Patrick Totzke},
  editor       = {Jo{\"{e}}l Ouaknine and
                  Igor Potapov and
                  James Worrell},
  title        = {Trace Inclusion for One-Counter Nets Revisited},
  booktitle    = {Reachability Problems - 8th International Workshop, {RP} 2014, Oxford,
                  UK, September 22-24, 2014. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8762},
  pages        = {151--162},
  publisher    = {Springer},
  year         = {2014},
  url          = {https://doi.org/10.1007/978-3-319-11439-2\_12},
  doi          = {10.1007/978-3-319-11439-2\_12},
  timestamp    = {Sun, 12 Nov 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/rp/HofmanT14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/rp/HunterPR14,
  author       = {Paul Hunter and
                  Guillermo A. P{\'{e}}rez and
                  Jean{-}Fran{\c{c}}ois Raskin},
  editor       = {Jo{\"{e}}l Ouaknine and
                  Igor Potapov and
                  James Worrell},
  title        = {Mean-Payoff Games with Partial-Observation - (Extended Abstract)},
  booktitle    = {Reachability Problems - 8th International Workshop, {RP} 2014, Oxford,
                  UK, September 22-24, 2014. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8762},
  pages        = {163--175},
  publisher    = {Springer},
  year         = {2014},
  url          = {https://doi.org/10.1007/978-3-319-11439-2\_13},
  doi          = {10.1007/978-3-319-11439-2\_13},
  timestamp    = {Thu, 08 Apr 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/rp/HunterPR14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/rp/JovanovicK14,
  author       = {Aleksandra Jovanovic and
                  Marta Z. Kwiatkowska},
  editor       = {Jo{\"{e}}l Ouaknine and
                  Igor Potapov and
                  James Worrell},
  title        = {Parameter Synthesis for Probabilistic Timed Automata Using Stochastic
                  Game Abstractions},
  booktitle    = {Reachability Problems - 8th International Workshop, {RP} 2014, Oxford,
                  UK, September 22-24, 2014. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8762},
  pages        = {176--189},
  publisher    = {Springer},
  year         = {2014},
  url          = {https://doi.org/10.1007/978-3-319-11439-2\_14},
  doi          = {10.1007/978-3-319-11439-2\_14},
  timestamp    = {Wed, 26 Jan 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/rp/JovanovicK14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/rp/LerouxS14,
  author       = {J{\'{e}}r{\^{o}}me Leroux and
                  Philippe Schnoebelen},
  editor       = {Jo{\"{e}}l Ouaknine and
                  Igor Potapov and
                  James Worrell},
  title        = {On Functions Weakly Computable by Petri Nets and Vector Addition Systems},
  booktitle    = {Reachability Problems - 8th International Workshop, {RP} 2014, Oxford,
                  UK, September 22-24, 2014. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8762},
  pages        = {190--202},
  publisher    = {Springer},
  year         = {2014},
  url          = {https://doi.org/10.1007/978-3-319-11439-2\_15},
  doi          = {10.1007/978-3-319-11439-2\_15},
  timestamp    = {Fri, 26 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/rp/LerouxS14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/rp/MahdiF14,
  author       = {Ahmed Mahdi and
                  Martin Fr{\"{a}}nzle},
  editor       = {Jo{\"{e}}l Ouaknine and
                  Igor Potapov and
                  James Worrell},
  title        = {Generalized Craig Interpolation for Stochastic Satisfiability Modulo
                  Theory Problems},
  booktitle    = {Reachability Problems - 8th International Workshop, {RP} 2014, Oxford,
                  UK, September 22-24, 2014. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8762},
  pages        = {203--215},
  publisher    = {Springer},
  year         = {2014},
  url          = {https://doi.org/10.1007/978-3-319-11439-2\_16},
  doi          = {10.1007/978-3-319-11439-2\_16},
  timestamp    = {Thu, 23 Jun 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/rp/MahdiF14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/rp/MahdiWF14,
  author       = {Ahmed Mahdi and
                  Bernd Westphal and
                  Martin Fr{\"{a}}nzle},
  editor       = {Jo{\"{e}}l Ouaknine and
                  Igor Potapov and
                  James Worrell},
  title        = {Transformations for Compositional Verification of Assumption-Commitment
                  Properties},
  booktitle    = {Reachability Problems - 8th International Workshop, {RP} 2014, Oxford,
                  UK, September 22-24, 2014. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8762},
  pages        = {216--229},
  publisher    = {Springer},
  year         = {2014},
  url          = {https://doi.org/10.1007/978-3-319-11439-2\_17},
  doi          = {10.1007/978-3-319-11439-2\_17},
  timestamp    = {Thu, 23 Jun 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/rp/MahdiWF14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/rp/RathkeSS14,
  author       = {Julian Rathke and
                  Pawel Sobocinski and
                  Owen Stephens},
  editor       = {Jo{\"{e}}l Ouaknine and
                  Igor Potapov and
                  James Worrell},
  title        = {Compositional Reachability in Petri Nets},
  booktitle    = {Reachability Problems - 8th International Workshop, {RP} 2014, Oxford,
                  UK, September 22-24, 2014. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8762},
  pages        = {230--243},
  publisher    = {Springer},
  year         = {2014},
  url          = {https://doi.org/10.1007/978-3-319-11439-2\_18},
  doi          = {10.1007/978-3-319-11439-2\_18},
  timestamp    = {Tue, 21 Apr 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/rp/RathkeSS14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/rp/Schmitz14,
  author       = {Sylvain Schmitz},
  editor       = {Jo{\"{e}}l Ouaknine and
                  Igor Potapov and
                  James Worrell},
  title        = {Complexity Bounds for Ordinal-Based Termination - (Invited Talk)},
  booktitle    = {Reachability Problems - 8th International Workshop, {RP} 2014, Oxford,
                  UK, September 22-24, 2014. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8762},
  pages        = {1--19},
  publisher    = {Springer},
  year         = {2014},
  url          = {https://doi.org/10.1007/978-3-319-11439-2\_1},
  doi          = {10.1007/978-3-319-11439-2\_1},
  timestamp    = {Mon, 05 Jun 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/rp/Schmitz14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/rp/2014,
  editor       = {Jo{\"{e}}l Ouaknine and
                  Igor Potapov and
                  James Worrell},
  title        = {Reachability Problems - 8th International Workshop, {RP} 2014, Oxford,
                  UK, September 22-24, 2014. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8762},
  publisher    = {Springer},
  year         = {2014},
  url          = {https://doi.org/10.1007/978-3-319-11439-2},
  doi          = {10.1007/978-3-319-11439-2},
  isbn         = {978-3-319-11438-5},
  timestamp    = {Tue, 14 May 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/rp/2014.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.