default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID38th SAFECOMP 2019: Turku, Finland
- Alexander B. Romanovsky, Elena Troubitsyna, Friedemann Bitsch:
Computer Safety, Reliability, and Security - 38th International Conference, SAFECOMP 2019, Turku, Finland, September 11-13, 2019, Proceedings. Lecture Notes in Computer Science 11698, Springer 2019, ISBN 978-3-030-26600-4
Formal Verification
- Josselin Giet
, Laurent Mauborgne, Daniel Kästner, Christian Ferdinand:
Towards Zero Alarms in Sound Static Analysis of Finite State Machines. 3-18 - Tasuku Ishigooka, Satoshi Otsuka, Kazuyoshi Serizawa, Ryo Tsuchiya, Fumio Narisawa:
Graceful Degradation Design Process for Autonomous Driving System. 19-34 - Joshua A. Bockenek, Freek Verbeek, Peter Lammich, Binoy Ravindran:
Formal Verification of Memory Preservation of x86-64 Binaries. 35-49
Autonomous Driving
- Philippe A. Palanque, Andy Cockburn, Léopold Désert-Legendre, Carl Gutwin, Yannick Deleris:
Brace Touch: A Dependable, Turbulence-Tolerant, Multi-touch Interaction Technique for Interactive Cockpits. 53-68 - Florian Hauer, Alexander Pretschner, Bernd Holzmüller:
Fitness Functions for Testing Automated and Autonomous Driving Systems. 69-84 - Kester Dean Clegg, Mole Li, David Stamp, Alan Grigg, John A. McDermid:
A SysML Profile for Fault Trees - Linking Safety Models to System Design. 85-93
Safety and Reliability Modeling
- Ulrich Thomas Gabor, Simon Dierl, Olaf Spinczyk:
Spectrum-Based Fault Localization in Deployed Embedded Systems with Driver Interaction Models. 97-112 - Ayhan Mehmed, Moritz Antlanger, Wilfried Steiner, Sasikumar Punnekkat:
Forecast Horizon for Automated Safety Actions in Automated Driving Systems. 113-127 - Robert Altschaffel, Mario Hildebrandt, Stefan Kiltz, Jana Dittmann:
Digital Forensics in Industrial Control Systems. 128-136
Security Engineering and Risk Assessment
- Kai Ding, Andrey Morozov, Klaus Janschek:
Efficient Model-Level Reliability Analysis of Simulink Models. 139-154 - Lisa Jöckel, Michael Kläs:
Increasing Trust in Data-Driven Model Validation - A Framework for Probabilistic Augmentation of Images and Meta-data Generation Using Application Scope Characteristics. 155-164 - Chiara Picardi, Richard Hawkins, Colin Paterson, Ibrahim Habli:
A Pattern for Arguing the Assurance of Machine Learning in Medical Diagnosis Systems. 165-179
Safety Argumentation
- Herson Esquivel-Vargas, Marco Caselli, Erik Tews, Doina Bucur, Andreas Peter:
BACRank: Ranking Building Automation and Control System Components by Business Continuity Impact. 183-199 - Alessandro Cimatti, Rance DeLong, Ivan Stojic, Stefano Tonetta:
Model-Based Run-Time Synthesis of Architectural Configurations for Adaptive MILS Systems. 200-215 - Fábio Luiz Leite Jr., Daniel Schneider, Rasmus Adler:
Dynamic Risk Assessment Enabling Automated Interventions for Medical Cyber-Physical Systems. 216-231
Verification and Validation of Autonomous Systems
- Jelena Frtunikj:
Practical Experience Report: Engineering Safe Deep Neural Networks for Automated Driving Systems. 235-244 - Philip Koopman, Beth Osyk, Jack Weast:
Autonomous Vehicles Meet the Physical World: RSS, Variability, Uncertainty, and Proving Safety. 245-253 - Jan Reich, Marc Zeller, Daniel Schneider:
Automated Evidence Analysis of Safety Arguments Using Digital Dependability Identities. 254-268
Interactive Systems and Design Validation
- Tim Gonschorek, Philipp Bergt, Marco Filax, Frank Ortmeier, Jan von Hoyningen-Hüne, Thorsten Piper:
SafeDeML: On Integrating the Safety Design into the System Model. 271-285 - Abdul Ghafoor Abbasi, A. Qudus Abbasi, Zaheer Khan:
Towards Trusted Security Context Exchange Protocol for SDN Based Low Latency Networks. 286-298 - Nikita Johnson, Tim Kelly:
Devil's in the Detail: Through-Life Safety and Security Co-assurance Using SSAF. 299-314
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-04-24 21:11 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:
