default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID33rd SAFECOMP 2014: Florence, Italy
- Andrea Bondavalli, Felicita Di Giandomenico:
Computer Safety, Reliability, and Security - 33rd International Conference, SAFECOMP 2014, Florence, Italy, September 10-12, 2014. Proceedings. Lecture Notes in Computer Science 8666, Springer 2014, ISBN 978-3-319-10505-5
Fault Injection Techniques
- Iban Ayestaran, Carlos Fernando Nicolás
, Jon Pérez, Asier Larrucea, Peter P. Puschner:
A Simulated Fault Injection Framework for Time-Triggered Safety-Critical Embedded Systems. 1-16 - Horst Schirmeier, Christoph Borchert, Olaf Spinczyk:
Rapid Fault-Space Exploration by Evolutionary Pruning. 17-32
Verification and Validation Techniques
- Xueyi Zou, Rob Alexander, John A. McDermid:
Safety Validation of Sense and Avoid Algorithms Using Simulation and Evolutionary Search. 33-48 - Bernhard K. Aichernig, Klaus Hörmaier, Florian Lorber:
Debugging with Timed Automata Mutations. 49-64
Automotive Systems
- Kristian Beckers, Isabelle Côté, Thomas Frese, Denis Hatebur, Maritta Heisel:
Systematic Derivation of Functional Safety Requirements for Automotive Systems. 65-80 - Thomas Arts, Michele Dorigatti, Stefano Tonetta:
Making Implicit Safety Requirements Explicit - An AUTOSAR Safety Case. 81-92 - Pierre Kleberger, Tomas Olovsson:
Securing Vehicle Diagnostics in Repair Shops. 93-108
Coverage Models and Mitigation Techniques
- Jianwen Xiang, Fumio Machida, Kumiko Tadano, Yoshiharu Maeno:
Analysis of Persistence of Relevance in Systems with Imperfect Fault Coverage. 109-124 - Jianjun Xu, QingPing Tan, Zeming Shao, Hong Ning:
Exploiting Narrow Data-Width to Mask Soft Errors in Register Files. 125-138
Assurance Cases and Arguments
- Patrick John Graydon:
Towards a Clearer Understanding of Context and Its Role in Assurance Argument Confidence. 139-154 - Richard Hawkins, Alvaro Miyazawa, Ana Cavalcanti, Tim Kelly, John Rowlands:
Assurance Cases for Block-Configurable Software. 155-169 - Irfan Sljivo, Barbara Gallina, Jan Carlson, Hans Hansson:
Generation of Safety Case Argument-Fragments from Safety Contracts. 170-185
System Analysis
- Peter G. Bishop, Lorenzo Strigini:
Estimating Worst Case Failure Dependency with Partial Knowledge of the Difficulty Function. 186-201 - Daniel Kästner, Christian Ferdinand:
Proving the Absence of Stack Overflows. 202-213
Security and Trust
- Francesco Buccafurri, Luigi Coppolino, Salvatore D'Antonio, Alessia Garofalo, Gianluca Lax, Antonino Nocera, Luigi Romano:
Trust-Based Intrusion Tolerant Routing in Wireless Sensor Networks. 214-229 - Francesco Flammini, Ugo Gentile, Stefano Marrone, Roberto Nardone, Valeria Vittorini:
A Petri Net Pattern-Oriented Approach for the Design of Physical Protection Systems. 230-245 - Adrian Garcia Ramirez, Julien Schmaltz, Freek Verbeek, Bruno Langenstein, Holger Blasum:
On Two Models of Noninterference: Rushby and Greve, Wilding, and Vanfleet. 246-261
Notations/Languages for Safety-Related Aspects
- Mathilde Machin, Fanny Dufossé, Jean-Paul Blanquart, Jérémie Guiochet, David Powell, Hélène Waeselynck:
Specifying Safety Monitors for Autonomous Systems Using Model-Checking. 262-277 - Raphael Fonte Boa Trindade, Lukas Bulwahn, Christoph Ainhauser:
Automatically Generated Safety Mechanisms from Semi-Formal Software Safety Requirements. 278-293 - Ewen Denney, Dwight Naylor, Ganesh J. Pai:
Querying Safety Cases. 294-309
Safety and Security
- Christoph Schmittner, Thomas Gruber, Peter P. Puschner, Erwin Schoitsch:
Security Application of Failure Mode and Effect Analysis (FMEA). 310-325 - Siwar Kriaa, Marc Bouissou, Frederic Colin, Yoran Halgand, Ludovic Piètre-Cambacédès:
Safety and Security Interactions Modeling Using the BDMP Formalism: Case Study of a Pipeline. 326-341 - Christoph Woskowski:
A Pragmatic Approach towards Safe and Secure Medical Device Integration. 342-353
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 2025-01-30 20:18 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:
