default search action
Search dblp for Publications
export results for "toc:db/conf/safecomp/safecomp2021.bht:"
@inproceedings{DBLP:conf/safecomp/0005JG021, author = {Sascha M{\"{u}}ller and Adeline Jordon and Andreas Gerndt and Thomas Noll}, editor = {Ibrahim Habli and Mark Sujan and Friedemann Bitsch}, title = {A Modular Approach to Non-deterministic Dynamic Fault Trees}, booktitle = {Computer Safety, Reliability, and Security - 40th International Conference, {SAFECOMP} 2021, York, UK, September 8-10, 2021, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {12852}, pages = {243--257}, publisher = {Springer}, year = {2021}, url = {https://doi.org/10.1007/978-3-030-83903-1\_16}, doi = {10.1007/978-3-030-83903-1\_16}, timestamp = {Thu, 16 Sep 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/safecomp/0005JG021.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/safecomp/BozokiP21, author = {Szil{\'{a}}rd Boz{\'{o}}ki and Andr{\'{a}}s Pataricza}, editor = {Ibrahim Habli and Mark Sujan and Friedemann Bitsch}, title = {{IT} Design for Resiliency Using Extreme Value Analysis}, booktitle = {Computer Safety, Reliability, and Security - 40th International Conference, {SAFECOMP} 2021, York, UK, September 8-10, 2021, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {12852}, pages = {51--66}, publisher = {Springer}, year = {2021}, url = {https://doi.org/10.1007/978-3-030-83903-1\_4}, doi = {10.1007/978-3-030-83903-1\_4}, timestamp = {Wed, 01 Sep 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/safecomp/BozokiP21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/safecomp/BurtonKSSUGB21, author = {Simon Burton and Iwo Kurzidem and Adrian Schwaiger and Philipp Schleiss and Michael Unterreiner and Torben Gr{\"{a}}ber and Philipp Becker}, editor = {Ibrahim Habli and Mark Sujan and Friedemann Bitsch}, title = {Safety Assurance of Machine Learning for Chassis Control Functions}, booktitle = {Computer Safety, Reliability, and Security - 40th International Conference, {SAFECOMP} 2021, York, UK, September 8-10, 2021, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {12852}, pages = {149--162}, publisher = {Springer}, year = {2021}, url = {https://doi.org/10.1007/978-3-030-83903-1\_10}, doi = {10.1007/978-3-030-83903-1\_10}, timestamp = {Sun, 06 Oct 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/safecomp/BurtonKSSUGB21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/safecomp/CarlanGS21, author = {Carmen C{\^{a}}rlan and Barbara Gallina and Liana Soima}, editor = {Ibrahim Habli and Mark Sujan and Friedemann Bitsch}, title = {Safety Case Maintenance: {A} Systematic Literature Review}, booktitle = {Computer Safety, Reliability, and Security - 40th International Conference, {SAFECOMP} 2021, York, UK, September 8-10, 2021, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {12852}, pages = {115--129}, publisher = {Springer}, year = {2021}, url = {https://doi.org/10.1007/978-3-030-83903-1\_8}, doi = {10.1007/978-3-030-83903-1\_8}, timestamp = {Thu, 26 Aug 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/safecomp/CarlanGS21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/safecomp/DamourGGGGHHPPC21, author = {Mathieu Damour and Florence de Grancey and Christophe Gabreau and Adrien Gauffriau and Jean{-}Brice Ginestet and Alexandre Hervieu and Thomas Huraux and Claire Pagetti and Ludovic Ponsolle and Arthur Clavi{\`{e}}re}, editor = {Ibrahim Habli and Mark Sujan and Friedemann Bitsch}, title = {Towards Certification of a Reduced Footprint ACAS-Xu System: {A} Hybrid ML-Based Solution}, booktitle = {Computer Safety, Reliability, and Security - 40th International Conference, {SAFECOMP} 2021, York, UK, September 8-10, 2021, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {12852}, pages = {34--48}, publisher = {Springer}, year = {2021}, url = {https://doi.org/10.1007/978-3-030-83903-1\_3}, doi = {10.1007/978-3-030-83903-1\_3}, timestamp = {Sun, 28 Apr 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/safecomp/DamourGGGGHHPPC21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/safecomp/DrabekKWIOM21, author = {Christian Drabek and Anna Kosmalska and Gereon Weiss and Tasuku Ishigooka and Satoshi Otsuka and Mariko Mizuochi}, editor = {Ibrahim Habli and Mark Sujan and Friedemann Bitsch}, title = {Safe Interaction of Automated Forklifts and Humans at Blind Corners in a Warehouse with Infrastructure Sensors}, booktitle = {Computer Safety, Reliability, and Security - 40th International Conference, {SAFECOMP} 2021, York, UK, September 8-10, 2021, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {12852}, pages = {163--177}, publisher = {Springer}, year = {2021}, url = {https://doi.org/10.1007/978-3-030-83903-1\_11}, doi = {10.1007/978-3-030-83903-1\_11}, timestamp = {Sun, 02 Oct 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/safecomp/DrabekKWIOM21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/safecomp/JockelK21, author = {Lisa J{\"{o}}ckel and Michael Kl{\"{a}}s}, editor = {Ibrahim Habli and Mark Sujan and Friedemann Bitsch}, title = {Could We Relieve {AI/ML} Models of the Responsibility of Providing Dependable Uncertainty Estimates? {A} Study on Outside-Model Uncertainty Estimates}, booktitle = {Computer Safety, Reliability, and Security - 40th International Conference, {SAFECOMP} 2021, York, UK, September 8-10, 2021, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {12852}, pages = {18--33}, publisher = {Springer}, year = {2021}, url = {https://doi.org/10.1007/978-3-030-83903-1\_2}, doi = {10.1007/978-3-030-83903-1\_2}, timestamp = {Thu, 26 Aug 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/safecomp/JockelK21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/safecomp/LesageA21, author = {Benjamin Lesage and Rob Alexander}, editor = {Ibrahim Habli and Mark Sujan and Friedemann Bitsch}, title = {{SASSI:} Safety Analysis Using Simulation-Based Situation Coverage for Cobot Systems}, booktitle = {Computer Safety, Reliability, and Security - 40th International Conference, {SAFECOMP} 2021, York, UK, September 8-10, 2021, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {12852}, pages = {195--209}, publisher = {Springer}, year = {2021}, url = {https://doi.org/10.1007/978-3-030-83903-1\_13}, doi = {10.1007/978-3-030-83903-1\_13}, timestamp = {Thu, 26 Aug 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/safecomp/LesageA21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/safecomp/MengPMSD21, author = {Baoluo Meng and Saswata Paul and Abha Moitra and Kit Siu and Michael Durling}, editor = {Ibrahim Habli and Mark Sujan and Friedemann Bitsch}, title = {Automating the Assembly of Security Assurance Case Fragments}, booktitle = {Computer Safety, Reliability, and Security - 40th International Conference, {SAFECOMP} 2021, York, UK, September 8-10, 2021, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {12852}, pages = {101--114}, publisher = {Springer}, year = {2021}, url = {https://doi.org/10.1007/978-3-030-83903-1\_7}, doi = {10.1007/978-3-030-83903-1\_7}, timestamp = {Wed, 01 Sep 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/safecomp/MengPMSD21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/safecomp/OakesMMVD21, author = {Bentley James Oakes and Mehrdad Moradi and Simon Van Mierlo and Hans Vangheluwe and Joachim Denil}, editor = {Ibrahim Habli and Mark Sujan and Friedemann Bitsch}, title = {Machine Learning-Based Fault Injection for Hazard Analysis and Risk Assessment}, booktitle = {Computer Safety, Reliability, and Security - 40th International Conference, {SAFECOMP} 2021, York, UK, September 8-10, 2021, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {12852}, pages = {178--192}, publisher = {Springer}, year = {2021}, url = {https://doi.org/10.1007/978-3-030-83903-1\_12}, doi = {10.1007/978-3-030-83903-1\_12}, timestamp = {Wed, 01 Sep 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/safecomp/OakesMMVD21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/safecomp/Paterson0GCPB21, author = {Colin Paterson and Haoze Wu and John Grese and Radu Calinescu and Corina S. Pasareanu and Clark W. Barrett}, editor = {Ibrahim Habli and Mark Sujan and Friedemann Bitsch}, title = {DeepCert: Verification of Contextually Relevant Robustness for Neural Network Image Classifiers}, booktitle = {Computer Safety, Reliability, and Security - 40th International Conference, {SAFECOMP} 2021, York, UK, September 8-10, 2021, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {12852}, pages = {3--17}, publisher = {Springer}, year = {2021}, url = {https://doi.org/10.1007/978-3-030-83903-1\_5}, doi = {10.1007/978-3-030-83903-1\_5}, timestamp = {Sat, 30 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/safecomp/Paterson0GCPB21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/safecomp/PiazzesiHC21, author = {Niccol{\`{o}} Piazzesi and Massimo Hong and Andrea Ceccarelli}, editor = {Ibrahim Habli and Mark Sujan and Friedemann Bitsch}, title = {Attack and Fault Injection in Self-driving Agents on the Carla Simulator - Experience Report}, booktitle = {Computer Safety, Reliability, and Security - 40th International Conference, {SAFECOMP} 2021, York, UK, September 8-10, 2021, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {12852}, pages = {210--225}, publisher = {Springer}, year = {2021}, url = {https://doi.org/10.1007/978-3-030-83903-1\_14}, doi = {10.1007/978-3-030-83903-1\_14}, timestamp = {Mon, 03 Jan 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/safecomp/PiazzesiHC21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/safecomp/PullenL021, author = {Dominik P{\"{u}}llen and Jonas Liske and Stefan Katzenbeisser}, editor = {Ibrahim Habli and Mark Sujan and Friedemann Bitsch}, title = {{ISO/SAE} 21434-Based Risk Assessment of Security Incidents in Automated Road Vehicles}, booktitle = {Computer Safety, Reliability, and Security - 40th International Conference, {SAFECOMP} 2021, York, UK, September 8-10, 2021, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {12852}, pages = {82--97}, publisher = {Springer}, year = {2021}, url = {https://doi.org/10.1007/978-3-030-83903-1\_6}, doi = {10.1007/978-3-030-83903-1\_6}, timestamp = {Thu, 26 Aug 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/safecomp/PullenL021.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/safecomp/SchmidtFHHS0S21, author = {Andreas Schmidt and Joshua Frey and Daniel Hillen and Jessica Horbelt and Markus Schandar and Daniel Schneider and Ioannis Sorokos}, editor = {Ibrahim Habli and Mark Sujan and Friedemann Bitsch}, title = {A Framework for Automated Quality Assurance and Documentation for Pharma 4.0}, booktitle = {Computer Safety, Reliability, and Security - 40th International Conference, {SAFECOMP} 2021, York, UK, September 8-10, 2021, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {12852}, pages = {226--239}, publisher = {Springer}, year = {2021}, url = {https://doi.org/10.1007/978-3-030-83903-1\_15}, doi = {10.1007/978-3-030-83903-1\_15}, timestamp = {Thu, 10 Nov 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/safecomp/SchmidtFHHS0S21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/safecomp/ShahinKC21, author = {Ramy Shahin and Sahar Kokaly and Marsha Chechik}, editor = {Ibrahim Habli and Mark Sujan and Friedemann Bitsch}, title = {Towards Certified Analysis of Software Product Line Safety Cases}, booktitle = {Computer Safety, Reliability, and Security - 40th International Conference, {SAFECOMP} 2021, York, UK, September 8-10, 2021, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {12852}, pages = {130--145}, publisher = {Springer}, year = {2021}, url = {https://doi.org/10.1007/978-3-030-83903-1\_9}, doi = {10.1007/978-3-030-83903-1\_9}, timestamp = {Thu, 26 Aug 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/safecomp/ShahinKC21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/safecomp/ShimizuSMMNM21, author = {Koichi Shimizu and Daisuke Suzuki and Ryo Muramatsu and Hisashi Mori and Tomoyuki Nagatsuka and Tsutomu Matsumoto}, editor = {Ibrahim Habli and Mark Sujan and Friedemann Bitsch}, title = {Evaluation Framework for Performance Limitation of Autonomous Systems Under Sensor Attack}, booktitle = {Computer Safety, Reliability, and Security - 40th International Conference, {SAFECOMP} 2021, York, UK, September 8-10, 2021, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {12852}, pages = {67--81}, publisher = {Springer}, year = {2021}, url = {https://doi.org/10.1007/978-3-030-83903-1\_1}, doi = {10.1007/978-3-030-83903-1\_1}, timestamp = {Thu, 26 Aug 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/safecomp/ShimizuSMMNM21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/safecomp/StewartWHLC21, author = {Danielle Stewart and Michael W. Whalen and Mats Per Erik Heimdahl and Jing Liu and Darren D. Cofer}, editor = {Ibrahim Habli and Mark Sujan and Friedemann Bitsch}, title = {Composition of Fault Forests}, booktitle = {Computer Safety, Reliability, and Security - 40th International Conference, {SAFECOMP} 2021, York, UK, September 8-10, 2021, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {12852}, pages = {258--275}, publisher = {Springer}, year = {2021}, url = {https://doi.org/10.1007/978-3-030-83903-1\_17}, doi = {10.1007/978-3-030-83903-1\_17}, timestamp = {Thu, 26 Aug 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/safecomp/StewartWHLC21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/safecomp/2021, editor = {Ibrahim Habli and Mark Sujan and Friedemann Bitsch}, title = {Computer Safety, Reliability, and Security - 40th International Conference, {SAFECOMP} 2021, York, UK, September 8-10, 2021, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {12852}, publisher = {Springer}, year = {2021}, url = {https://doi.org/10.1007/978-3-030-83903-1}, doi = {10.1007/978-3-030-83903-1}, isbn = {978-3-030-83902-4}, timestamp = {Thu, 26 Aug 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/safecomp/2021.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
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.