Search dblp for Publications

export results for "toc:db/series/natosec/natosec45.bht:"

 download as .bib file

@incollection{DBLP:series/natosec/Baier16,
  author       = {Christel Baier},
  editor       = {Javier Esparza and
                  Orna Grumberg and
                  Salomon Sickert},
  title        = {Probabilistic Model Checking},
  booktitle    = {Dependable Software Systems Engineering},
  series       = {{NATO} Science for Peace and Security Series - {D:} Information and
                  Communication Security},
  volume       = {45},
  pages        = {1--23},
  publisher    = {{IOS} Press},
  year         = {2016},
  url          = {https://doi.org/10.3233/978-1-61499-627-9-1},
  doi          = {10.3233/978-1-61499-627-9-1},
  timestamp    = {Tue, 16 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/series/natosec/Baier16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@incollection{DBLP:series/natosec/Bjorner16,
  author       = {Nikolaj S. Bj{\o}rner},
  editor       = {Javier Esparza and
                  Orna Grumberg and
                  Salomon Sickert},
  title        = {{SMT} Solvers: Foundations and Applications},
  booktitle    = {Dependable Software Systems Engineering},
  series       = {{NATO} Science for Peace and Security Series - {D:} Information and
                  Communication Security},
  volume       = {45},
  pages        = {24--32},
  publisher    = {{IOS} Press},
  year         = {2016},
  url          = {https://doi.org/10.3233/978-1-61499-627-9-24},
  doi          = {10.3233/978-1-61499-627-9-24},
  timestamp    = {Thu, 14 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/series/natosec/Bjorner16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@incollection{DBLP:series/natosec/CortierK16,
  author       = {V{\'{e}}ronique Cortier and
                  Steve Kremer},
  editor       = {Javier Esparza and
                  Orna Grumberg and
                  Salomon Sickert},
  title        = {Formal Models for Analyzing Security Protocols: Some Lecture Notes},
  booktitle    = {Dependable Software Systems Engineering},
  series       = {{NATO} Science for Peace and Security Series - {D:} Information and
                  Communication Security},
  volume       = {45},
  pages        = {33--58},
  publisher    = {{IOS} Press},
  year         = {2016},
  url          = {https://doi.org/10.3233/978-1-61499-627-9-33},
  doi          = {10.3233/978-1-61499-627-9-33},
  timestamp    = {Tue, 16 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/series/natosec/CortierK16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@incollection{DBLP:series/natosec/Esparza16,
  author       = {Javier Esparza},
  editor       = {Javier Esparza and
                  Orna Grumberg and
                  Salomon Sickert},
  title        = {Parameterized Verification of Crowds of Anonymous Processes},
  booktitle    = {Dependable Software Systems Engineering},
  series       = {{NATO} Science for Peace and Security Series - {D:} Information and
                  Communication Security},
  volume       = {45},
  pages        = {59--71},
  publisher    = {{IOS} Press},
  year         = {2016},
  url          = {https://doi.org/10.3233/978-1-61499-627-9-59},
  doi          = {10.3233/978-1-61499-627-9-59},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/series/natosec/Esparza16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@incollection{DBLP:series/natosec/Finkbeiner16,
  author       = {Bernd Finkbeiner},
  editor       = {Javier Esparza and
                  Orna Grumberg and
                  Salomon Sickert},
  title        = {Synthesis of Reactive Systems},
  booktitle    = {Dependable Software Systems Engineering},
  series       = {{NATO} Science for Peace and Security Series - {D:} Information and
                  Communication Security},
  volume       = {45},
  pages        = {72--98},
  publisher    = {{IOS} Press},
  year         = {2016},
  url          = {https://doi.org/10.3233/978-1-61499-627-9-72},
  doi          = {10.3233/978-1-61499-627-9-72},
  timestamp    = {Tue, 16 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/series/natosec/Finkbeiner16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@incollection{DBLP:series/natosec/Godefroid16,
  author       = {Patrice Godefroid},
  editor       = {Javier Esparza and
                  Orna Grumberg and
                  Salomon Sickert},
  title        = {Between Testing and Verification: Dynamic Software Model Checking},
  booktitle    = {Dependable Software Systems Engineering},
  series       = {{NATO} Science for Peace and Security Series - {D:} Information and
                  Communication Security},
  volume       = {45},
  pages        = {99--116},
  publisher    = {{IOS} Press},
  year         = {2016},
  url          = {https://doi.org/10.3233/978-1-61499-627-9-99},
  doi          = {10.3233/978-1-61499-627-9-99},
  timestamp    = {Tue, 16 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/series/natosec/Godefroid16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@incollection{DBLP:series/natosec/GrumbergM16,
  author       = {Orna Grumberg and
                  Yael Meller},
  editor       = {Javier Esparza and
                  Orna Grumberg and
                  Salomon Sickert},
  title        = {Learning-Based Compositional Model Checking of Behavioral {UML} Systems},
  booktitle    = {Dependable Software Systems Engineering},
  series       = {{NATO} Science for Peace and Security Series - {D:} Information and
                  Communication Security},
  volume       = {45},
  pages        = {117--136},
  publisher    = {{IOS} Press},
  year         = {2016},
  url          = {https://doi.org/10.3233/978-1-61499-627-9-117},
  doi          = {10.3233/978-1-61499-627-9-117},
  timestamp    = {Tue, 16 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/series/natosec/GrumbergM16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@incollection{DBLP:series/natosec/Gulwani16,
  author       = {Sumit Gulwani},
  editor       = {Javier Esparza and
                  Orna Grumberg and
                  Salomon Sickert},
  title        = {Programming by Examples - and its applications in Data Wrangling},
  booktitle    = {Dependable Software Systems Engineering},
  series       = {{NATO} Science for Peace and Security Series - {D:} Information and
                  Communication Security},
  volume       = {45},
  pages        = {137--158},
  publisher    = {{IOS} Press},
  year         = {2016},
  url          = {https://doi.org/10.3233/978-1-61499-627-9-137},
  doi          = {10.3233/978-1-61499-627-9-137},
  timestamp    = {Tue, 16 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/series/natosec/Gulwani16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@incollection{DBLP:series/natosec/Kroening16,
  author       = {Daniel Kroening},
  editor       = {Javier Esparza and
                  Orna Grumberg and
                  Salomon Sickert},
  title        = {Verification of Concurrent Software},
  booktitle    = {Dependable Software Systems Engineering},
  series       = {{NATO} Science for Peace and Security Series - {D:} Information and
                  Communication Security},
  volume       = {45},
  pages        = {159--178},
  publisher    = {{IOS} Press},
  year         = {2016},
  url          = {https://doi.org/10.3233/978-1-61499-627-9-159},
  doi          = {10.3233/978-1-61499-627-9-159},
  timestamp    = {Mon, 26 Oct 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/series/natosec/Kroening16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@incollection{DBLP:series/natosec/Raskin16,
  author       = {Jean{-}Fran{\c{c}}ois Raskin},
  editor       = {Javier Esparza and
                  Orna Grumberg and
                  Salomon Sickert},
  title        = {A Tutorial on Mean-payoff and Energy Games},
  booktitle    = {Dependable Software Systems Engineering},
  series       = {{NATO} Science for Peace and Security Series - {D:} Information and
                  Communication Security},
  volume       = {45},
  pages        = {179--201},
  publisher    = {{IOS} Press},
  year         = {2016},
  url          = {https://doi.org/10.3233/978-1-61499-627-9-179},
  doi          = {10.3233/978-1-61499-627-9-179},
  timestamp    = {Tue, 16 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/series/natosec/Raskin16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@incollection{DBLP:series/natosec/SeidlMKE16,
  author       = {Helmut Seidl and
                  Sebastian Maneth and
                  Gregor Kemper and
                  Joost Engelfriet},
  editor       = {Javier Esparza and
                  Orna Grumberg and
                  Salomon Sickert},
  title        = {Equivalence - Combinatorics, Algebra, Proofs},
  booktitle    = {Dependable Software Systems Engineering},
  series       = {{NATO} Science for Peace and Security Series - {D:} Information and
                  Communication Security},
  volume       = {45},
  pages        = {202--243},
  publisher    = {{IOS} Press},
  year         = {2016},
  url          = {https://doi.org/10.3233/978-1-61499-627-9-202},
  doi          = {10.3233/978-1-61499-627-9-202},
  timestamp    = {Tue, 16 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/series/natosec/SeidlMKE16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@incollection{DBLP:series/natosec/Yahav16,
  author       = {Eran Yahav},
  editor       = {Javier Esparza and
                  Orna Grumberg and
                  Salomon Sickert},
  title        = {Analysis and Synthesis with "Big Code"},
  booktitle    = {Dependable Software Systems Engineering},
  series       = {{NATO} Science for Peace and Security Series - {D:} Information and
                  Communication Security},
  volume       = {45},
  pages        = {244--282},
  publisher    = {{IOS} Press},
  year         = {2016},
  url          = {https://doi.org/10.3233/978-1-61499-627-9-244},
  doi          = {10.3233/978-1-61499-627-9-244},
  timestamp    = {Tue, 16 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/series/natosec/Yahav16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@book{DBLP:series/natosec/45,
  editor       = {Javier Esparza and
                  Orna Grumberg and
                  Salomon Sickert},
  title        = {Dependable Software Systems Engineering},
  series       = {{NATO} Science for Peace and Security Series - {D:} Information and
                  Communication Security},
  volume       = {45},
  publisher    = {{IOS} Press},
  year         = {2016},
  isbn         = {978-1-61499-626-2},
  timestamp    = {Wed, 11 May 2016 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/series/natosec/45.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.