![](https://dblp1.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp1.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp1.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
default search action
38th SAFECOMP Workshops 2019: Turku, Finland
- Alexander B. Romanovsky, Elena Troubitsyna, Ilir Gashi, Erwin Schoitsch, Friedemann Bitsch:
Computer Safety, Reliability, and Security - SAFECOMP 2019 Workshops, ASSURE, DECSoS, SASSUR, STRIVE, and WAISE, Turku, Finland, September 10, 2019, Proceedings. Lecture Notes in Computer Science 11699, Springer 2019, ISBN 978-3-030-26249-5
7th International Workshop on Assurance Cases for Software-Intensive Systems (ASSURE 2019)
- Celso M. Hirata
, Simin Nadjm-Tehrani
:
Combining GSN and STPA for Safety Arguments. 5-15 - Shuji Kinoshita, Yoshiki Kinoshita, Makoto Takeyama:
A Modelling Approach for System Life Cycles Assurance. 16-27 - Damir Nesic, Mattias Nyberg:
Modular Safety Cases for Product Lines Based on Assume-Guarantee Contracts. 28-40
14th International ERCIM/EWICS/ARTEMIS Workshop on Dependable Smart Embedded Cyber-Physical Systems and Systems-of-Systems (DECSoS 2019)
- Loui Al Sardy
, Andreas Neubaum, Francesca Saglietti, Daniel Rudrich:
Comparative Evaluation of Security Fuzzing Approaches. 49-61 - Magdy El Sadany, Christoph Schmittner, Wolfgang Kastner:
Assuring Compliance with Protection Profiles with ThreatGet. 62-73 - Lijun Shan, Behrooz Sangchoolie, Peter Folkesson, Jonny Vinter
, Erwin Schoitsch, Claire Loiseaux:
A Survey on the Applicability of Safety, Security and Privacy Standards in Developing Dependable Systems. 74-86 - Siddhartha Verma, Thomas Gruber, Christoph Schmittner, Peter P. Puschner
:
Combined Approach for Safety and Security. 87-101 - Jürgen Dobaj
, Christoph Schmittner
, Michael Krisper
, Georg Macher
:
Towards Integrated Quantitative Security and Safety Risk Assessment. 102-116 - Torge Hinrichs, Bettina Buth:
Potential Use of Safety Analysis for Risk Assessments in Smart City Sensor Network Applications. 117-126 - Uwe Becker
:
Increasing Safety of Neural Networks in Medical Devices. 127-136 - Martin Pfatrisch
, Linda Grefen
, Hans Ehm:
Smart Wristband for Voting. 137-147
8th International Workshop on Next Generation of System Assurance Approaches for Safety-Critical Systems (SASSUR 2019)
- Christoph Schmittner, Georg Macher
:
Automotive Cybersecurity Standards - Relation and Overview. 153-165 - Nikita Bhardwaj Haupt, Peter Liggesmeyer:
A Runtime Safety Monitoring Approach for Adaptable Autonomous Systems. 166-177 - Nikita Johnson, Tim Kelly:
Structured Reasoning for Socio-Technical Factors of Safety-Security Assurance. 178-184 - Andrea Ceccarelli
, Davide Basile, Andrea Bondavalli
, Lorenzo Falai, Alessandro Fantechi, Sandro Ferrari, Gianluca Mandò, Nicola Nostro, Luigi Rucher:
The SISTER Approach for Verification and Validation: A Lightweight Process for Reusable Results. 185-197
2nd International Workshop on Safety, securiTy, and pRivacy In automotiVe systEms (STRIVE 2019)
- Gianpiero Costantino, Ilaria Matteucci
:
Demo: CANDY CREAM. 203-209 - Bogdan Groza
, Lucian Popa, Pal-Stefan Murvay
:
CarINA - Car Sharing with IdeNtity Based Access Control Re-enforced by TPM. 210-222 - Lucas Davi, Denis Hatebur, Maritta Heisel, Roman Wirtz:
Combining Safety and Security in Autonomous Cars Using Blockchain Technologies. 223-234 - Aymen Boudguiga
, Jérôme Letailleur, Renaud Sirdey
, Witold Klaudel:
Enhancing CAN Security by Means of Lightweight Stream-Ciphers and Protocols. 235-250 - Mujahid Muhammad
, Paul Kearney
, Adel Aneiba
, Andreas Kunz:
Analysis of Security Overhead in Broadcast V2V Communications. 251-263 - Giampaolo Bella, Pietro Biondi
:
You Overtrust Your Printer. 264-274
2nd International Workshop on Artificial Intelligence Safety Engineering (WAISE 2019)
- Xinwei Fang, Nikita Johnson:
Three Reasons Why: Framing the Challenges of Assuring AI. 281-287 - Rick Salay, Krzysztof Czarnecki:
Improving ML Safety with Partial Specifications. 288-300 - John Törnblom
, Simin Nadjm-Tehrani:
An Abstraction-Refinement Approach to Formal Verification of Tree Ensembles. 301-313 - Vahid Behzadan, William H. Hsu:
RL-Based Method for Benchmarking the Adversarial Resilience and Robustness of Deep Reinforcement Learning Policies. 314-325 - Philip Koopman
, Uma Ferrell, Frank Fratrik, Michael Wagner:
A Safety Standard Approach for Fully Autonomous Vehicles. 326-332 - Matthias Woehrle, Christoph Gladisch, Christian Heinzemann:
Open Questions in Testing of Learned Computer Vision Functions for Automated Driving. 333-345 - Nico Hochgeschwender:
Adaptive Deployment of Safety Monitors for Autonomous Systems. 346-357 - Michael Kläs, Lena Sembach:
Uncertainty Wrappers for Data-Driven Models - Increase the Transparency of AI/ML-Based Models Through Enrichment with Dependable Situation-Aware Uncertainty Estimates. 358-364 - Simon Burton, Lydia Gauerhof
, Bibhuti Bhusan Sethy, Ibrahim Habli, Richard Hawkins:
Confidence Arguments for Evidence of Performance in Machine Learning for Highly Automated Driving Functions. 365-377 - Buu Phan, Samin Khan, Rick Salay, Krzysztof Czarnecki:
Bayesian Uncertainty Quantification with Synthetic Data. 378-390 - Jacques Robin, Raúl Mazo, Henrique Madeira, Raul Barbosa
, Daniel Diaz
, Salvador Abreu
:
A Self-certifiable Architecture for Critical Systems Powered by Probabilistic Logic Artificial Intelligence. 391-397 - Yutaka Matsuno, Fuyuki Ishikawa
, Susumu Tokumoto:
Tackling Uncertainty in Safety Assurance for Machine Learning: Continuous Argument Engineering with Attributed Tests. 398-404 - Alexandre Moreira Nascimento, Lucio Flavio Vismari
, Anna Carolina Muller Queiroz
, Paulo Sérgio Cugnasca
, João Batista Camargo Jr., Jorge Rady de Almeida Jr.
:
The Moral Machine: Is It Moral? 405-410
![](https://dblp1.uni-trier.de/img/cog.dark.24x24.png)
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.