@incollection{Bouyer-Markey-Sankur/13,
AUTHOR = {Bouyer, Patricia and Markey, Nicolas and Sankur, Ocan},
TITLE = {Robustness in timed automata},
BOOKTITLE = {Proceedings of the 7th International Workshop on Reachability Problems, RP'2013 (Uppsala, Sweden, September 24-26, 2013)},
SERIES = {LNCS},
VOLUME = {8169},
PAGES = {1-18},
YEAR = {2013},
EDITOR = {Abdulla, Parosh Aziz and Potapov, Igor},
URL = {http://dx.doi.org/10.1007/978-3-642-41036-9_1},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Kroening/13,
AUTHOR = {Kroening, Daniel},
TITLE = {Automated verification of concurrent software},
BOOKTITLE = {Proceedings of the 7th International Workshop on Reachability Problems, RP'2013 (Uppsala, Sweden, September 24-26, 2013)},
SERIES = {LNCS},
VOLUME = {8169},
PAGES = {19-20},
YEAR = {2013},
EDITOR = {Abdulla, Parosh Aziz and Potapov, Igor},
URL = {http://dx.doi.org/10.1007/978-3-642-41036-9_2},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Majumdar-Meyer-Wang/13,
AUTHOR = {Majumdar, Rupak and Meyer, Roland and Wang, Zilong},
TITLE = {Provenance verification},
BOOKTITLE = {Proceedings of the 7th International Workshop on Reachability Problems, RP'2013 (Uppsala, Sweden, September 24-26, 2013)},
SERIES = {LNCS},
VOLUME = {8169},
PAGES = {21-22},
YEAR = {2013},
EDITOR = {Abdulla, Parosh Aziz and Potapov, Igor},
URL = {http://dx.doi.org/10.1007/978-3-642-41036-9_3},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Lal-Qadeer/13,
AUTHOR = {Lal, Akash and Qadeer, Shaz},
TITLE = {Reachability modulo theories},
BOOKTITLE = {Proceedings of the 7th International Workshop on Reachability Problems, RP'2013 (Uppsala, Sweden, September 24-26, 2013)},
SERIES = {LNCS},
VOLUME = {8169},
PAGES = {23-44},
YEAR = {2013},
EDITOR = {Abdulla, Parosh Aziz and Potapov, Igor},
URL = {http://dx.doi.org/10.1007/978-3-642-41036-9_4},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Schwentick/13,
AUTHOR = {Schwentick, Thomas},
TITLE = {The dynamic complexity of the reachability problem on graphs},
BOOKTITLE = {Proceedings of the 7th International Workshop on Reachability Problems, RP'2013 (Uppsala, Sweden, September 24-26, 2013)},
SERIES = {LNCS},
VOLUME = {8169},
PAGES = {45-45},
YEAR = {2013},
EDITOR = {Abdulla, Parosh Aziz and Potapov, Igor},
URL = {http://dx.doi.org/10.1007/978-3-642-41036-9_5},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Bell-Chen/13,
AUTHOR = {Bell, Paul C. and Chen, Shang},
TITLE = {Reachability problems for hierarchical piecewise constant derivative systems},
BOOKTITLE = {Proceedings of the 7th International Workshop on Reachability Problems, RP'2013 (Uppsala, Sweden, September 24-26, 2013)},
SERIES = {LNCS},
VOLUME = {8169},
PAGES = {46-58},
YEAR = {2013},
EDITOR = {Abdulla, Parosh Aziz and Potapov, Igor},
URL = {http://dx.doi.org/10.1007/978-3-642-41036-9_6},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Berard-Haddad-Jovanovic-Lime/13,
AUTHOR = {B{\'e}rard, Beatrice and Haddad, Serge and Jovanovi{\'c}, Aleksandra and Lime, Didier},
TITLE = {Parametric interrupt timed automata},
BOOKTITLE = {Proceedings of the 7th International Workshop on Reachability Problems, RP'2013 (Uppsala, Sweden, September 24-26, 2013)},
SERIES = {LNCS},
VOLUME = {8169},
PAGES = {59-69},
YEAR = {2013},
EDITOR = {Abdulla, Parosh Aziz and Potapov, Igor},
URL = {http://dx.doi.org/10.1007/978-3-642-41036-9_7},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Bersani-Rossi-Pietro/13,
AUTHOR = {Bersani, Marcello M. and Rossi, Matteo and Pietro, Pierluigi San},
TITLE = {Deciding continuous-time metric temporal logic with counting modalities},
BOOKTITLE = {Proceedings of the 7th International Workshop on Reachability Problems, RP'2013 (Uppsala, Sweden, September 24-26, 2013)},
SERIES = {LNCS},
VOLUME = {8169},
PAGES = {70-82},
YEAR = {2013},
EDITOR = {Abdulla, Parosh Aziz and Potapov, Igor},
URL = {http://dx.doi.org/10.1007/978-3-642-41036-9_8},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Bellettini-Camilli-Capra-Monga/13,
AUTHOR = {Bellettini, Carlo and Camilli, Matteo and Capra, Lorenzo and Monga, Mattia},
TITLE = {MaRDiGraS: Simplified building of reachability graphs on large clusters},
BOOKTITLE = {Proceedings of the 7th International Workshop on Reachability Problems, RP'2013 (Uppsala, Sweden, September 24-26, 2013)},
SERIES = {LNCS},
VOLUME = {8169},
PAGES = {83-95},
YEAR = {2013},
EDITOR = {Abdulla, Parosh Aziz and Potapov, Igor},
URL = {http://dx.doi.org/10.1007/978-3-642-41036-9_9},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{De_Crescenzo-La_Torre/13,
AUTHOR = {De Crescenzo, Ilaria and La Torre, Salvatore},
TITLE = {Modular synthesis with open components},
BOOKTITLE = {Proceedings of the 7th International Workshop on Reachability Problems, RP'2013 (Uppsala, Sweden, September 24-26, 2013)},
SERIES = {LNCS},
VOLUME = {8169},
PAGES = {96-108},
YEAR = {2013},
EDITOR = {Abdulla, Parosh Aziz and Potapov, Igor},
URL = {http://dx.doi.org/10.1007/978-3-642-41036-9_10},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Delzanno-Sangnier-Traverso/13,
AUTHOR = {Delzanno, Giorgio and Sangnier, Arnaud and Traverso, Riccardo},
TITLE = {Parameterized verification of broadcast networks of register automata},
BOOKTITLE = {Proceedings of the 7th International Workshop on Reachability Problems, RP'2013 (Uppsala, Sweden, September 24-26, 2013)},
SERIES = {LNCS},
VOLUME = {8169},
PAGES = {109-121},
YEAR = {2013},
EDITOR = {Abdulla, Parosh Aziz and Potapov, Igor},
URL = {http://dx.doi.org/10.1007/978-3-642-41036-9_11},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Frederiksen-Miltersen/13,
AUTHOR = {Frederiksen, S{\o}ren Kristoffer Stiil and Miltersen, Peter Bro},
TITLE = {Monomial strategies for concurrent reachability games and other stochastic games},
BOOKTITLE = {Proceedings of the 7th International Workshop on Reachability Problems, RP'2013 (Uppsala, Sweden, September 24-26, 2013)},
SERIES = {LNCS},
VOLUME = {8169},
PAGES = {122-134},
YEAR = {2013},
EDITOR = {Abdulla, Parosh Aziz and Potapov, Igor},
URL = {http://dx.doi.org/10.1007/978-3-642-41036-9_12},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Fribourg-Soulat/13,
AUTHOR = {Fribourg, Laurent and Soulat, Romain},
TITLE = {Stability controllers for sampled switched systems},
BOOKTITLE = {Proceedings of the 7th International Workshop on Reachability Problems, RP'2013 (Uppsala, Sweden, September 24-26, 2013)},
SERIES = {LNCS},
VOLUME = {8169},
PAGES = {135-145},
YEAR = {2013},
EDITOR = {Abdulla, Parosh Aziz and Potapov, Igor},
URL = {http://dx.doi.org/10.1007/978-3-642-41036-9_13},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Jones-Thomas/13,
AUTHOR = {Jones, Sam A.M. and Thomas, Richard M.},
TITLE = {Formal languages, word problems of groups and decidability},
BOOKTITLE = {Proceedings of the 7th International Workshop on Reachability Problems, RP'2013 (Uppsala, Sweden, September 24-26, 2013)},
SERIES = {LNCS},
VOLUME = {8169},
PAGES = {146-158},
YEAR = {2013},
EDITOR = {Abdulla, Parosh Aziz and Potapov, Igor},
URL = {http://dx.doi.org/10.1007/978-3-642-41036-9_14},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Klai-Aber-Petrucci/13,
AUTHOR = {Klai, Kais and Aber, Naim and Petrucci, Laure},
TITLE = {Verification of reachability properties for Time Petri Nets},
BOOKTITLE = {Proceedings of the 7th International Workshop on Reachability Problems, RP'2013 (Uppsala, Sweden, September 24-26, 2013)},
SERIES = {LNCS},
VOLUME = {8169},
PAGES = {159-170},
YEAR = {2013},
EDITOR = {Abdulla, Parosh Aziz and Potapov, Igor},
URL = {http://dx.doi.org/10.1007/978-3-642-41036-9_15},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Mayr-Totzke/13,
AUTHOR = {Mayr, Richard and Totzke, Patrick},
TITLE = {Branching-time model checking gap-order constraint systems},
BOOKTITLE = {Proceedings of the 7th International Workshop on Reachability Problems, RP'2013 (Uppsala, Sweden, September 24-26, 2013)},
SERIES = {LNCS},
VOLUME = {8169},
PAGES = {171-182},
YEAR = {2013},
EDITOR = {Abdulla, Parosh Aziz and Potapov, Igor},
URL = {http://dx.doi.org/10.1007/978-3-642-41036-9_16},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Piipponen-Valmari/13,
AUTHOR = {Piipponen, Artturi and Valmari, Antti},
TITLE = {Constructing minimal coverability sets},
BOOKTITLE = {Proceedings of the 7th International Workshop on Reachability Problems, RP'2013 (Uppsala, Sweden, September 24-26, 2013)},
SERIES = {LNCS},
VOLUME = {8169},
PAGES = {183-195},
YEAR = {2013},
EDITOR = {Abdulla, Parosh Aziz and Potapov, Igor},
URL = {http://dx.doi.org/10.1007/978-3-642-41036-9_17},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Reichert/13,
AUTHOR = {Reichert, Julien},
TITLE = {On the complexity of counter reachability games},
BOOKTITLE = {Proceedings of the 7th International Workshop on Reachability Problems, RP'2013 (Uppsala, Sweden, September 24-26, 2013)},
SERIES = {LNCS},
VOLUME = {8169},
PAGES = {196-208},
YEAR = {2013},
EDITOR = {Abdulla, Parosh Aziz and Potapov, Igor},
URL = {http://dx.doi.org/10.1007/978-3-642-41036-9_18},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Mayr-Weihmann/13a,
AUTHOR = {Mayr, Ernst W. and Weihmann, Jeremias},
TITLE = {Completeness results for generalized communication-free Petri nets with arbitrary edge multiplicities},
BOOKTITLE = {Proceedings of the 7th International Workshop on Reachability Problems, RP'2013 (Uppsala, Sweden, September 24-26, 2013)},
SERIES = {LNCS},
VOLUME = {8169},
PAGES = {209-221},
YEAR = {2013},
EDITOR = {Abdulla, Parosh Aziz and Potapov, Igor},
URL = {http://dx.doi.org/10.1007/978-3-642-41036-9_19},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}