Search dblp for Publications

export results for "toc:db/conf/safecomp/safecomp2021.bht:"

 download as .bib file

@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}
}