default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID39th SAFECOMP Workshops 2020: Lisbon, Portugal
- António Casimiro
, Frank Ortmeier, Erwin Schoitsch, Friedemann Bitsch, Pedro M. Ferreira:
Computer Safety, Reliability, and Security. SAFECOMP 2020 Workshops - DECSoS 2020, DepDevOps 2020, USDAI 2020, and WAISE 2020, Lisbon, Portugal, September 15, 2020, Proceedings. Lecture Notes in Computer Science 12235, Springer 2020, ISBN 978-3-030-55582-5
15th International Workshop on Dependable Smart Cyber-Physical Systems and Systems-of-Systems (DECSoS 2020)
- Yuvaraj Selvaraj, Zhennan Fei, Martin Fabian:
Supervisory Control Theory in System Safety Analysis. 9-22 - Nobuaki Tanaka, Hisashi Yomiya, Kiyoshi Ogawa:
A Method to Support the Accountability of Safety Cases by Integrating Safety Analysis and Model-Based Design. 23-35 - Nadja Marko, Alexandr Vasenev, Christoph Striecks:
Collecting and Classifying Security and Privacy Design Patterns for Connected Vehicles: SECREDAS Approach. 36-53 - Jabier Martinez, Jean Godot, Alejandra Ruiz, Abel Balbis, Ricardo Ruiz Nolasco:
Safety and Security Interference Analysis in the Design Stage. 54-68 - Ehsan Poorhadi, Elena Troubitysna, György Dán:
Formalising the Impact of Security Attacks on IoT Safety. 69-81 - Ramneet Kaur, Radoslav Ivanov, Matthew Cleaveland, Oleg Sokolsky, Insup Lee:
Assurance Case Patterns for Cyber-Physical Systems with Deep Neural Networks. 82-97 - Daniel Kästner, Christoph Cullmann, Gernot Gebhard, Sebastian Hahn, Thomas Karos, Laurent Mauborgne, Stephan Wilhelm, Christian Ferdinand:
Safety-Critical Software Development in C++. 98-110 - Michael Platzer, Peter P. Puschner:
An Instruction Filter for Time-Predictable Code Execution on Standard Processors. 111-122 - Georg Macher, Christoph Schmittner, Omar Veledar, Eugen Brenner:
ISO/SAE DIS 21434 Automotive Cybersecurity Standard - In a Nutshell. 123-135 - Harrison Kurunathan, Ricardo Severino, Enio Vasconcelos Filho, Eduardo Tovar:
WiCAR - Simulating Towards the Wireless Car. 136-147 - Lucie Langer, Arndt Bonitz, Christoph Schmittner, Stefan Ruehrup:
Automated Right of Way for Emergency Vehicles in C-ITS: An Analysis of Cyber-Security Risks. 148-160 - Ronny Bäckman, Ian Oliver, Gabriela Limonta:
Integrity Checking of Railway Interlocking Firmware. 161-175 - Reinhard Kloibhofer, Erwin Kristen, Luca Davoli:
LoRaWAN with HSM as a Security Improvement for Agriculture Applications. 176-188
1st International Workshop on Dependable Development-Operation Continuum Methods for Dependable Cyber-Physical System (DepDevOps 2020)
- Smitha Gautham, Athira V. Jayakumar, Carl R. Elks:
Multilevel Runtime Security and Safety Monitoring for Cyber Physical Systems Using Model-Based Engineering. 193-204 - Miriam Ugarte Querejeta, Leire Etxeberria, Goiuria Sagardui:
Towards a DevOps Approach in Cyber Physical Production Systems Using Digital Twins. 205-216 - Wanja Zaeske, Umut Durak:
Leveraging Semi-formal Approaches for DepDevOps. 217-222
1st International Workshop on Underpinnings for Safe Distributed Artificial Intelligence (USDAI 2020)
- Annanda Rath, Wim Codenie, Anna Hristoskova:
Towards Building Data Trust and Transparency in Data-Driven Business Applications. 229-242 - Kevin Van Vaerenbergh, Henrique Cabral, Pierre Dagnely, Tom Tourwé:
Distributed AI for Special-Purpose Vehicles. 243-254 - Franklin Selgert:
Cynefin Framework, DevOps and Secure IoT - Understanding the Nature of IoT Systems and Exploring Where in the DevOps Cycle Easy Gains Can Be Made to Increase Their Security. 255-265 - Simon D. Duque Antón, Daniel Fraunholz, Daniel Krohmer, Daniel Reti, Hans D. Schotten, Franklin Selgert, Marcell Marosvölgyi, Morten Larsen, Krishna Sudhakar, Tobias Koch, Till Witt, Cédric Bassem:
Creating It from SCRATCh: A Practical Approach for Enhancing the Security of IoT-Systems in a DevOps-Enabled Software Development Environment. 266-281
3rd International Workshop on Artificial Intelligence Safety Engineering (WAISE 2020)
- Stephanie Abrecht, Maram Akila, Sujan Sai Gannamaneni, Konrad Groh, Christian Heinzemann, Sebastian Houben, Matthias Woehrle:
Revisiting Neuron Coverage and Its Application to Test Generation. 289-301 - Pierre-Yves Lagrave:
A Principal Component Analysis Approach for Embedding Local Symmetries into Deep Learning Algorithms. 302-314 - Michael Kläs, Lisa Jöckel:
A Framework for Building Uncertainty Wrappers for AI/ML-Based Data-Driven Components. 315-327 - Tewodros A. Beyene, Amit Sahu:
Rule-Based Safety Evidence for Neural Networks. 328-335 - Oliver Willers, Sebastian Sudholt, Shervin Raafatnia, Stephanie Abrecht:
Safety Concerns and Mitigation Approaches Regarding the Use of Deep Learning in Safety-Critical Perception Tasks. 336-350 - Philip Koopman, Michael Wagner:
Positive Trust Balance for Self-driving Car Deployment. 351-357 - Bernd Gaßmann, Frederik Pasch, Fabian Oboril, Kay-Ulrich Scholl:
Integration of Formal Safety Models on System Level Using the Example of Responsibility Sensitive Safety and CARLA Driving Simulator. 358-369 - Ernest Wozniak, Carmen Cârlan, Esra Acar-Celik, Henrik J. Putzer:
A Safety Case Pattern for Systems with Machine Learning Components. 370-382 - Gesina Schwalbe, Bernhard Knie, Timo Sämann, Timo Dobberphul, Lydia Gauerhof, Shervin Raafatnia, Vittorio Rocco:
Structuring the Safety Argumentation for Deep Neural Network Based Perception in Automotive Applications. 383-394 - Francis Rhys Ward, Ibrahim Habli:
An Assurance Case Pattern for the Interpretability of Machine Learning in Safety-Critical Systems. 395-407 - John Birch, David Blackburn, John Botham, Ibrahim Habli, David Higham, Helen Monkhouse, Gareth Price, Norina Ratiu, Roger Rivett:
A Structured Argument for Assuring Safety of the Intended Functionality (SOTIF). 408-414
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 2026-01-29 23:10 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:
