Search dblp for Publications

• > Home > Search

@incollection{DBLP:books/wi/13/Berard13,
  author       = {B{\'{e}}atrice B{\'{e}}rard},
  editor       = {Claude Jard and
                  Olivier H. Roux},
  title        = {Timed Model-Checking},
  booktitle    = {Communicating Embedded Systems},
  pages        = {39--66},
  publisher    = {Wiley},
  year         = {2013},
  url          = {https://doi.org/10.1002/9781118558188.ch2},
  doi          = {10.1002/9781118558188.CH2},
  timestamp    = {Tue, 02 Jul 2019 16:31:33 +0200},
  biburl       = {https://dblp.org/rec/books/wi/13/Berard13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@incollection{DBLP:books/wi/13/CassezM13,
  author       = {Franck Cassez and
                  Nicolas Markey},
  editor       = {Claude Jard and
                  Olivier H. Roux},
  title        = {Control of Timed Systems},
  booktitle    = {Communicating Embedded Systems},
  pages        = {67--105},
  publisher    = {Wiley},
  year         = {2013},
  url          = {https://doi.org/10.1002/9781118558188.ch3},
  doi          = {10.1002/9781118558188.CH3},
  timestamp    = {Mon, 16 Sep 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/books/wi/13/CassezM13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@incollection{DBLP:books/wi/13/CassezT13,
  author       = {Franck Cassez and
                  Stavros Tripakis},
  editor       = {Claude Jard and
                  Olivier H. Roux},
  title        = {Fault Diagnosis of Timed Systems},
  booktitle    = {Communicating Embedded Systems},
  pages        = {107--138},
  publisher    = {Wiley},
  year         = {2013},
  url          = {https://doi.org/10.1002/9781118558188.ch4},
  doi          = {10.1002/9781118558188.CH4},
  timestamp    = {Sat, 19 Oct 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/books/wi/13/CassezT13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@incollection{DBLP:books/wi/13/DangFGG13,
  author       = {Thao Dang and
                  Goran Frehse and
                  Antoine Girard and
                  Colas Le Guernic},
  editor       = {Claude Jard and
                  Olivier H. Roux},
  title        = {Tools for the Analysis of Hybrid Models},
  booktitle    = {Communicating Embedded Systems},
  pages        = {227--251},
  publisher    = {Wiley},
  year         = {2013},
  url          = {https://doi.org/10.1002/9781118558188.ch7},
  doi          = {10.1002/9781118558188.CH7},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/books/wi/13/DangFGG13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@incollection{DBLP:books/wi/13/DavidBBBCLPRS0JLMRT13,
  author       = {Alexandre David and
                  Gerd Behrmann and
                  Peter E. Bulychev and
                  Joakim Byg and
                  Thomas Chatain and
                  Kim G. Larsen and
                  Paul Pettersson and
                  Jacob Illum Rasmussen and
                  Jir{\'{\i}} Srba and
                  Wang Yi and
                  Kenneth Yrke J{\o}rgensen and
                  Didier Lime and
                  Morgan Magnin and
                  Olivier H. Roux and
                  Louis{-}Marie Traonouez},
  editor       = {Claude Jard and
                  Olivier H. Roux},
  title        = {Tools for Model-Checking Timed Systems},
  booktitle    = {Communicating Embedded Systems},
  pages        = {165--225},
  publisher    = {Wiley},
  year         = {2013},
  url          = {https://doi.org/10.1002/9781118558188.ch6},
  doi          = {10.1002/9781118558188.CH6},
  timestamp    = {Tue, 07 May 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/books/wi/13/DavidBBBCLPRS0JLMRT13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@incollection{DBLP:books/wi/13/DonatelliH13,
  author       = {Susanna Donatelli and
                  Serge Haddad},
  editor       = {Claude Jard and
                  Olivier H. Roux},
  title        = {Quantitative Verification of Markov Chains},
  booktitle    = {Communicating Embedded Systems},
  pages        = {139--163},
  publisher    = {Wiley},
  year         = {2013},
  url          = {https://doi.org/10.1002/9781118558188.ch5},
  doi          = {10.1002/9781118558188.CH5},
  timestamp    = {Tue, 02 Jul 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/books/wi/13/DonatelliH13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@incollection{DBLP:books/wi/13/LimeRS13,
  author       = {Didier Lime and
                  Olivier H. Roux and
                  Jir{\'{\i}} Srba},
  editor       = {Claude Jard and
                  Olivier H. Roux},
  title        = {Models for Real-Time Embedded Systems},
  booktitle    = {Communicating Embedded Systems},
  pages        = {1--37},
  publisher    = {Wiley},
  year         = {2013},
  url          = {https://doi.org/10.1002/9781118558188.ch1},
  doi          = {10.1002/9781118558188.CH1},
  timestamp    = {Tue, 21 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/books/wi/13/LimeRS13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@book{DBLP:books/wi/13/JR2013,
  editor       = {Claude Jard and
                  Olivier H. Roux},
  title        = {Communicating Embedded Systems},
  publisher    = {Wiley},
  year         = {2013},
  url          = {https://doi.org/10.1002/9781118558188},
  doi          = {10.1002/9781118558188},
  isbn         = {978-1-84821-143-8},
  timestamp    = {Tue, 02 Jul 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/books/wi/13/JR2013.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}