Search dblp for Publications

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

 download as .bib file

@inproceedings{DBLP:conf/safecomp/BeyerBGB23,
  author       = {Michael Beyer and
                  Jan Micha Borrmann and
                  Andre Guntoro and
                  Holger Blume},
  editor       = {J{\'{e}}r{\'{e}}mie Guiochet and
                  Stefano Tonetta and
                  Friedemann Bitsch},
  title        = {Online Quantization Adaptation for Fault-Tolerant Neural Network Inference},
  booktitle    = {Computer Safety, Reliability, and Security - 42nd International Conference,
                  {SAFECOMP} 2023, Toulouse, France, September 20-22, 2023, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {14181},
  pages        = {243--256},
  publisher    = {Springer},
  year         = {2023},
  url          = {https://doi.org/10.1007/978-3-031-40923-3\_18},
  doi          = {10.1007/978-3-031-40923-3\_18},
  timestamp    = {Sat, 14 Oct 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/safecomp/BeyerBGB23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/safecomp/ConmyOLH23,
  author       = {Philippa Ryan Conmy and
                  Berk Ozturk and
                  Tom Lawton and
                  Ibrahim Habli},
  editor       = {J{\'{e}}r{\'{e}}mie Guiochet and
                  Stefano Tonetta and
                  Friedemann Bitsch},
  title        = {The Impact of Training Data Shortfalls on Safety of AI-Based Clinical
                  Decision Support Systems},
  booktitle    = {Computer Safety, Reliability, and Security - 42nd International Conference,
                  {SAFECOMP} 2023, Toulouse, France, September 20-22, 2023, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {14181},
  pages        = {213--226},
  publisher    = {Springer},
  year         = {2023},
  url          = {https://doi.org/10.1007/978-3-031-40923-3\_16},
  doi          = {10.1007/978-3-031-40923-3\_16},
  timestamp    = {Sun, 24 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/safecomp/ConmyOLH23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/safecomp/DeckerBL23,
  author       = {Thomas Decker and
                  Ananta R. Bhattarai and
                  Michael Lebacher},
  editor       = {J{\'{e}}r{\'{e}}mie Guiochet and
                  Stefano Tonetta and
                  Friedemann Bitsch},
  title        = {Towards Scenario-Based Safety Validation for Autonomous Trains with
                  Deep Generative Models},
  booktitle    = {Computer Safety, Reliability, and Security - 42nd International Conference,
                  {SAFECOMP} 2023, Toulouse, France, September 20-22, 2023, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {14181},
  pages        = {273--281},
  publisher    = {Springer},
  year         = {2023},
  url          = {https://doi.org/10.1007/978-3-031-40923-3\_20},
  doi          = {10.1007/978-3-031-40923-3\_20},
  timestamp    = {Fri, 15 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/safecomp/DeckerBL23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/safecomp/DeevyMMOPW23,
  author       = {Spencer Deevy and
                  Tiago de Moraes Machado and
                  Amen Modhafar and
                  Wesley O'Beirne and
                  Richard F. Paige and
                  Alan Wassyng},
  editor       = {J{\'{e}}r{\'{e}}mie Guiochet and
                  Stefano Tonetta and
                  Friedemann Bitsch},
  title        = {Redesigning Medical Device Assurance: Separating Technological and
                  Clinical Assurance Cases},
  booktitle    = {Computer Safety, Reliability, and Security - 42nd International Conference,
                  {SAFECOMP} 2023, Toulouse, France, September 20-22, 2023, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {14181},
  pages        = {25--38},
  publisher    = {Springer},
  year         = {2023},
  url          = {https://doi.org/10.1007/978-3-031-40923-3\_3},
  doi          = {10.1007/978-3-031-40923-3\_3},
  timestamp    = {Sun, 24 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/safecomp/DeevyMMOPW23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/safecomp/DorrSB23,
  author       = {Tobias D{\"{o}}rr and
                  Florian Schade and
                  J{\"{u}}rgen Becker},
  editor       = {J{\'{e}}r{\'{e}}mie Guiochet and
                  Stefano Tonetta and
                  Friedemann Bitsch},
  title        = {Pattern-Based Information Flow Control for Safety-Critical On-Chip
                  Systems},
  booktitle    = {Computer Safety, Reliability, and Security - 42nd International Conference,
                  {SAFECOMP} 2023, Toulouse, France, September 20-22, 2023, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {14181},
  pages        = {181--195},
  publisher    = {Springer},
  year         = {2023},
  url          = {https://doi.org/10.1007/978-3-031-40923-3\_14},
  doi          = {10.1007/978-3-031-40923-3\_14},
  timestamp    = {Sun, 24 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/safecomp/DorrSB23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/safecomp/DumontHMDP23,
  author       = {Mathieu Dumont and
                  Kevin Hector and
                  Pierre{-}Alain Mo{\"{e}}llic and
                  Jean{-}Max Dutertre and
                  Simon Ponti{\'{e}}},
  editor       = {J{\'{e}}r{\'{e}}mie Guiochet and
                  Stefano Tonetta and
                  Friedemann Bitsch},
  title        = {Evaluation of Parameter-Based Attacks Against Embedded Neural Networks
                  with Laser Injection},
  booktitle    = {Computer Safety, Reliability, and Security - 42nd International Conference,
                  {SAFECOMP} 2023, Toulouse, France, September 20-22, 2023, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {14181},
  pages        = {259--272},
  publisher    = {Springer},
  year         = {2023},
  url          = {https://doi.org/10.1007/978-3-031-40923-3\_19},
  doi          = {10.1007/978-3-031-40923-3\_19},
  timestamp    = {Fri, 15 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/safecomp/DumontHMDP23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/safecomp/GeisslerQPP23,
  author       = {Florian Geissler and
                  Syed Sha Qutub and
                  Michael Paulitsch and
                  Karthik Pattabiraman},
  editor       = {J{\'{e}}r{\'{e}}mie Guiochet and
                  Stefano Tonetta and
                  Friedemann Bitsch},
  title        = {A Low-Cost Strategic Monitoring Approach for Scalable and Interpretable
                  Error Detection in Deep Neural Networks},
  booktitle    = {Computer Safety, Reliability, and Security - 42nd International Conference,
                  {SAFECOMP} 2023, Toulouse, France, September 20-22, 2023, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {14181},
  pages        = {75--88},
  publisher    = {Springer},
  year         = {2023},
  url          = {https://doi.org/10.1007/978-3-031-40923-3\_7},
  doi          = {10.1007/978-3-031-40923-3\_7},
  timestamp    = {Tue, 16 Jan 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/safecomp/GeisslerQPP23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/safecomp/GotliebMS23,
  author       = {Arnaud Gotlieb and
                  Morten Mossige and
                  Helge Spieker},
  editor       = {J{\'{e}}r{\'{e}}mie Guiochet and
                  Stefano Tonetta and
                  Friedemann Bitsch},
  title        = {Constraint-Guided Test Execution Scheduling: An Experience Report
                  at {ABB} Robotics},
  booktitle    = {Computer Safety, Reliability, and Security - 42nd International Conference,
                  {SAFECOMP} 2023, Toulouse, France, September 20-22, 2023, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {14181},
  pages        = {64--72},
  publisher    = {Springer},
  year         = {2023},
  url          = {https://doi.org/10.1007/978-3-031-40923-3\_6},
  doi          = {10.1007/978-3-031-40923-3\_6},
  timestamp    = {Fri, 15 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/safecomp/GotliebMS23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/safecomp/GronerWRHPFTF23,
  author       = {Raffaela Groner and
                  Thomas Witte and
                  Alexander Raschke and
                  Sophie Hirn and
                  Irdin Pekaric and
                  Markus Frick and
                  Matthias Tichy and
                  Michael Felderer},
  editor       = {J{\'{e}}r{\'{e}}mie Guiochet and
                  Stefano Tonetta and
                  Friedemann Bitsch},
  title        = {Model-Based Generation of Attack-Fault Trees},
  booktitle    = {Computer Safety, Reliability, and Security - 42nd International Conference,
                  {SAFECOMP} 2023, Toulouse, France, September 20-22, 2023, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {14181},
  pages        = {107--120},
  publisher    = {Springer},
  year         = {2023},
  url          = {https://doi.org/10.1007/978-3-031-40923-3\_9},
  doi          = {10.1007/978-3-031-40923-3\_9},
  timestamp    = {Sun, 24 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/safecomp/GronerWRHPFTF23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/safecomp/HawkinsC23,
  author       = {Richard Hawkins and
                  Philippa Ryan Conmy},
  editor       = {J{\'{e}}r{\'{e}}mie Guiochet and
                  Stefano Tonetta and
                  Friedemann Bitsch},
  title        = {Identifying Run-Time Monitoring Requirements for Autonomous Systems
                  Through the Analysis of Safety Arguments},
  booktitle    = {Computer Safety, Reliability, and Security - 42nd International Conference,
                  {SAFECOMP} 2023, Toulouse, France, September 20-22, 2023, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {14181},
  pages        = {11--24},
  publisher    = {Springer},
  year         = {2023},
  url          = {https://doi.org/10.1007/978-3-031-40923-3\_2},
  doi          = {10.1007/978-3-031-40923-3\_2},
  timestamp    = {Sun, 24 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/safecomp/HawkinsC23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/safecomp/HeinlPPPG23,
  author       = {Michael P. Heinl and
                  Maximilian Pursche and
                  Nikolai Puch and
                  Sebastian N. Peters and
                  Alexander Giehl},
  editor       = {J{\'{e}}r{\'{e}}mie Guiochet and
                  Stefano Tonetta and
                  Friedemann Bitsch},
  title        = {From Standard to Practice: Towards {ISA/IEC} 62443-Conform Public
                  Key Infrastructures},
  booktitle    = {Computer Safety, Reliability, and Security - 42nd International Conference,
                  {SAFECOMP} 2023, Toulouse, France, September 20-22, 2023, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {14181},
  pages        = {196--210},
  publisher    = {Springer},
  year         = {2023},
  url          = {https://doi.org/10.1007/978-3-031-40923-3\_15},
  doi          = {10.1007/978-3-031-40923-3\_15},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/safecomp/HeinlPPPG23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/safecomp/HuangHWW23,
  author       = {Fuqun Huang and
                  Bing Huang and
                  Yikun Wang and
                  Yichen Wang},
  editor       = {J{\'{e}}r{\'{e}}mie Guiochet and
                  Stefano Tonetta and
                  Friedemann Bitsch},
  title        = {A Taxonomy of Software Defect Forms for Certification Tests in Aviation
                  Industry},
  booktitle    = {Computer Safety, Reliability, and Security - 42nd International Conference,
                  {SAFECOMP} 2023, Toulouse, France, September 20-22, 2023, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {14181},
  pages        = {55--63},
  publisher    = {Springer},
  year         = {2023},
  url          = {https://doi.org/10.1007/978-3-031-40923-3\_5},
  doi          = {10.1007/978-3-031-40923-3\_5},
  timestamp    = {Fri, 15 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/safecomp/HuangHWW23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/safecomp/KaakaiAPE23,
  author       = {Fateh Kaakai and
                  Shridhar Shreeder Adibhatla and
                  Ganesh Pai and
                  Emmanuelle Escorihuela},
  editor       = {J{\'{e}}r{\'{e}}mie Guiochet and
                  Stefano Tonetta and
                  Friedemann Bitsch},
  title        = {Data-Centric Operational Design Domain Characterization for Machine
                  Learning-Based Aeronautical Products},
  booktitle    = {Computer Safety, Reliability, and Security - 42nd International Conference,
                  {SAFECOMP} 2023, Toulouse, France, September 20-22, 2023, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {14181},
  pages        = {227--242},
  publisher    = {Springer},
  year         = {2023},
  url          = {https://doi.org/10.1007/978-3-031-40923-3\_17},
  doi          = {10.1007/978-3-031-40923-3\_17},
  timestamp    = {Sun, 24 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/safecomp/KaakaiAPE23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/safecomp/LiaoCEK23,
  author       = {Brian Hsuan{-}Cheng Liao and
                  Chih{-}Hong Cheng and
                  Hasan Esen and
                  Alois Knoll},
  editor       = {J{\'{e}}r{\'{e}}mie Guiochet and
                  Stefano Tonetta and
                  Friedemann Bitsch},
  title        = {Are Transformers More Robust? Towards Exact Robustness Verification
                  for Transformers},
  booktitle    = {Computer Safety, Reliability, and Security - 42nd International Conference,
                  {SAFECOMP} 2023, Toulouse, France, September 20-22, 2023, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {14181},
  pages        = {89--103},
  publisher    = {Springer},
  year         = {2023},
  url          = {https://doi.org/10.1007/978-3-031-40923-3\_8},
  doi          = {10.1007/978-3-031-40923-3\_8},
  timestamp    = {Fri, 15 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/safecomp/LiaoCEK23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/safecomp/MilletDRVCMJ23,
  author       = {Laure Millet and
                  Simon Diemert and
                  Chris Rees and
                  Torin Viger and
                  Marsha Chechik and
                  Claudio Menghi and
                  Jeffrey J. Joyce},
  editor       = {J{\'{e}}r{\'{e}}mie Guiochet and
                  Stefano Tonetta and
                  Friedemann Bitsch},
  title        = {Assurance Case Arguments in the Large: The {CERN} {LHC} Machine Protection
                  System},
  booktitle    = {Computer Safety, Reliability, and Security - 42nd International Conference,
                  {SAFECOMP} 2023, Toulouse, France, September 20-22, 2023, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {14181},
  pages        = {3--10},
  publisher    = {Springer},
  year         = {2023},
  url          = {https://doi.org/10.1007/978-3-031-40923-3\_1},
  doi          = {10.1007/978-3-031-40923-3\_1},
  timestamp    = {Mon, 05 Feb 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/safecomp/MilletDRVCMJ23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/safecomp/Motii23,
  author       = {Anas Motii},
  editor       = {J{\'{e}}r{\'{e}}mie Guiochet and
                  Stefano Tonetta and
                  Friedemann Bitsch},
  title        = {{MBTA:} {A} Model-Based Threat Analysis Approach for Software Architectures},
  booktitle    = {Computer Safety, Reliability, and Security - 42nd International Conference,
                  {SAFECOMP} 2023, Toulouse, France, September 20-22, 2023, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {14181},
  pages        = {121--134},
  publisher    = {Springer},
  year         = {2023},
  url          = {https://doi.org/10.1007/978-3-031-40923-3\_10},
  doi          = {10.1007/978-3-031-40923-3\_10},
  timestamp    = {Fri, 15 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/safecomp/Motii23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/safecomp/ReichHFLOPOW23,
  author       = {Jan Reich and
                  Daniel Hillen and
                  Joshua Frey and
                  Nishanth Laxman and
                  Takehito Ogata and
                  Donato Di Paola and
                  Satoshi Otsuka and
                  Natsumi Watanabe},
  editor       = {J{\'{e}}r{\'{e}}mie Guiochet and
                  Stefano Tonetta and
                  Friedemann Bitsch},
  title        = {Concept and Metamodel to Support Cross-Domain Safety Analysis for
                  {ODD} Expansion of Autonomous Systems},
  booktitle    = {Computer Safety, Reliability, and Security - 42nd International Conference,
                  {SAFECOMP} 2023, Toulouse, France, September 20-22, 2023, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {14181},
  pages        = {165--178},
  publisher    = {Springer},
  year         = {2023},
  url          = {https://doi.org/10.1007/978-3-031-40923-3\_13},
  doi          = {10.1007/978-3-031-40923-3\_13},
  timestamp    = {Tue, 07 May 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/safecomp/ReichHFLOPOW23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/safecomp/SiefkeSBG23,
  author       = {Lennart Siefke and
                  Volker Sommer and
                  Murat Can Baylan and
                  Lars Grunske},
  editor       = {J{\'{e}}r{\'{e}}mie Guiochet and
                  Stefano Tonetta and
                  Friedemann Bitsch},
  title        = {Probabilistic Spatial Relations for Monitoring Behavior of Road Users},
  booktitle    = {Computer Safety, Reliability, and Security - 42nd International Conference,
                  {SAFECOMP} 2023, Toulouse, France, September 20-22, 2023, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {14181},
  pages        = {151--164},
  publisher    = {Springer},
  year         = {2023},
  url          = {https://doi.org/10.1007/978-3-031-40923-3\_12},
  doi          = {10.1007/978-3-031-40923-3\_12},
  timestamp    = {Sun, 24 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/safecomp/SiefkeSBG23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/safecomp/TarrachEKSBN23,
  author       = {Thorsten Tarrach and
                  Masoud Ebrahimi and
                  Sandra K{\"{o}}nig and
                  Christoph Schmittner and
                  Roderick Bloem and
                  Dejan Nickovic},
  editor       = {J{\'{e}}r{\'{e}}mie Guiochet and
                  Stefano Tonetta and
                  Friedemann Bitsch},
  title        = {Attribute Repair for Threat Prevention},
  booktitle    = {Computer Safety, Reliability, and Security - 42nd International Conference,
                  {SAFECOMP} 2023, Toulouse, France, September 20-22, 2023, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {14181},
  pages        = {135--148},
  publisher    = {Springer},
  year         = {2023},
  url          = {https://doi.org/10.1007/978-3-031-40923-3\_11},
  doi          = {10.1007/978-3-031-40923-3\_11},
  timestamp    = {Mon, 05 Feb 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/safecomp/TarrachEKSBN23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/safecomp/ZhaoSXH23,
  author       = {Bo Zhao and
                  You Song and
                  Wenhao Xu and
                  Fuqun Huang},
  editor       = {J{\'{e}}r{\'{e}}mie Guiochet and
                  Stefano Tonetta and
                  Friedemann Bitsch},
  title        = {A Cognitive Framework for Modeling Coincident Software Faults: An
                  Experimental Study},
  booktitle    = {Computer Safety, Reliability, and Security - 42nd International Conference,
                  {SAFECOMP} 2023, Toulouse, France, September 20-22, 2023, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {14181},
  pages        = {41--54},
  publisher    = {Springer},
  year         = {2023},
  url          = {https://doi.org/10.1007/978-3-031-40923-3\_4},
  doi          = {10.1007/978-3-031-40923-3\_4},
  timestamp    = {Fri, 15 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/safecomp/ZhaoSXH23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/safecomp/2023,
  editor       = {J{\'{e}}r{\'{e}}mie Guiochet and
                  Stefano Tonetta and
                  Friedemann Bitsch},
  title        = {Computer Safety, Reliability, and Security - 42nd International Conference,
                  {SAFECOMP} 2023, Toulouse, France, September 20-22, 2023, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {14181},
  publisher    = {Springer},
  year         = {2023},
  url          = {https://doi.org/10.1007/978-3-031-40923-3},
  doi          = {10.1007/978-3-031-40923-3},
  isbn         = {978-3-031-40922-6},
  timestamp    = {Fri, 15 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/safecomp/2023.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics