Search dblp for Publications

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

 download as .bib file

@inproceedings{DBLP:conf/rp/AkshayHJR12,
  author       = {S. Akshay and
                  Lo{\"{\i}}c H{\'{e}}lou{\"{e}}t and
                  Claude Jard and
                  Pierre{-}Alain Reynier},
  editor       = {Alain Finkel and
                  J{\'{e}}r{\^{o}}me Leroux and
                  Igor Potapov},
  title        = {Robustness of Time Petri Nets under Guard Enlargement},
  booktitle    = {Reachability Problems - 6th International Workshop, {RP} 2012, Bordeaux,
                  France, September 17-19, 2012. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7550},
  pages        = {92--106},
  publisher    = {Springer},
  year         = {2012},
  url          = {https://doi.org/10.1007/978-3-642-33512-9\_9},
  doi          = {10.1007/978-3-642-33512-9\_9},
  timestamp    = {Tue, 30 Nov 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/rp/AkshayHJR12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/rp/BenvenutiBCFGV12,
  author       = {Luca Benvenuti and
                  Davide Bresolin and
                  Pieter Collins and
                  Alberto Ferrari and
                  Luca Geretti and
                  Tiziano Villa},
  editor       = {Alain Finkel and
                  J{\'{e}}r{\^{o}}me Leroux and
                  Igor Potapov},
  title        = {Ariadne: Dominance Checking of Nonlinear Hybrid Automata Using Reachability
                  Analysis},
  booktitle    = {Reachability Problems - 6th International Workshop, {RP} 2012, Bordeaux,
                  France, September 17-19, 2012. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7550},
  pages        = {79--91},
  publisher    = {Springer},
  year         = {2012},
  url          = {https://doi.org/10.1007/978-3-642-33512-9\_8},
  doi          = {10.1007/978-3-642-33512-9\_8},
  timestamp    = {Thu, 15 Jun 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/rp/BenvenutiBCFGV12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/rp/BojanczykL12,
  author       = {Mikolaj Bojanczyk and
                  Slawomir Lasota},
  editor       = {Alain Finkel and
                  J{\'{e}}r{\^{o}}me Leroux and
                  Igor Potapov},
  title        = {Fraenkel-Mostowski Sets with Non-homogeneous Atoms},
  booktitle    = {Reachability Problems - 6th International Workshop, {RP} 2012, Bordeaux,
                  France, September 17-19, 2012. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7550},
  pages        = {1--5},
  publisher    = {Springer},
  year         = {2012},
  url          = {https://doi.org/10.1007/978-3-642-33512-9\_1},
  doi          = {10.1007/978-3-642-33512-9\_1},
  timestamp    = {Wed, 06 Nov 2019 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/rp/BojanczykL12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/rp/BrocchiM12,
  author       = {Stefano Brocchi and
                  Paolo Massazza},
  editor       = {Alain Finkel and
                  J{\'{e}}r{\^{o}}me Leroux and
                  Igor Potapov},
  title        = {Smooth Sand Piles},
  booktitle    = {Reachability Problems - 6th International Workshop, {RP} 2012, Bordeaux,
                  France, September 17-19, 2012. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7550},
  pages        = {66--78},
  publisher    = {Springer},
  year         = {2012},
  url          = {https://doi.org/10.1007/978-3-642-33512-9\_7},
  doi          = {10.1007/978-3-642-33512-9\_7},
  timestamp    = {Fri, 26 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/rp/BrocchiM12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/rp/Felscher12,
  author       = {Ingo Felscher},
  editor       = {Alain Finkel and
                  J{\'{e}}r{\^{o}}me Leroux and
                  Igor Potapov},
  title        = {LTL-Model-Checking via Model Composition},
  booktitle    = {Reachability Problems - 6th International Workshop, {RP} 2012, Bordeaux,
                  France, September 17-19, 2012. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7550},
  pages        = {42--53},
  publisher    = {Springer},
  year         = {2012},
  url          = {https://doi.org/10.1007/978-3-642-33512-9\_5},
  doi          = {10.1007/978-3-642-33512-9\_5},
  timestamp    = {Fri, 26 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/rp/Felscher12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/rp/GhorbalDKIG12,
  author       = {Khalil Ghorbal and
                  Parasara Sridhar Duggirala and
                  Vineet Kahlon and
                  Franjo Ivancic and
                  Aarti Gupta},
  editor       = {Alain Finkel and
                  J{\'{e}}r{\^{o}}me Leroux and
                  Igor Potapov},
  title        = {Efficient Probabilistic Model Checking of Systems with Ranged Probabilities},
  booktitle    = {Reachability Problems - 6th International Workshop, {RP} 2012, Bordeaux,
                  France, September 17-19, 2012. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7550},
  pages        = {107--120},
  publisher    = {Springer},
  year         = {2012},
  url          = {https://doi.org/10.1007/978-3-642-33512-9\_10},
  doi          = {10.1007/978-3-642-33512-9\_10},
  timestamp    = {Fri, 26 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/rp/GhorbalDKIG12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/rp/HaaseOW12,
  author       = {Christoph Haase and
                  Jo{\"{e}}l Ouaknine and
                  James Worrell},
  editor       = {Alain Finkel and
                  J{\'{e}}r{\^{o}}me Leroux and
                  Igor Potapov},
  title        = {On the Relationship between Reachability Problems in Timed and Counter
                  Automata},
  booktitle    = {Reachability Problems - 6th International Workshop, {RP} 2012, Bordeaux,
                  France, September 17-19, 2012. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7550},
  pages        = {54--65},
  publisher    = {Springer},
  year         = {2012},
  url          = {https://doi.org/10.1007/978-3-642-33512-9\_6},
  doi          = {10.1007/978-3-642-33512-9\_6},
  timestamp    = {Sat, 16 Sep 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/rp/HaaseOW12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/rp/HanschK12,
  author       = {Paul H{\"{a}}nsch and
                  Stefan Kowalewski},
  editor       = {Alain Finkel and
                  J{\'{e}}r{\^{o}}me Leroux and
                  Igor Potapov},
  title        = {Invariants for {LTI} Systems with Uncertain Input},
  booktitle    = {Reachability Problems - 6th International Workshop, {RP} 2012, Bordeaux,
                  France, September 17-19, 2012. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7550},
  pages        = {137--148},
  publisher    = {Springer},
  year         = {2012},
  url          = {https://doi.org/10.1007/978-3-642-33512-9\_12},
  doi          = {10.1007/978-3-642-33512-9\_12},
  timestamp    = {Fri, 26 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/rp/HanschK12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/rp/Kucera12,
  author       = {Anton{\'{\i}}n Kucera},
  editor       = {Alain Finkel and
                  J{\'{e}}r{\^{o}}me Leroux and
                  Igor Potapov},
  title        = {Playing Games with Counter Automata},
  booktitle    = {Reachability Problems - 6th International Workshop, {RP} 2012, Bordeaux,
                  France, September 17-19, 2012. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7550},
  pages        = {29--41},
  publisher    = {Springer},
  year         = {2012},
  url          = {https://doi.org/10.1007/978-3-642-33512-9\_4},
  doi          = {10.1007/978-3-642-33512-9\_4},
  timestamp    = {Fri, 30 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/rp/Kucera12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/rp/OuaknineW12,
  author       = {Jo{\"{e}}l Ouaknine and
                  James Worrell},
  editor       = {Alain Finkel and
                  J{\'{e}}r{\^{o}}me Leroux and
                  Igor Potapov},
  title        = {Decision Problems for Linear Recurrence Sequences},
  booktitle    = {Reachability Problems - 6th International Workshop, {RP} 2012, Bordeaux,
                  France, September 17-19, 2012. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7550},
  pages        = {21--28},
  publisher    = {Springer},
  year         = {2012},
  url          = {https://doi.org/10.1007/978-3-642-33512-9\_3},
  doi          = {10.1007/978-3-642-33512-9\_3},
  timestamp    = {Thu, 14 Sep 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/rp/OuaknineW12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/rp/Saleh12,
  author       = {Rafiq Saleh},
  editor       = {Alain Finkel and
                  J{\'{e}}r{\^{o}}me Leroux and
                  Igor Potapov},
  title        = {On the Length of Knot Transformations via Reidemeister Moves {I} and
                  {II}},
  booktitle    = {Reachability Problems - 6th International Workshop, {RP} 2012, Bordeaux,
                  France, September 17-19, 2012. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7550},
  pages        = {121--136},
  publisher    = {Springer},
  year         = {2012},
  url          = {https://doi.org/10.1007/978-3-642-33512-9\_11},
  doi          = {10.1007/978-3-642-33512-9\_11},
  timestamp    = {Fri, 26 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/rp/Saleh12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/rp/SalvatiW12,
  author       = {Sylvain Salvati and
                  Igor Walukiewicz},
  editor       = {Alain Finkel and
                  J{\'{e}}r{\^{o}}me Leroux and
                  Igor Potapov},
  title        = {Recursive Schemes, Krivine Machines, and Collapsible Pushdown Automata},
  booktitle    = {Reachability Problems - 6th International Workshop, {RP} 2012, Bordeaux,
                  France, September 17-19, 2012. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7550},
  pages        = {6--20},
  publisher    = {Springer},
  year         = {2012},
  url          = {https://doi.org/10.1007/978-3-642-33512-9\_2},
  doi          = {10.1007/978-3-642-33512-9\_2},
  timestamp    = {Fri, 26 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/rp/SalvatiW12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/rp/2012,
  editor       = {Alain Finkel and
                  J{\'{e}}r{\^{o}}me Leroux and
                  Igor Potapov},
  title        = {Reachability Problems - 6th International Workshop, {RP} 2012, Bordeaux,
                  France, September 17-19, 2012. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7550},
  publisher    = {Springer},
  year         = {2012},
  url          = {https://doi.org/10.1007/978-3-642-33512-9},
  doi          = {10.1007/978-3-642-33512-9},
  isbn         = {978-3-642-33511-2},
  timestamp    = {Tue, 14 May 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/rp/2012.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.