default search action
41st SAFECOMP Workshops 2022: Munich, Germany
- Mario Trapp, Erwin Schoitsch, Jérémie Guiochet, Friedemann Bitsch:
Computer Safety, Reliability, and Security. SAFECOMP 2022 Workshops - DECSoS, DepDevOps, SASSUR, SENSEI, USDAI, and WAISE, Munich, Germany, September 6-9, 2022, Proceedings. Lecture Notes in Computer Science 13415, Springer 2022, ISBN 978-3-031-14861-3
17th International ERCIM/EWICS/ARTEMIS Workshop on Dependable Smart Embedded Cyber-Physical Systems and Systems-of-Systems (DECSoS 2022)
- Víctor Juan Expósito Jiménez, Helmut Martin, Christian Schwarzl, Georg Macher, Eugen Brenner:
Triggering Conditions Analysis and Use Case for Validation of ADAS/ADS Functions. 11-22 - Rainer Faller, Krystian Radlak:
A Statistical View on Automated Driving System Safety Architectures. 23-34 - Enrico Ferrari, Rupert Schlick, Jose Luis de la Vara, Peter Folkesson, Behrooz Sangchoolie:
Criteria for the Analysis of Gaps and Limitations of V&V Methods for Safety- and Security-Critical Systems. 35-46 - Andreas Neubaum, Loui Al Sardy, Marc Spisländer, Francesca Saglietti, Sara Kretschmer:
A Guided Search for Races Based on Data Flow Patterns. 47-58 - Felix Müller, Philipp Nenninger, Eric Sax:
Building a Test Bed for the Periodical Technical Inspection of Sensors Perceiving the Environment in Autonomous Vehicles. 59-70 - Michal Szczepankiewicz, Krystian Radlak, Karolina Szczepankiewicz, Adam Popowicz, Pawel Zawistowski:
Testing and Verification of the Deep Neural Networks Against Sparse Pixel Defects. 71-82 - Ill-Ham Atchadam, Laurent Lemarchand, Frank Singhoff, Hai Nam Tran:
Observing the Impact of Multicore Execution Platform for TSP Systems Under Schedulability, Security and Safety Constraints. 83-96 - Mona Gierl, Reiner Kriesten, Eric Sax:
Security Assessment Prospects as Part of Vehicle Regulations. 97-109 - Abdelkader Magdy Shaaban, Sebastian Chlup, Christoph Schmittner:
UNECE Threat List Case Study: Prediction of Cyber Risks in the Automotive Domain Using Regression Analysis. 110-122
3rd International Workshop on Dependable Development-Operation Continuum Methods for Dependable Cyber-Physical System (DepDevOps 2022)
- Luiz Cordeiro, Christian Becker, Markus Pielmeier, Julian Amann:
Watch: A Validation Framework and Language for Tool Qualification. 127-139
9th International Workshop on Next Generation of System Assurance Approaches for Critical Systems (SASSUR 2022)
- Peter Munk, Markus Schweizer:
DevOps and Safety? SafeOps! Towards Ensuring Safety in Feature-Driven Development with Frequent Releases. 145-157 - Jabier Martinez, Ángel Jesús Varela-Vaca:
Dynamic Checks of Evidence Models for Assurance Projects in Eclipse OpenCert. 158-165 - Marzana Khatun, Heinrich Litagin, Rolf Jung, Michael Glaß:
An Approach for Deriving Reduced Collision Scenarios for Highly Automated Driving Systems. 166-177 - Ilona Cieslik, Víctor Juan Expósito Jiménez, Helmut Martin, Heiko Scharke, Hannes Schneider:
State of the Art Study of the Safety Argumentation Frameworks for Automated Driving System. 178-191
1st International Workshop on Security and Safety Interaction (SENSEI 2022)
- Uwe Becker:
Increasing IoT Security by Supply Power Measurement. 197-210 - Luca Arnaboldi, David Aspinall:
Towards Interdependent Safety Security Assessments Using Bowties. 211-229
3rd International Workshop on Underpinnings for Safe Distributed Artificial Intelligence (USDAI 2022)
- Simon D. Duque Antón, Daniel Schneider, Hans D. Schotten:
On Explainability in AI-Solutions: A Cross-Domain Survey. 235-246 - Merijn van Tooren, Daniel Reti, Daniel Schneider, Cédric Bassem, Raúl Santos de la Cámara, Hans Dieter Schotten:
Research Questions in the Acceptance of Cybersecurity by SMEs in the EU. 247-255
5th International Workshop on Artificial Intelligence Safety Engineering (WAISE 2022)
- Kavya Gupta, Fateh Kaakai, Béatrice Pesquet-Popescu, Jean-Christophe Pesquet:
Safe Design of Stable Neural Networks for Fault Detection in Small UAVs. 263-275 - Václav Divis, Tobias Schuster, Marek Hrúz:
Neural Criticality Metric for Object Detection Deep Neural Networks. 276-288 - Mohammed Naveed Akram, Akshatha Ambekar, Ioannis Sorokos, Koorosh Aslansefat, Daniel Schneider:
StaDRe and StaDRo: Reliability and Robustness Estimation of ML-Based Forecasting Using Statistical Distance Measures. 289-301 - Rick Salay, Krzysztof Czarnecki:
A Safety Assurable Human-Inspired Perception Architecture. 302-315 - Florence de Grancey, Jean-Luc Adam, Lucian Alecu, Sébastien Gerchinovitz, Franck Mamalet, David Vigouroux:
Object Detection with Probabilistic Guarantees: A Conformal Prediction Approach. 316-329 - Fateh Boudardara, Abderraouf Boussif, Pierre-Jean Meyer, Mohamed Ghazel:
Interval Weight-Based Abstraction for Neural Network Verification. 330-342 - Chih-Hong Cheng, Tobias Schuster, Simon Burton:
Logically Sound Arguments for the Effectiveness of ML Safety Measures. 343-350
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.