Search dblp for Publications

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

 download as .bib file

@incollection{DBLP:series/natosec/Broy13,
  author       = {Manfred Broy},
  editor       = {Manfred Broy and
                  Doron A. Peled and
                  Georg Kalus},
  title        = {A Logical Approach to Systems Engineering Artifacts and Traceability:
                  From Requirements to Functional and Architectural Views},
  booktitle    = {Engineering Dependable Software Systems},
  series       = {{NATO} Science for Peace and Security Series, {D:} Information and
                  Communication Security},
  volume       = {34},
  pages        = {1--48},
  publisher    = {{IOS} Press},
  year         = {2013},
  url          = {https://doi.org/10.3233/978-1-61499-207-3-1},
  doi          = {10.3233/978-1-61499-207-3-1},
  timestamp    = {Tue, 16 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/series/natosec/Broy13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@incollection{DBLP:series/natosec/Butler13,
  author       = {Michael J. Butler},
  editor       = {Manfred Broy and
                  Doron A. Peled and
                  Georg Kalus},
  title        = {Mastering System Analysis and Design through Abstraction and Refinement},
  booktitle    = {Engineering Dependable Software Systems},
  series       = {{NATO} Science for Peace and Security Series, {D:} Information and
                  Communication Security},
  volume       = {34},
  pages        = {49--78},
  publisher    = {{IOS} Press},
  year         = {2013},
  url          = {https://doi.org/10.3233/978-1-61499-207-3-49},
  doi          = {10.3233/978-1-61499-207-3-49},
  timestamp    = {Tue, 16 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/series/natosec/Butler13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@incollection{DBLP:series/natosec/Cohen13,
  author       = {Ernie Cohen},
  editor       = {Manfred Broy and
                  Doron A. Peled and
                  Georg Kalus},
  title        = {Data Abstraction in {VCC}},
  booktitle    = {Engineering Dependable Software Systems},
  series       = {{NATO} Science for Peace and Security Series, {D:} Information and
                  Communication Security},
  volume       = {34},
  pages        = {79--114},
  publisher    = {{IOS} Press},
  year         = {2013},
  url          = {https://doi.org/10.3233/978-1-61499-207-3-79},
  doi          = {10.3233/978-1-61499-207-3-79},
  timestamp    = {Tue, 16 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/series/natosec/Cohen13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@incollection{DBLP:series/natosec/FahrenbergLLT13,
  author       = {Uli Fahrenberg and
                  Kim G. Larsen and
                  Axel Legay and
                  Claus R. Thrane},
  editor       = {Manfred Broy and
                  Doron A. Peled and
                  Georg Kalus},
  title        = {Model-Based Verification, Optimization, Synthesis and Performance
                  Evaluation of Real-Time Systems},
  booktitle    = {Engineering Dependable Software Systems},
  series       = {{NATO} Science for Peace and Security Series, {D:} Information and
                  Communication Security},
  volume       = {34},
  pages        = {235--273},
  publisher    = {{IOS} Press},
  year         = {2013},
  url          = {https://doi.org/10.3233/978-1-61499-207-3-235},
  doi          = {10.3233/978-1-61499-207-3-235},
  timestamp    = {Tue, 07 May 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/series/natosec/FahrenbergLLT13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@incollection{DBLP:series/natosec/FalconeHR13,
  author       = {Yli{\`{e}}s Falcone and
                  Klaus Havelund and
                  Giles Reger},
  editor       = {Manfred Broy and
                  Doron A. Peled and
                  Georg Kalus},
  title        = {A Tutorial on Runtime Verification},
  booktitle    = {Engineering Dependable Software Systems},
  series       = {{NATO} Science for Peace and Security Series, {D:} Information and
                  Communication Security},
  volume       = {34},
  pages        = {141--175},
  publisher    = {{IOS} Press},
  year         = {2013},
  url          = {https://doi.org/10.3233/978-1-61499-207-3-141},
  doi          = {10.3233/978-1-61499-207-3-141},
  timestamp    = {Tue, 16 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/series/natosec/FalconeHR13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@incollection{DBLP:series/natosec/Gnesi13,
  author       = {Stefania Gnesi},
  editor       = {Manfred Broy and
                  Doron A. Peled and
                  Georg Kalus},
  title        = {Families of software systems: a model checking approach},
  booktitle    = {Engineering Dependable Software Systems},
  series       = {{NATO} Science for Peace and Security Series, {D:} Information and
                  Communication Security},
  volume       = {34},
  pages        = {115--140},
  publisher    = {{IOS} Press},
  year         = {2013},
  url          = {https://doi.org/10.3233/978-1-61499-207-3-115},
  doi          = {10.3233/978-1-61499-207-3-115},
  timestamp    = {Tue, 16 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/series/natosec/Gnesi13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@incollection{DBLP:series/natosec/Katoen13,
  author       = {Joost{-}Pieter Katoen},
  editor       = {Manfred Broy and
                  Doron A. Peled and
                  Georg Kalus},
  title        = {Model Checking Meets Probability: {A} Gentle Introduction},
  booktitle    = {Engineering Dependable Software Systems},
  series       = {{NATO} Science for Peace and Security Series, {D:} Information and
                  Communication Security},
  volume       = {34},
  pages        = {177--205},
  publisher    = {{IOS} Press},
  year         = {2013},
  url          = {https://doi.org/10.3233/978-1-61499-207-3-177},
  doi          = {10.3233/978-1-61499-207-3-177},
  timestamp    = {Tue, 16 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/series/natosec/Katoen13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@incollection{DBLP:series/natosec/Lamsweerde13,
  author       = {Axel van Lamsweerde},
  editor       = {Manfred Broy and
                  Doron A. Peled and
                  Georg Kalus},
  title        = {Risk-driven Engineering of Requirements for Dependable Systems},
  booktitle    = {Engineering Dependable Software Systems},
  series       = {{NATO} Science for Peace and Security Series, {D:} Information and
                  Communication Security},
  volume       = {34},
  pages        = {207--234},
  publisher    = {{IOS} Press},
  year         = {2013},
  url          = {https://doi.org/10.3233/978-1-61499-207-3-207},
  doi          = {10.3233/978-1-61499-207-3-207},
  timestamp    = {Tue, 16 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/series/natosec/Lamsweerde13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@incollection{DBLP:series/natosec/PaigeK13,
  author       = {Richard F. Paige and
                  Dimitrios S. Kolovos},
  editor       = {Manfred Broy and
                  Doron A. Peled and
                  Georg Kalus},
  title        = {Model-Driven Engineering and Model Transformation: for Fun and Profit},
  booktitle    = {Engineering Dependable Software Systems},
  series       = {{NATO} Science for Peace and Security Series, {D:} Information and
                  Communication Security},
  volume       = {34},
  pages        = {275--311},
  publisher    = {{IOS} Press},
  year         = {2013},
  url          = {https://doi.org/10.3233/978-1-61499-207-3-275},
  doi          = {10.3233/978-1-61499-207-3-275},
  timestamp    = {Sat, 09 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/series/natosec/PaigeK13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@incollection{DBLP:series/natosec/Pasareanu13,
  author       = {Corina S. Pasareanu},
  editor       = {Manfred Broy and
                  Doron A. Peled and
                  Georg Kalus},
  title        = {Symbolic Execution and Software Testing},
  booktitle    = {Engineering Dependable Software Systems},
  series       = {{NATO} Science for Peace and Security Series, {D:} Information and
                  Communication Security},
  volume       = {34},
  pages        = {313--333},
  publisher    = {{IOS} Press},
  year         = {2013},
  url          = {https://doi.org/10.3233/978-1-61499-207-3-313},
  doi          = {10.3233/978-1-61499-207-3-313},
  timestamp    = {Tue, 16 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/series/natosec/Pasareanu13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@incollection{DBLP:series/natosec/Peled13,
  author       = {Doron A. Peled},
  editor       = {Manfred Broy and
                  Doron A. Peled and
                  Georg Kalus},
  title        = {Model Checking Basics},
  booktitle    = {Engineering Dependable Software Systems},
  series       = {{NATO} Science for Peace and Security Series, {D:} Information and
                  Communication Security},
  volume       = {34},
  pages        = {335--362},
  publisher    = {{IOS} Press},
  year         = {2013},
  url          = {https://doi.org/10.3233/978-1-61499-207-3-335},
  doi          = {10.3233/978-1-61499-207-3-335},
  timestamp    = {Tue, 16 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/series/natosec/Peled13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@book{DBLP:series/natosec/34,
  editor       = {Manfred Broy and
                  Doron A. Peled and
                  Georg Kalus},
  title        = {Engineering Dependable Software Systems},
  series       = {{NATO} Science for Peace and Security Series, {D:} Information and
                  Communication Security},
  volume       = {34},
  publisher    = {{IOS} Press},
  year         = {2013},
  isbn         = {978-1-61499-206-6},
  timestamp    = {Fri, 12 Feb 2016 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/series/natosec/34.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.