default search action
34th SAFECOMP Workshops 2015: Delft, The Netherlands
- Floor Koornneef, Coen van Gulijk:
Computer Safety, Reliability, and Security - SAFECOMP 2015 Workshops, ASSURE, DECSoS, ISSE, ReSA4CI, and SASSUR, Delft, The Netherlands, September 22, 2015, Proceedings. Lecture Notes in Computer Science 9338, Springer 2015, ISBN 978-3-319-24248-4
Assurance Cases for Software-Intensive Systems (ASSURE 2015)
- Victor Bandur, John Alexander McDermid:
Informing Assurance Case Review Through a Formal Interpretation of GSN Core Logic. 3-14 - Lian Duan, Sanjai Rayadurgam, Mats Per Erik Heimdahl, Oleg Sokolsky, Insup Lee:
Representing Confidence in Assurance Case Evidence. 15-26 - Kenji Taguchi, Daisuke Souma, Hideaki Nishihara:
Safe & Sec Case Patterns. 27-37 - John C. Knight, Jonathan C. Rowanhill, M. Anthony Aiello, Kimberly S. Wasson:
A Comprehensive Safety Lifecycle. 38-49 - Shuichiro Yamamoto:
An Approach to Assure Dependability Through ArchiMate. 50-61 - Kateryna Netkachova, Oleksandr Netkachov, Robin E. Bloomfield:
Tool Support for Assurance Case Building Blocks - Providing a Helping Hand with CAE. 62-71 - Daniel Ratiu, Marc Zeller, Lennart Killian:
Safety.Lab: Model-Based Domain Specific Tooling for Safety Argumentation. 72-82 - John C. Knight, Jonathan C. Rowanhill, Jian Xiang:
A Safety Condition Monitoring System. 83-94 - Sam Procter
, John Hatcliff, Sandy Weininger, Anura Fernando:
Error Type Refinement for Assurance of Families of Platform-Based Systems. 95-106
EWICS/ERCIM/ARTEMIS Dependable Cyber-physical Systems and Systems-of-Systems Workshop (DECSoS 2015)
- Max Steiner, Peter Liggesmeyer:
Qualitative and Quantitative Analysis of CFTs Taking Security Causes into Account. 109-120 - Michael Roth, Peter Liggesmeyer:
Sequential Logic for State/Event Fault Trees: A Methodology to Support the Failure Modeling of Cyber Physical Systems. 121-132 - Christoph Schmittner, Zhendong Ma:
Towards a Framework for Alignment Between Automotive Safety and Security Standards. 133-143 - Francesca Saglietti, Stefan Winzinger, Raimar Lill:
Reconfiguration Testing for Cooperating Autonomous Agents. 144-155 - Sebastian Müller, Peter Liggesmeyer:
A Motion Certification Concept to Evaluate Operational Safety and Optimizing Operating Parameters at Runtime. 156-166 - Thomas Gruber, Christian Zinner:
Approach for Demonstrating Safety for a Collision Avoidance System. 167-177 - Marco Carloni, Orlando Ferrante, Alberto Ferrari, Gianpaolo Massaroli, Antonio Orazzo, Luigi Velardi:
Contract Modeling and Verification with FormalSpecs Verifier Tool-Suite - Application to Ansaldo STS Rapid Transit Metro System Use Case. 178-189 - Stylianos Basagiannis
Towards Verification of Multicore Motor-Drive Controllers in Aerospace. 190-200 - Erwin Kristen, Egbert Althammer:
FlexRay Robustness Testing Contributing to Automated Safety Certification. 201-211 - Peter Priller, Werner Gruber, Niklas Olberding, Dietmar Peinsipp:
Towards Perfectly Scalable Real-Time Systems. 212-223 - Øyvind Netland, Amund Skavhaug:
Dependable Cyber-Physical Systems with Redundant Consumer Single-Board Linux Computers. 224-234
International workshop on the Integration of Safety and Security Engineering (ISSE 2015)
- Georg Macher
A Combined Safety-Hazards and Security-Threat Analysis Method for Automotive Systems. 237-250 - Julien Brunel, David Chemouil
Safety and Security Assessment of Behavioral Properties Using Alloy. 251-263 - Alessandro Cimatti
Combining MILS with Contract-Based Design for Safety and Security Requirements. 264-276 - Binbin Chen
Security Analysis of Urban Railway Systems: The Need for a Cyber-Physical Perspective. 277-290 - Florian Arnold, Dennis Guck, Rajesh Kumar
Sequential and Parallel Attack Tree Modelling. 291-299
International Workshop on Reliability and Security Aspects for Critical Infrastructure Protection (ReSA4CI 2015)
- Andrea Ceccarelli
Analysis of Companies Gaps in the Application of Standards for Safety-Critical Software. 303-313 - Marco Tiloca, Francesco Racciatti, Gianluca Dini:
Simulative Evaluation of Security Attacks in Networked Critical Infrastructures. 314-323 - Szilvia Varró-Gyapay, Dániel László Magyar, Melinda Kocsis-Magyar, Katalin Tasi, Attila Hoangthanh Dinh, Ágota Bausz, László Gönczy:
Optimization of Reconfiguration Mechanisms in Critical Infrastructures. 324-334 - Jonas Wäfler, Poul E. Heegaard
How to Use Mobile Communication in Critical Infrastructures: A Dependability Analysis. 335-344 - Kateryna Netkachova, Robin E. Bloomfield, Peter T. Popov
Using Structured Assurance Case Approach to Analyse Security and Reliability of Critical Infrastructures. 345-354
International Workshop on Next Generation of System Assurance Approaches for Safety-Critical Systems (SASSUR-2015)
- Tiago Amorim
Multidirectional Modular Conditional Safety Certificates. 357-368 - Martin Becker, Markus Neumair, Alexander Söhn, Samarjit Chakraborty
Approaches for Software Verification of An Emergency Recovery System for Micro Air Vehicles. 369-385 - Tor Stålhane, Thor Myklebust:
The Role of CM in Agile Development of Safety-Critical Software. 386-396 - Valentin Cassano, Silviya Grigorova, Neeraj Kumar Singh, Morayo Adedjouma, Mark Lawford, T. S. E. Maibaum, Alan Wassyng:
Is Current Incremental Safety Assurance Sound? 397-408 - Uwe Becker
Dependability Arguments Supported by Fuzz-Testing. 409-420
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.
last updated on 2024-11-18 20:32 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: