Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID32nd SAFECOMP 2013: Toulouse, France
- Friedemann Bitsch, Jérémie Guiochet, Mohamed Kaâniche:
Computer Safety, Reliability, and Security - 32nd International Conference, SAFECOMP 2013, Toulouse, France, September 24-27, 2013. Proceedings. Lecture Notes in Computer Science 8153, Springer 2013, ISBN 978-3-642-40792-5
Invited Paper
- John Rushby:
Logic and Epistemology in Safety Cases. 1-7
Safety Requirements and Assurance
- Janusz Górski
, Aleksander Jarzebowicz, Jakub Miler:
Comparative Conformance Cases for Monitoring Multiple Implementations of Critical Requirements. 8-20 - Ewen Denney, Ganesh Pai:
A Formal Basis for Safety Case Patterns. 21-32
Testing and Verification
- James Arnold, Rob Alexander:
Testing Autonomous Robot Control Software Using Procedural Content Generation. 33-44 - Jimmy Lauret, Jean-Charles Fabre, Hélène Waeselynck:
Fine-Grained Implementation of Fault Tolerance Mechanisms with AOP: To What Extent? 45-56 - Yuliya Prokhorova, Elena Troubitsyna, Linas Laibinis, Dubravka Ilic, Timo Latvala:
Formalisation of an Industrial Approach to Monitoring Critical Data. 57-69
Security
- Pierre Kleberger, Tomas Olovsson:
Protecting Vehicles Against Unauthorised Diagnostics Sessions Using Trusted Third Parties. 70-81 - Guillaume Bouffard, Bhagyalekshmy N. Thampi, Jean-Louis Lanet:
Vulnerability Analysis on Smart Cards Using Fault Tree. 82-93 - Ilir Gashi, Bertrand Sobesto, Vladimir Stankovic, Michel Cukier:
Does Malware Detection Improve with Diverse AntiVirus Products? An Empirical Study. 94-105
Software Reliability Assessment
- Lorenzo Strigini, Andrey Povyakalo:
Software Fault-Freeness and Reliability Predictions. 106-117 - Peter Bishop:
Does Software Have to Be Ultra Reliable in Safety Critical Systems? 118-129
Practical Experience Reports and Tools I
- Alexei Iliasov, Ilya Lopatkin, Alexander B. Romanovsky:
The SafeCap Platform for Modelling Railway Safety and Capacity. 130-137 - Thomas Novak, Christoph Stoegerer:
Embedded System Platform for Safety-Critical Road Traffic Signal Applications. 138-145 - Anthony Dessiatnikoff, Eric Alata, Yves Deswarte, Vincent Nicomette:
Low-Level Attacks on Avionics Embedded Systems. 146-153
Safety Assurance in Automotive
- John Birch, Roger Rivett, Ibrahim Habli, Ben Bradshaw, John Botham, Dave Higham, Peter Jesty, Helen Monkhouse, Robert Palin:
Safety Cases and Their Role in ISO 26262 Functional Safety Assessment. 154-165 - Jonas Westman, Mattias Nyberg, Martin Törngren:
Structuring Safety Requirements in ISO 26262 Using Contract Theory. 166-177
Error Control Codes
- Luis J. Saiz-Adalid, Pedro J. Gil-Vicente, Juan-Carlos Ruiz-Garcia, Daniel Gil-Tomas, Juan Carlos Baraza, Joaquin Gracia-Moran:
Flexible Unequal Error Control Codes with Selectable Error Detection and Correction Levels. 178-189 - Ute Schiffel:
Safety Transformations: Sound and Complete? 190-201
Invited Paper
- Sami Haddadin, Sven Parusel, Rico Belder, Alin Albu-Schäffer:
It Is (Almost) All about Human Safety: A Novel Paradigm for Robot Design, Control, and Planning. 202-215
Dependable User Interfaces
- Célia Martinie, Philippe A. Palanque, Martina Ragosta, Mark-Alexander Sujan, David Navarre, Alberto Pasquini:
Understanding Functional Resonance through a Federation of Models: Preliminary Findings of an Avionics Case Study. 216-227 - Paolo Masci, Anaheed Ayoub, Paul Curzon, Insup Lee, Oleg Sokolsky, Harold W. Thimbleby:
Model-Based Development of the Generic PCA Infusion Pump User Interface Prototype in PVS. 228-240
Practical Experience Reports and Tools II
- Bernhard Ern, Viet Yen Nguyen, Thomas Noll:
Characterization of Failure Effects on AADL Models. 241-252 - Thomas Gruber, Georg Neubauer, Andreas Weinfurter, Petr Böhm, Kurt Lamedschwandner:
Derived Hazard Analysis Method for Critical Infrastructures. 253-264 - Fatemeh Ayatolahi, Behrooz Sangchoolie, Roger Johansson, Johan Karlsson:
A Study of the Impact of Single Bit-Flip and Double Bit-Flip Errors on Program Execution. 265-276
Hazard and Failure Mode Analysis
- Ermeson C. Andrade, Marcelo Alves, Rúbens de Souza Matos Júnior, Bruno Silva, Paulo Romero Martins Maciel:
OpenMADS: An Open Source Tool for Modeling and Analysis of Distributed Systems. 277-284 - Jessica Jung, Andreas Jedlitschka, Kai Höfig, Dominik Domis, Martin Hiller:
A Controlled Experiment on Component Fault Trees. 285-292 - Florian Arnold, Axel Belinfante, Freark I. van der Berg, Dennis Guck, Mariëlle Stoelinga:
DFTCalc: A Tool for Efficient Fault Tree Analysis. 293-301
a service of 
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-04-19 19:18 CEST 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:
