default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID37th SAFECOMP 2018: Västerås, Sweden
- Barbara Gallina, Amund Skavhaug, Friedemann Bitsch:
Computer Safety, Reliability, and Security - 37th International Conference, SAFECOMP 2018, Västerås, Sweden, September 19-21, 2018, Proceedings. Lecture Notes in Computer Science 11093, Springer 2018, ISBN 978-3-319-99129-0
Automotive Safety Standards and Cross-Domain Reuse Potential
- Philip Koopman:
Practical Experience Report: Automotive Safety Practices vs. Accepted Principles. 3-11 - Alessandro Frigerio, Bart Vermeulen, Kees Goossens:
A Generic Method for a Bottom-Up ASIL Decomposition. 12-26 - Andreas Schwierz, Håkan Forsberg:
Assurance Benefits of ISO 26262 Compliant Microcontrollers for Safety-Critical Avionics. 27-41
Autonomous Driving and Safety Analysis
- Lydia Gauerhof
, Peter Munk, Simon Burton:
Structuring Validation Targets of a Machine Learning Function Applied to Automated Driving. 45-58 - Patrik Feth, Rasmus Adler, Takeshi Fukuda, Tasuku Ishigooka, Satoshi Otsuka, Daniel Schneider, Denis Uecker, Kentaro Yoshimura:
Multi-aspect Safety Engineering for Highly Automated Driving - Looking Beyond Functional Safety and Established Standards and Methodologies. 59-72 - Christoph Dropmann, Eike Thaden, Mario Trapp, Denis Uecker, Rakshith Amarnath, Leandro Avila da Silva, Peter Munk, Markus Schweizer, Matthias Jung, Rasmus Adler:
A Model-Based Safety Analysis of Dependencies Across Abstraction Layers. 73-87
Verification
- Alexei Iliasov, Dominic Taylor, Linas Laibinis, Alexander B. Romanovsky:
Formal Verification of Signalling Programs with SafeCap. 91-106 - Elena Troubitsyna, Inna Vistbakka:
Deriving and Formalising Safety and Security Requirements for Control Systems. 107-122 - Takashi Kitamura, Quentin Maissonneuve, Eun-Hye Choi, Cyrille Artho, Angelo Gargantini:
Optimal Test Suite Generation for Modified Condition Decision Coverage Using SAT Solving. 123-138 - Eckard Böde, Matthias Büker, Ulrich Eberle, Martin Fränzle, Sebastian Gerwinn, Birte Kramer:
Efficient Splitting of Test and Simulation Cases for the Verification of Highly Automated Driving Functions. 139-153
Multi-Concern Assurance
- Michael M. Huber, Michael Brunner, Clemens Sauerwein, Carmen Cârlan, Ruth Breu:
Roadblocks on the Highway to Secure Cars: An Exploratory Survey on the Current Safety and Security Practice of the Automotive Industry. 157-171 - Thomas Chowdhury, Eric Lesiuta, Kerianne Rikley, Chung-Wei Lin, Eunsuk Kang, BaekGyu Kim, Shinichi Shiraishi, Mark Lawford, Alan Wassyng:
Safe and Secure Automotive Over-the-Air Updates. 172-187 - Venesa Watson, Mahlet Bejiga:
Dependability Analysis of the AFDX Frame Management Design. 188-202
Fault Tolerance
- Christoph Schorn, Andre Guntoro, Gerd Ascheid:
Efficient On-Line Error Detection and Mitigation for Deep Neural Network Accelerators. 205-219 - Jens Vankeirsbilck, Niels Penneman, Hans Hallez, Jeroen Boydens:
Random Additive Control Flow Error Detection. 220-234 - Zoha Moztarzadeh:
Fault-Tolerant Clock Synchronization with Only Two Redundant Paths. 235-249 - Kai Ding, Andrey Morozov, Klaus Janschek:
MORE: MOdel-based REdundancy for Simulink. 250-264
Safety and Security Risk
- Hafizul Asad, Ilir Gashi:
Diversity in Open Source Intrusion Detection Systems. 267-281 - Sarah Haas, Andrea Höller, Thomas Ulz, Christian Steger:
Inter-device Sensor-Fusion for Action Authorization on Industrial Mobile Robots. 282-296 - Bernhard Hulin, Hermann Kaindl, Roland Beckert, Thomas Rathfux, Roman Popp:
Towards a Common Ontology of Safety Risk Concepts for Railway Vehicles and Signaling. 297-310
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-10-18 19:34 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:
