Formalism in Safety Cases Appears in Making Systems Safer: Proceedings of the Eighteenth Safety-Critical
by
John Rushby
Active Bibliography
| 1 | Reasoning about the Reliability Of Diverse Two-Channel Systems In which One Channel is “Possibly Perfect” – Bev Littlewood, John Rushby - 2009 |
| 12 | Modular Certification – John Rushby - 2002 |
| 5 | Software Verification and System Assurance – John Rushby - 2009 |
| the NASA Aeronautics and Space Database – Alwyn Goodloe, Lee Pike | |
| Cyber-Physical Systems ∗ – Oleg Sokolsky, Insup Lee, Oleg Sokolsky, Insup Lee, Mats Heimdahl | |
| 3 | A safety-case approach for certifying adaptive systems – John Rushby - 2009 |
| Software Assurance for Systems of Systems – John Goodenough, Linda Northrop | |
| Toward a Formalism for Conservative Claims about the Dependability of Software-Based Systems – Peter Bishop, Robin Bloomfield, Ieee Computer Society, Bev Littlewood, Ieee Computer Society, Andrey Povyakalo, David Wright | |
| the Seventh Framework Programme State of the Art – Author(s) Aad Van Moorsel, Eugenio Alberdi, Raul Barbosa, Robin Bloomfield, João Durães, Rosaria Esposito, Lorenzo Falai, Johan Karlsson, Paolo Lollini, Vladimir Stankovic, Lorenzo Strigini, Michele Vadursi, Marco Vieira, Katinka Wolter, Huqiu Zhang, Eugenio Alberdi, Raul Barbosa, Robin Bloomfield, João Durães, Rosaria Esposito, Lorenzo Falai, Johan Karlsson, Gergely Pinter, Vladimir Stankovic, Lorenzo Strigini, Marco Vieira, Katinka Wolter, Huqiu Zhang - 2009 | |
| 3 | An Evidential Tool Bus – John Rushby - 2005 |
| 2 | Reliability Validation of Group Membership Services for X-by-Wire Protocols – Elizabeth Ann Latronico - 2005 |
| Safety Critical Systems Engineering – Msc Dissertation, Keith Moore, Dr. Mark Nicholson - 2005 | |
| 1 | Application of a Commercial Assurance Case Tool to Support Software Certification Services. – Luke Emmet, Sofia Guerra, Adelard Drysdale Building |
| 27 | Security requirements engineering: A framework for representation and analysis – Charles B. Haley, Robin Laney, Jonathan D. Moffett, Bashar Nuseibeh - 2008 |
| Security Requirements Engineering: A Framework for Representation and Analysis – How To Cite, Charles B. Laney, Robin Moffett, Jonathan D, Bashar Security Requirements, Charles B. Haley, Robin Laney, Jonathan D. Moffett, Bashar Nuseibeh, Ieee Computer Society | |
| 3 | Engineering Safety-Critical Complex Systems – Robert Alexander, Ruth Alexander-Brown, Tim Kelly |
| Cases for Software-based Systems in a Regulatory – Keishi Okamoto, Makoto Takeyama, Keishi Okamoto, Makoto Takeyama | |
| Game-Changing Tools and Practices Static Analysis Is Not Just for Finding Bugs – unknown authors | |
| A Case for Dynamic Risk Assessment in NEC Systems of Systems – Jonathan M. Aitken, Rob Alex, Tim Kelly |
