default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID37th SAFECOMP Workshops 2018: Västerås, Sweden
- Barbara Gallina, Amund Skavhaug, Erwin Schoitsch, Friedemann Bitsch:
Computer Safety, Reliability, and Security - SAFECOMP 2018 Workshops, ASSURE, DECSoS, SASSUR, STRIVE, and WAISE, Västerås, Sweden, September 18, 2018, Proceedings. Lecture Notes in Computer Science 11094, Springer 2018, ISBN 978-3-319-99228-0
6th International Workshop on Assurance Cases for Software-Intensive Systems (ASSURE 2018)
- Biao Xu, Minyan Lu, Tingyang Gu, Dajian Zhang:
Research on the Classification of the Relationships Among the Same Layer Elements in Assurance Case Structure for Evaluation. 5-13 - Fuyuki Ishikawa
, Yutaka Matsuno:
Continuous Argument Engineering: Tackling Uncertainty in Machine Learning Based Systems. 14-21 - Justin W. Firestone, Myra B. Cohen:
The Assurance Recipe: Facilitating Assurance Patterns. 22-30 - Amer Surkovic, Dzana Hanic, Elena Lisova, Aida Causevic, Kristina Lundqvist, David Wenslandt, Carl Falk:
Incorporating Attacks Modeling into Safety Process. 31-41 - Yi Zhang, Brian R. Larson, John Hatcliff:
Assurance Case Considerations for Interoperable Medical Systems. 42-48 - Mike Maksimov, Nick L. S. Fung, Sahar Kokaly, Marsha Chechik:
Two Decades of Assurance Case Tools: A Survey. 49-59 - Nick L. S. Fung, Sahar Kokaly, Alessio Di Sandro, Rick Salay, Marsha Chechik:
MMINT-A: A Tool for Automated Change Impact Assessment on Assurance Cases. 60-70 - Yuto Onuma, Toshinori Takai, Tsutomu Koshiyama, Yutaka Matsuno:
D-Case Steps: New Steps for Writing Assurance Cases. 71-78
13th International ERCIM/EWICS/ARTEMIS Workshop on Dependable Smart Embedded Cyber-Physical Systems and Systems-of-Systems (DECSoS 2018)
- Ian Oliver, Aapo Kalliola, Silke Holtmanns, Yoan Miche, Gabriela Limonta, Borger Vigmostad, Kiti Müller:
A Testbed for Trusted Telecommunications Systems in a Safety Critical Environment. 87-98 - Loui Al Sardy, Francesca Saglietti, Tong Tang, Heiko Sonnenberg:
Constraint-Based Testing for Buffer Overflows. 99-111 - Inna Vistbakka, Amin Majd, Elena Troubitsyna:
Multi-layered Approach to Safe Navigation of Swarms of Drones. 112-125 - Fábio Luiz Leite Jr., Daniel Schneider, Rasmus Adler:
Dynamic Risk Management for Cooperative Autonomous Medical Cyber-Physical Systems. 126-138 - Jan Reich, Daniel Schneider:
Towards (Semi-)Automated Synthesis of Runtime Safety Models: A Safety-Oriented Design Approach for Service Architectures of Cooperative Autonomous Systems. 139-150 - Thomas Gruber, Christoph Schmittner, Martin Matschnig, Bernhard Fischer:
Co-Engineering-in-the-Loop. 151-163 - Uwe Becker:
STPA Guided Systems Engineering. 164-176 - Siddhartha Verma, Thomas Gruber, Peter P. Puschner, Christoph Schmittner, Erwin Schoitsch:
A Quantitative Approach for the Likelihood of Exploits of System Vulnerabilities. 177-189 - Reinhard Kloibhofer, Erwin Kristen, Stefan Jaksic:
Safety and Security in a Smart Production Environment. 190-201 - Matthias Herlich, Thomas Pfeiffenberger, Jia Lei Du, Peter Dorfinger:
Survey of Scenarios for Measurement of Reliable Wireless Communication in 5G. 202-213 - Abdelkader Magdy Shaaban, Erwin Kristen, Christoph Schmittner:
Application of IEC 62443 for IoT Components. 214-223 - Gonçalo de Jesus, António Casimiro, Anabela Oliveira:
Dependable Outlier Detection in Harsh Environments Monitoring Systems. 224-233
7th International Workshop on Next Generation of System Assurance Approaches for Safety-Critical Systems (SASSUR 2018)
- Tim Gonschorek, Marc Zeller, Kai Höfig, Frank Ortmeier:
Fault Trees vs. Component Fault Trees: An Empirical Study. 239-251 - John MacGregor, Simon Burton:
Challenges in Assuring Highly Complex, High Volume Safety-Critical Software. 252-264 - Hideaki Nishihara, Kenji Taguchi:
Comparing Risk Identification in Hazard Analysis and Threat Analysis. 265-277 - Leonardo González, Enrique Martí, Isidro Calvo, Alejandra Ruiz, Joshué Pérez:
Towards Risk Estimation in Automated Vehicles Using Fuzzy Logic. 278-289 - Georg Macher, Omar Veledar, Markus Bachinger, Andreas Kager, Michael Stolz, Christian Kreiner:
Integration Analysis of a Transmission Unit for Automated Driving Vehicles. 290-301 - Martin A. Skoglund, Fredrik Warg, Behrooz Sangchoolie:
In Search of Synergies in a Multi-concern Development Lifecycle: Safety and Cybersecurity. 302-313
1st International Workshop on Safety, securiTy, and pRivacy In automotiVe systEms (STRIVE 2018)
- Daisuke Souma, Akira Mori, Hideki Yamamoto, Yoichi Hata:
Counter Attacks for Bus-off Attacks. 319-330 - Tudor Andreica, Bogdan Groza, Pal-Stefan Murvay:
Applications of Pairing-Based Cryptography on Automotive-Grade Microcontrollers. 331-343 - Giampaolo Bella, Pietro Biondi:
Towards an Integrated Penetration Testing Environment for the CAN Protocol. 344-352 - Caroline Bianca Santos Tancredi Molina, Lucio Flavio Vismari, T. Fuji, João Batista Camargo Jr., Jorge Rady de Almeida Jr., Rafia Inam, Elena Fersman, Alberto Y. Hata, M. V. Marquezini:
Enhancing Sensor Capabilities of Open-Source Simulation Tools to Support Autonomous Vehicles Safety Validation. 353-364 - Alexandru Constantin Serban, Erik Poll, Joost Visser:
A Security Analysis of the ETSI ITS Vehicular Communications. 365-373 - Fabio Martinelli, Francesco Mercaldo, Vittoria Nardone, Antonella Santone, Gigliola Vaglini:
Real-Time Driver Behaviour Characterization Through Rule-Based Machine Learning. 374-386
1st International Workshop on Artificial Intelligence Safety Engineering (WAISE 2018)
- Rob Ashmore, Matthew Hill:
"Boxing Clever": Practical Techniques for Gaining Insights into Training Data and Monitoring Distribution Shift. 393-405 - Vahid Behzadan, Arslan Munir:
Mitigation of Policy Manipulation Attacks on Deep Q-Networks with Parameter-Space Noise. 406-417 - John Bragg, Ibrahim Habli:
What Is Acceptably Safe for Reinforcement Learning? 418-430 - Michael Kläs, Anna Maria Vollmer:
Uncertainty in Machine Learning Applications: A Practice-Driven Classification of Uncertainty. 431-438 - Krzysztof Czarnecki, Rick Salay:
Towards a Framework to Manage Perceptual Uncertainty for Safe Automated Driving. 439-445 - De-Jiu Chen, Kenneth Östberg, Matthias Becker, Håkan Sivencrona, Fredrik Warg:
Design of a Knowledge-Base Strategy for Capability-Aware Treatment of Uncertainties of Automated Driving Systems. 446-457 - Sina Shafaei, Stefan Kugele, Mohd Hafeez Osman, Alois C. Knoll:
Uncertainty in Machine Learning: A Safety Perspective on Autonomous Driving. 458-464 - Sebastian Schirmer, Christoph Torens, Florian Nikodem, Johann C. Dauer:
Considerations of Artificial Intelligence Safety Engineering for Unmanned Aircraft. 465-472 - Jingyue Li, Jin Zhang, Nektaria Kaloudi:
Could We Issue Driving Licenses to Autonomous Vehicles? 473-480 - Alexandre Moreira Nascimento, Lucio Flavio Vismari, Paulo Sérgio Cugnasca, João Batista Camargo Jr., Jorge Rady de Almeida Jr., Rafia Inam, Elena Fersman, Alberto Y. Hata, M. V. Marquezini:
Concerns on the Differences Between AI and System Safety Mindsets Impacting Autonomous Vehicles Safety. 481-486 - Zoë Porter, Ibrahim Habli, Helen Monkhouse, John Bragg:
The Moral Responsibility Gap and the Increasing Autonomy of Systems. 487-493 - Ilse Verdiesen, Virginia Dignum, Iyad Rahwan:
Design Requirements for a Moral Machine for Autonomous Weapons. 494-506 - Gopal P. Sarma, Nick J. Hay, Adam Safron:
AI Safety and Reproducibility: Establishing Robust Foundations for the Neuropsychology of Human Values. 507-512 - Vahid Behzadan, Arslan Munir, Roman V. Yampolskiy:
A Psychopathological Approach to Safety Engineering in AI and AGI. 513-520 - Michael Winikoff, Virginia Dignum, Frank Dignum:
Why Bad Coffee? Explaining Agent Plans with Valuings. 521-534 - Patrik Feth, Mohammed Naveed Akram, René Schuster, Oliver Wasenmüller:
Dynamic Risk Assessment for Vehicles of Higher Automation Levels by Deep Learning. 535-547 - Subramani Palanisamy Harisubramanyabalaji, Shafiq ur Réhman, Mattias Nyberg, Joakim Gustavsson:
Improving Image Classification Robustness Using Predictive Data Augmentation. 548-561
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 2025-11-28 23:52 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:
