Search dblp for Publications

export results for "stream:streams/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, 14 Nov 2018 10:12:22 +0100},
  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 = {Wed, 14 Nov 2018 10:12:22 +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 10:12:22 +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, 14 Nov 2018 10:12:22 +0100},
  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, 14 Nov 2018 10:12:22 +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 = {Wed, 14 Nov 2018 10:12:22 +0100},
  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 = {Wed, 14 Nov 2018 10:12:22 +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 = {Wed, 14 Nov 2018 10:12:22 +0100},
  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, 14 Nov 2018 10:12:22 +0100},
  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, 14 Nov 2018 10:12:22 +0100},
  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 = {Wed, 14 Nov 2018 10:12:22 +0100},
  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, 14 Nov 2018 10:12:22 +0100},
  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