Search dblp for Publications

export results for "stream:series/nmsse:"

 download as .bib file

@book{DBLP:books/sp/HallockWSR17,
  author       = {Harold L. Hallock and
                  Gary Welter and
                  David G. Simpson and
                  Christopher A. Rouff},
  title        = {{ACS} Without an Attitude},
  series       = {{NASA} Monographs in Systems and Software Engineering},
  publisher    = {Springer},
  year         = {2017},
  url          = {https://doi.org/10.1007/978-1-4471-7325-0},
  doi          = {10.1007/978-1-4471-7325-0},
  isbn         = {978-1-4471-7324-3},
  timestamp    = {Thu, 18 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/books/sp/HallockWSR17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@incollection{DBLP:books/sp/17/Bjorner17,
  author       = {Dines Bj{\o}rner},
  editor       = {Michael G. Hinchey and
                  Jonathan P. Bowen and
                  Ernst{-}R{\"{u}}diger Olderog},
  title        = {Erratum to: ProCoS: How It All Began - as Seen from Denmark},
  booktitle    = {Provably Correct Systems},
  series       = {{NASA} Monographs in Systems and Software Engineering},
  pages        = {1},
  publisher    = {Springer},
  year         = {2017},
  url          = {https://doi.org/10.1007/978-3-319-48628-4\_14},
  doi          = {10.1007/978-3-319-48628-4\_14},
  timestamp    = {Wed, 14 Nov 2018 10:12:22 +0100},
  biburl       = {https://dblp.org/rec/books/sp/17/Bjorner17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@incollection{DBLP:books/sp/17/Bjorner17a,
  author       = {Dines Bj{\o}rner},
  editor       = {Michael G. Hinchey and
                  Jonathan P. Bowen and
                  Ernst{-}R{\"{u}}diger Olderog},
  title        = {ProCoS: How It All Began - as Seen from Denmark},
  booktitle    = {Provably Correct Systems},
  series       = {{NASA} Monographs in Systems and Software Engineering},
  pages        = {3--5},
  publisher    = {Springer},
  year         = {2017},
  url          = {https://doi.org/10.1007/978-3-319-48628-4\_1},
  doi          = {10.1007/978-3-319-48628-4\_1},
  timestamp    = {Wed, 26 Jul 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/books/sp/17/Bjorner17a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@incollection{DBLP:books/sp/17/BoerG17,
  author       = {Frank S. de Boer and
                  Stijn de Gouw},
  editor       = {Michael G. Hinchey and
                  Jonathan P. Bowen and
                  Ernst{-}R{\"{u}}diger Olderog},
  title        = {Run-Time Deadlock Detection},
  booktitle    = {Provably Correct Systems},
  series       = {{NASA} Monographs in Systems and Software Engineering},
  pages        = {245--264},
  publisher    = {Springer},
  year         = {2017},
  url          = {https://doi.org/10.1007/978-3-319-48628-4\_10},
  doi          = {10.1007/978-3-319-48628-4\_10},
  timestamp    = {Fri, 02 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/books/sp/17/BoerG17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@incollection{DBLP:books/sp/17/Bowen17,
  author       = {Jonathan P. Bowen},
  editor       = {Michael G. Hinchey and
                  Jonathan P. Bowen and
                  Ernst{-}R{\"{u}}diger Olderog},
  title        = {Provably Correct Systems: Community, Connections, and Citations},
  booktitle    = {Provably Correct Systems},
  series       = {{NASA} Monographs in Systems and Software Engineering},
  pages        = {313--328},
  publisher    = {Springer},
  year         = {2017},
  url          = {https://doi.org/10.1007/978-3-319-48628-4\_13},
  doi          = {10.1007/978-3-319-48628-4\_13},
  timestamp    = {Wed, 14 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/books/sp/17/Bowen17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@incollection{DBLP:books/sp/17/Buth17,
  author       = {Bettina Buth},
  editor       = {Michael G. Hinchey and
                  Jonathan P. Bowen and
                  Ernst{-}R{\"{u}}diger Olderog},
  title        = {From ProCoS to Space and Mental Models-A Survey of Combining Formal
                  and Semi-formal Methods},
  booktitle    = {Provably Correct Systems},
  series       = {{NASA} Monographs in Systems and Software Engineering},
  pages        = {285--310},
  publisher    = {Springer},
  year         = {2017},
  url          = {https://doi.org/10.1007/978-3-319-48628-4\_12},
  doi          = {10.1007/978-3-319-48628-4\_12},
  timestamp    = {Wed, 26 Jul 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/books/sp/17/Buth17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@incollection{DBLP:books/sp/17/Chen017,
  author       = {Xin Chen and
                  Zhiming Liu},
  editor       = {Michael G. Hinchey and
                  Jonathan P. Bowen and
                  Ernst{-}R{\"{u}}diger Olderog},
  title        = {Towards Interface-Driven Design of Evolving Component-Based Architectures},
  booktitle    = {Provably Correct Systems},
  series       = {{NASA} Monographs in Systems and Software Engineering},
  pages        = {121--148},
  publisher    = {Springer},
  year         = {2017},
  url          = {https://doi.org/10.1007/978-3-319-48628-4\_6},
  doi          = {10.1007/978-3-319-48628-4\_6},
  timestamp    = {Thu, 18 Apr 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/books/sp/17/Chen017.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@incollection{DBLP:books/sp/17/ChenHTWYZZZ17,
  author       = {Mingshuai Chen and
                  Xiao Han and
                  Tao Tang and
                  Shuling Wang and
                  Mengfei Yang and
                  Naijun Zhan and
                  Hengjun Zhao and
                  Liang Zou},
  editor       = {Michael G. Hinchey and
                  Jonathan P. Bowen and
                  Ernst{-}R{\"{u}}diger Olderog},
  title        = {{MARS:} {A} Toolchain for Modelling, Analysis and Verification of
                  Hybrid Systems},
  booktitle    = {Provably Correct Systems},
  series       = {{NASA} Monographs in Systems and Software Engineering},
  pages        = {39--58},
  publisher    = {Springer},
  year         = {2017},
  url          = {https://doi.org/10.1007/978-3-319-48628-4\_3},
  doi          = {10.1007/978-3-319-48628-4\_3},
  timestamp    = {Wed, 18 Jan 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/books/sp/17/ChenHTWYZZZ17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@incollection{DBLP:books/sp/17/DerrickSGD17,
  author       = {John Derrick and
                  Graeme Smith and
                  Lindsay Groves and
                  Brijesh Dongol},
  editor       = {Michael G. Hinchey and
                  Jonathan P. Bowen and
                  Ernst{-}R{\"{u}}diger Olderog},
  title        = {A Proof Method for Linearizability on {TSO} Architectures},
  booktitle    = {Provably Correct Systems},
  series       = {{NASA} Monographs in Systems and Software Engineering},
  pages        = {61--91},
  publisher    = {Springer},
  year         = {2017},
  url          = {https://doi.org/10.1007/978-3-319-48628-4\_4},
  doi          = {10.1007/978-3-319-48628-4\_4},
  timestamp    = {Thu, 07 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/books/sp/17/DerrickSGD17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@incollection{DBLP:books/sp/17/FranzleGG17,
  author       = {Martin Fr{\"{a}}nzle and
                  Yang Gao and
                  Sebastian Gerwinn},
  editor       = {Michael G. Hinchey and
                  Jonathan P. Bowen and
                  Ernst{-}R{\"{u}}diger Olderog},
  title        = {Constraint-Solving Techniques for the Analysis of Stochastic Hybrid
                  Systems},
  booktitle    = {Provably Correct Systems},
  series       = {{NASA} Monographs in Systems and Software Engineering},
  pages        = {9--38},
  publisher    = {Springer},
  year         = {2017},
  url          = {https://doi.org/10.1007/978-3-319-48628-4\_2},
  doi          = {10.1007/978-3-319-48628-4\_2},
  timestamp    = {Thu, 07 Dec 2017 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/books/sp/17/FranzleGG17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@incollection{DBLP:books/sp/17/GoelHK17,
  author       = {Shilpi Goel and
                  Warren A. Hunt Jr. and
                  Matt Kaufmann},
  editor       = {Michael G. Hinchey and
                  Jonathan P. Bowen and
                  Ernst{-}R{\"{u}}diger Olderog},
  title        = {Engineering a Formal, Executable x86 {ISA} Simulator for Software
                  Verification},
  booktitle    = {Provably Correct Systems},
  series       = {{NASA} Monographs in Systems and Software Engineering},
  pages        = {173--209},
  publisher    = {Springer},
  year         = {2017},
  url          = {https://doi.org/10.1007/978-3-319-48628-4\_8},
  doi          = {10.1007/978-3-319-48628-4\_8},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/books/sp/17/GoelHK17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@incollection{DBLP:books/sp/17/Moore17,
  author       = {J Strother Moore},
  editor       = {Michael G. Hinchey and
                  Jonathan P. Bowen and
                  Ernst{-}R{\"{u}}diger Olderog},
  title        = {Computing Verified Machine Address Bounds During Symbolic Exploration
                  of Code},
  booktitle    = {Provably Correct Systems},
  series       = {{NASA} Monographs in Systems and Software Engineering},
  pages        = {151--172},
  publisher    = {Springer},
  year         = {2017},
  url          = {https://doi.org/10.1007/978-3-319-48628-4\_7},
  doi          = {10.1007/978-3-319-48628-4\_7},
  timestamp    = {Wed, 27 Jun 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/books/sp/17/Moore17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@incollection{DBLP:books/sp/17/OlderogRW17,
  author       = {Ernst{-}R{\"{u}}diger Olderog and
                  Anders P. Ravn and
                  Rafael Wisniewski},
  editor       = {Michael G. Hinchey and
                  Jonathan P. Bowen and
                  Ernst{-}R{\"{u}}diger Olderog},
  title        = {Linking Discrete and Continuous Models, Applied to Traffic Manoeuvrers},
  booktitle    = {Provably Correct Systems},
  series       = {{NASA} Monographs in Systems and Software Engineering},
  pages        = {95--120},
  publisher    = {Springer},
  year         = {2017},
  url          = {https://doi.org/10.1007/978-3-319-48628-4\_5},
  doi          = {10.1007/978-3-319-48628-4\_5},
  timestamp    = {Wed, 26 Jul 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/books/sp/17/OlderogRW17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@incollection{DBLP:books/sp/17/OttenB17,
  author       = {Jens Otten and
                  Wolfgang Bibel},
  editor       = {Michael G. Hinchey and
                  Jonathan P. Bowen and
                  Ernst{-}R{\"{u}}diger Olderog},
  title        = {Advances in Connection-Based Automated Theorem Proving},
  booktitle    = {Provably Correct Systems},
  series       = {{NASA} Monographs in Systems and Software Engineering},
  pages        = {211--241},
  publisher    = {Springer},
  year         = {2017},
  url          = {https://doi.org/10.1007/978-3-319-48628-4\_9},
  doi          = {10.1007/978-3-319-48628-4\_9},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/books/sp/17/OttenB17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@incollection{DBLP:books/sp/17/TodmanL17,
  author       = {Tim Todman and
                  Wayne Luk},
  editor       = {Michael G. Hinchey and
                  Jonathan P. Bowen and
                  Ernst{-}R{\"{u}}diger Olderog},
  title        = {In-Circuit Assertions and Exceptions for Reconfigurable Hardware Design},
  booktitle    = {Provably Correct Systems},
  series       = {{NASA} Monographs in Systems and Software Engineering},
  pages        = {265--281},
  publisher    = {Springer},
  year         = {2017},
  url          = {https://doi.org/10.1007/978-3-319-48628-4\_11},
  doi          = {10.1007/978-3-319-48628-4\_11},
  timestamp    = {Wed, 26 Jul 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/books/sp/17/TodmanL17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@book{DBLP:books/sp/HBO2017,
  editor       = {Michael G. Hinchey and
                  Jonathan P. Bowen and
                  Ernst{-}R{\"{u}}diger Olderog},
  title        = {Provably Correct Systems},
  series       = {{NASA} Monographs in Systems and Software Engineering},
  publisher    = {Springer},
  year         = {2017},
  url          = {https://doi.org/10.1007/978-3-319-48628-4},
  doi          = {10.1007/978-3-319-48628-4},
  isbn         = {978-3-319-48627-7},
  timestamp    = {Wed, 14 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/books/sp/HBO2017.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@book{DBLP:books/sp/VassevH14,
  author       = {Emil Vassev and
                  Mike Hinchey},
  title        = {Autonomy Requirements Engineering for Space Missions},
  series       = {{NASA} Monographs in Systems and Software Engineering},
  publisher    = {Springer},
  year         = {2014},
  url          = {https://doi.org/10.1007/978-3-319-09816-6},
  doi          = {10.1007/978-3-319-09816-6},
  isbn         = {978-3-319-09815-9},
  timestamp    = {Tue, 16 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/books/sp/VassevH14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@book{DBLP:series/nmsse/TruszkowskiHRKRHS10,
  author       = {Walt Truszkowski and
                  Harold L. Hallock and
                  Christopher A. Rouff and
                  Jay Karlin and
                  James L. Rash and
                  Michael G. Hinchey and
                  Roy Sterritt},
  title        = {Autonomous and Autonomic Systems: With Applications to {NASA} Intelligent
                  Spacecraft Operations and Exploration Systems},
  series       = {{NASA} Monographs in Systems and Software Engineering},
  publisher    = {Springer},
  year         = {2010},
  url          = {https://doi.org/10.1007/b105417},
  doi          = {10.1007/B105417},
  isbn         = {978-1-84628-232-4},
  timestamp    = {Mon, 29 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/series/nmsse/TruszkowskiHRKRHS10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@book{DBLP:series/nmsse/BreitmanCT07,
  author       = {Karin Koogan Breitman and
                  Marco Antonio Casanova and
                  Walter Truszkowski},
  title        = {Semantic Web: Concepts, Technologies and Applications},
  series       = {{NASA} Monographs in Systems and Software Engineering},
  publisher    = {Springer},
  year         = {2007},
  url          = {https://doi.org/10.1007/978-1-84628-710-7},
  doi          = {10.1007/978-1-84628-710-7},
  isbn         = {978-1-84628-581-3},
  timestamp    = {Tue, 16 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/series/nmsse/BreitmanCT07.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.