Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID38th 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
a service of 
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-08-23 18: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:
