Stop the war!
Остановите войну!
for scientists:
default search action
Search dblp for Publications
export results for "toc:db/conf/safecomp/safecomp2023.bht:"
@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} }
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.