Stop the war!
Остановите войну!
for scientists:
default search action
Search dblp for Publications
export results for "toc:db/conf/safecomp/safecomp2023w.bht:"
@inproceedings{DBLP:conf/safecomp/AbeywickramaWLCWMHWHE23, author = {Dhaminda B. Abeywickrama and James Wilson and Suet Lee and Greg Chance and Peter D. Winter and Arianna Manzini and Ibrahim Habli and Shane Windsor and Sabine Hauert and Kerstin Eder}, editor = {J{\'{e}}r{\'{e}}mie Guiochet and Stefano Tonetta and Erwin Schoitsch and Matthieu Roy and Friedemann Bitsch}, title = {AERoS: Assurance of Emergent Behaviour in Autonomous Robotic Swarms}, booktitle = {Computer Safety, Reliability, and Security. {SAFECOMP} 2023 Workshops - ASSURE, DECSoS, SASSUR, SENSEI, SRToITS, and WAISE, Toulouse, France, September 19, 2023, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {14182}, pages = {341--354}, publisher = {Springer}, year = {2023}, url = {https://doi.org/10.1007/978-3-031-40953-0\_28}, doi = {10.1007/978-3-031-40953-0\_28}, timestamp = {Tue, 07 May 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/safecomp/AbeywickramaWLCWMHWHE23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/safecomp/AdlerRH23, author = {Rasmus Adler and Jan Reich and Richard Hawkins}, editor = {J{\'{e}}r{\'{e}}mie Guiochet and Stefano Tonetta and Erwin Schoitsch and Matthieu Roy and Friedemann Bitsch}, title = {Structuring Research Related to Dynamic Risk Management for Autonomous Systems}, booktitle = {Computer Safety, Reliability, and Security. {SAFECOMP} 2023 Workshops - ASSURE, DECSoS, SASSUR, SENSEI, SRToITS, and WAISE, Toulouse, France, September 19, 2023, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {14182}, pages = {362--368}, publisher = {Springer}, year = {2023}, url = {https://doi.org/10.1007/978-3-031-40953-0\_30}, doi = {10.1007/978-3-031-40953-0\_30}, timestamp = {Sun, 24 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/safecomp/AdlerRH23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/safecomp/BacciuCGS23, author = {Davide Bacciu and Antonio Carta and Claudio Gallicchio and Christoph Schmittner}, editor = {J{\'{e}}r{\'{e}}mie Guiochet and Stefano Tonetta and Erwin Schoitsch and Matthieu Roy and Friedemann Bitsch}, title = {Safety and Robustness for Deep Neural Networks: An Automotive Use Case}, booktitle = {Computer Safety, Reliability, and Security. {SAFECOMP} 2023 Workshops - ASSURE, DECSoS, SASSUR, SENSEI, SRToITS, and WAISE, Toulouse, France, September 19, 2023, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {14182}, pages = {95--107}, publisher = {Springer}, year = {2023}, url = {https://doi.org/10.1007/978-3-031-40953-0\_9}, doi = {10.1007/978-3-031-40953-0\_9}, timestamp = {Sun, 24 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/safecomp/BacciuCGS23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/safecomp/BandurLMPPW23, author = {Victor Bandur and Mark Lawford and S{\'{e}}bastien Mosser and Richard F. Paige and Vera Pantelic and Alan Wassyng}, editor = {J{\'{e}}r{\'{e}}mie Guiochet and Stefano Tonetta and Erwin Schoitsch and Matthieu Roy and Friedemann Bitsch}, title = {Using Assurance Cases to Prevent Malicious Behaviour from Targeting Safety Vulnerabilities}, booktitle = {Computer Safety, Reliability, and Security. {SAFECOMP} 2023 Workshops - ASSURE, DECSoS, SASSUR, SENSEI, SRToITS, and WAISE, Toulouse, France, September 19, 2023, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {14182}, pages = {5--14}, publisher = {Springer}, year = {2023}, url = {https://doi.org/10.1007/978-3-031-40953-0\_1}, doi = {10.1007/978-3-031-40953-0\_1}, timestamp = {Sat, 30 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/safecomp/BandurLMPPW23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/safecomp/BiZM23, author = {Dandan Bi and Wei Zheng and Xiaorong Meng}, editor = {J{\'{e}}r{\'{e}}mie Guiochet and Stefano Tonetta and Erwin Schoitsch and Matthieu Roy and Friedemann Bitsch}, title = {Research on Brain Load Prediction Based on Machine Learning for High-Speed Railway Dispatching}, booktitle = {Computer Safety, Reliability, and Security. {SAFECOMP} 2023 Workshops - ASSURE, DECSoS, SASSUR, SENSEI, SRToITS, and WAISE, Toulouse, France, September 19, 2023, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {14182}, pages = {239--246}, publisher = {Springer}, year = {2023}, url = {https://doi.org/10.1007/978-3-031-40953-0\_20}, doi = {10.1007/978-3-031-40953-0\_20}, timestamp = {Sun, 24 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/safecomp/BiZM23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/safecomp/BicchieraiSIBF23, author = {Irene Bicchierai and Enrico Schiavone and Massimiliano Leone Itria and Andrea Bondavalli and Lorenzo Falai}, editor = {J{\'{e}}r{\'{e}}mie Guiochet and Stefano Tonetta and Erwin Schoitsch and Matthieu Roy and Friedemann Bitsch}, title = {A Methodology for the Qualification of Operating Systems and Hypervisors for the Deployment in IoT Devices}, booktitle = {Computer Safety, Reliability, and Security. {SAFECOMP} 2023 Workshops - ASSURE, DECSoS, SASSUR, SENSEI, SRToITS, and WAISE, Toulouse, France, September 19, 2023, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {14182}, pages = {123--134}, publisher = {Springer}, year = {2023}, url = {https://doi.org/10.1007/978-3-031-40953-0\_11}, doi = {10.1007/978-3-031-40953-0\_11}, timestamp = {Sun, 24 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/safecomp/BicchieraiSIBF23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/safecomp/BlacheLF23, author = {Hugues Blache and Pierre{-}Antoine Laharotte and Nour{-}Eddin El Faouzi}, editor = {J{\'{e}}r{\'{e}}mie Guiochet and Stefano Tonetta and Erwin Schoitsch and Matthieu Roy and Friedemann Bitsch}, title = {Towards an Effective Generation of Functional Scenarios for AVs to Guide Sampling}, booktitle = {Computer Safety, Reliability, and Security. {SAFECOMP} 2023 Workshops - ASSURE, DECSoS, SASSUR, SENSEI, SRToITS, and WAISE, Toulouse, France, September 19, 2023, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {14182}, pages = {260--270}, publisher = {Springer}, year = {2023}, url = {https://doi.org/10.1007/978-3-031-40953-0\_22}, doi = {10.1007/978-3-031-40953-0\_22}, timestamp = {Wed, 20 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/safecomp/BlacheLF23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/safecomp/BonnierB23, author = {Thomas Bonnier and Benjamin Bosch}, editor = {J{\'{e}}r{\'{e}}mie Guiochet and Stefano Tonetta and Erwin Schoitsch and Matthieu Roy and Friedemann Bitsch}, title = {Towards Safe Machine Learning Lifecycles with {ESG} Model Cards}, booktitle = {Computer Safety, Reliability, and Security. {SAFECOMP} 2023 Workshops - ASSURE, DECSoS, SASSUR, SENSEI, SRToITS, and WAISE, Toulouse, France, September 19, 2023, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {14182}, pages = {369--381}, publisher = {Springer}, year = {2023}, url = {https://doi.org/10.1007/978-3-031-40953-0\_31}, doi = {10.1007/978-3-031-40953-0\_31}, timestamp = {Wed, 20 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/safecomp/BonnierB23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/safecomp/DiemertMGJ23, author = {Simon Diemert and Laure Millet and Jonathan Groves and Jeffrey J. Joyce}, editor = {J{\'{e}}r{\'{e}}mie Guiochet and Stefano Tonetta and Erwin Schoitsch and Matthieu Roy and Friedemann Bitsch}, title = {Safety Integrity Levels for Artificial Intelligence}, booktitle = {Computer Safety, Reliability, and Security. {SAFECOMP} 2023 Workshops - ASSURE, DECSoS, SASSUR, SENSEI, SRToITS, and WAISE, Toulouse, France, September 19, 2023, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {14182}, pages = {397--409}, publisher = {Springer}, year = {2023}, url = {https://doi.org/10.1007/978-3-031-40953-0\_34}, doi = {10.1007/978-3-031-40953-0\_34}, timestamp = {Sun, 24 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/safecomp/DiemertMGJ23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/safecomp/DiemertW23, author = {Simon Diemert and Jens H. Weber}, editor = {J{\'{e}}r{\'{e}}mie Guiochet and Stefano Tonetta and Erwin Schoitsch and Matthieu Roy and Friedemann Bitsch}, title = {Can Large Language Models Assist in Hazard Analysis?}, booktitle = {Computer Safety, Reliability, and Security. {SAFECOMP} 2023 Workshops - ASSURE, DECSoS, SASSUR, SENSEI, SRToITS, and WAISE, Toulouse, France, September 19, 2023, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {14182}, pages = {410--422}, publisher = {Springer}, year = {2023}, url = {https://doi.org/10.1007/978-3-031-40953-0\_35}, doi = {10.1007/978-3-031-40953-0\_35}, timestamp = {Sun, 24 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/safecomp/DiemertW23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/safecomp/ElliottP23, author = {Marc Elliott and Deepak P}, editor = {J{\'{e}}r{\'{e}}mie Guiochet and Stefano Tonetta and Erwin Schoitsch and Matthieu Roy and Friedemann Bitsch}, title = {A Group-Level Learning Approach Using Logistic Regression for Fairer Decisions}, booktitle = {Computer Safety, Reliability, and Security. {SAFECOMP} 2023 Workshops - ASSURE, DECSoS, SASSUR, SENSEI, SRToITS, and WAISE, Toulouse, France, September 19, 2023, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {14182}, pages = {301--313}, publisher = {Springer}, year = {2023}, url = {https://doi.org/10.1007/978-3-031-40953-0\_25}, doi = {10.1007/978-3-031-40953-0\_25}, timestamp = {Sat, 30 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/safecomp/ElliottP23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/safecomp/FornaroT23, author = {Gianfilippo Fornaro and Martin T{\"{o}}rngren}, editor = {J{\'{e}}r{\'{e}}mie Guiochet and Stefano Tonetta and Erwin Schoitsch and Matthieu Roy and Friedemann Bitsch}, title = {Improving Road Traffic Safety and Performance-Barriers and Directions Towards Cooperative Automated Vehicles}, booktitle = {Computer Safety, Reliability, and Security. {SAFECOMP} 2023 Workshops - ASSURE, DECSoS, SASSUR, SENSEI, SRToITS, and WAISE, Toulouse, France, September 19, 2023, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {14182}, pages = {283--294}, publisher = {Springer}, year = {2023}, url = {https://doi.org/10.1007/978-3-031-40953-0\_24}, doi = {10.1007/978-3-031-40953-0\_24}, timestamp = {Sun, 24 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/safecomp/FornaroT23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/safecomp/HuZ23, author = {Liuxing Hu and Wei Zheng}, editor = {J{\'{e}}r{\'{e}}mie Guiochet and Stefano Tonetta and Erwin Schoitsch and Matthieu Roy and Friedemann Bitsch}, title = {Research on the Reliability of High-Speed Railway Dispatching and Commanding Personnel with Multi Physiological Signals}, booktitle = {Computer Safety, Reliability, and Security. {SAFECOMP} 2023 Workshops - ASSURE, DECSoS, SASSUR, SENSEI, SRToITS, and WAISE, Toulouse, France, September 19, 2023, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {14182}, pages = {230--238}, publisher = {Springer}, year = {2023}, url = {https://doi.org/10.1007/978-3-031-40953-0\_19}, doi = {10.1007/978-3-031-40953-0\_19}, timestamp = {Sun, 24 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/safecomp/HuZ23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/safecomp/JockelKGG23, author = {Lisa J{\"{o}}ckel and Michael Kl{\"{a}}s and Janek Gro{\ss} and Pascal Gerber}, editor = {J{\'{e}}r{\'{e}}mie Guiochet and Stefano Tonetta and Erwin Schoitsch and Matthieu Roy and Friedemann Bitsch}, title = {Conformal Prediction and Uncertainty Wrapper: What Statistical Guarantees Can You Get for Uncertainty Quantification in Machine Learning?}, booktitle = {Computer Safety, Reliability, and Security. {SAFECOMP} 2023 Workshops - ASSURE, DECSoS, SASSUR, SENSEI, SRToITS, and WAISE, Toulouse, France, September 19, 2023, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {14182}, pages = {314--327}, publisher = {Springer}, year = {2023}, url = {https://doi.org/10.1007/978-3-031-40953-0\_26}, doi = {10.1007/978-3-031-40953-0\_26}, timestamp = {Wed, 20 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/safecomp/JockelKGG23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/safecomp/KapinskiPBWL23, author = {Ryan Kapinski and Vera Pantelic and Victor Bandur and Alan Wassyng and Mark Lawford}, editor = {J{\'{e}}r{\'{e}}mie Guiochet and Stefano Tonetta and Erwin Schoitsch and Matthieu Roy and Friedemann Bitsch}, title = {Assurance Cases for Timing Properties of Automotive {TSN} Networks}, booktitle = {Computer Safety, Reliability, and Security. {SAFECOMP} 2023 Workshops - ASSURE, DECSoS, SASSUR, SENSEI, SRToITS, and WAISE, Toulouse, France, September 19, 2023, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {14182}, pages = {26--31}, publisher = {Springer}, year = {2023}, url = {https://doi.org/10.1007/978-3-031-40953-0\_3}, doi = {10.1007/978-3-031-40953-0\_3}, timestamp = {Sun, 24 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/safecomp/KapinskiPBWL23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/safecomp/Kirchheim23, author = {Konstantin Kirchheim}, editor = {J{\'{e}}r{\'{e}}mie Guiochet and Stefano Tonetta and Erwin Schoitsch and Matthieu Roy and Friedemann Bitsch}, title = {Towards Deep Anomaly Detection with Structured Knowledge Representations}, booktitle = {Computer Safety, Reliability, and Security. {SAFECOMP} 2023 Workshops - ASSURE, DECSoS, SASSUR, SENSEI, SRToITS, and WAISE, Toulouse, France, September 19, 2023, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {14182}, pages = {382--389}, publisher = {Springer}, year = {2023}, url = {https://doi.org/10.1007/978-3-031-40953-0\_32}, doi = {10.1007/978-3-031-40953-0\_32}, timestamp = {Wed, 20 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/safecomp/Kirchheim23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/safecomp/KoopmanW23, author = {Philip Koopman and William H. Widen}, editor = {J{\'{e}}r{\'{e}}mie Guiochet and Stefano Tonetta and Erwin Schoitsch and Matthieu Roy and Friedemann Bitsch}, title = {A Reasonable Driver Standard for Automated Vehicle Safety}, booktitle = {Computer Safety, Reliability, and Security. {SAFECOMP} 2023 Workshops - ASSURE, DECSoS, SASSUR, SENSEI, SRToITS, and WAISE, Toulouse, France, September 19, 2023, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {14182}, pages = {355--361}, publisher = {Springer}, year = {2023}, url = {https://doi.org/10.1007/978-3-031-40953-0\_29}, doi = {10.1007/978-3-031-40953-0\_29}, timestamp = {Wed, 20 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/safecomp/KoopmanW23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/safecomp/LemesleVCT23, author = {Augustin Lemesle and Aymeric Varasse and Zakaria Chihani and Dominique Tachet}, editor = {J{\'{e}}r{\'{e}}mie Guiochet and Stefano Tonetta and Erwin Schoitsch and Matthieu Roy and Friedemann Bitsch}, title = {{AIMOS:} Metamorphic Testing of {AI} - An Industrial Application}, booktitle = {Computer Safety, Reliability, and Security. {SAFECOMP} 2023 Workshops - ASSURE, DECSoS, SASSUR, SENSEI, SRToITS, and WAISE, Toulouse, France, September 19, 2023, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {14182}, pages = {328--340}, publisher = {Springer}, year = {2023}, url = {https://doi.org/10.1007/978-3-031-40953-0\_27}, doi = {10.1007/978-3-031-40953-0\_27}, timestamp = {Wed, 20 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/safecomp/LemesleVCT23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/safecomp/LiangGCFWZ23, author = {Ci Liang and Mohamed Ghazel and Yusheng Ci and Nour{-}Eddin El Faouzi and Rui Wang and Wei Zheng}, editor = {J{\'{e}}r{\'{e}}mie Guiochet and Stefano Tonetta and Erwin Schoitsch and Matthieu Roy and Friedemann Bitsch}, title = {Rear-End Collision Risk Analysis for Autonomous Driving}, booktitle = {Computer Safety, Reliability, and Security. {SAFECOMP} 2023 Workshops - ASSURE, DECSoS, SASSUR, SENSEI, SRToITS, and WAISE, Toulouse, France, September 19, 2023, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {14182}, pages = {271--282}, publisher = {Springer}, year = {2023}, url = {https://doi.org/10.1007/978-3-031-40953-0\_23}, doi = {10.1007/978-3-031-40953-0\_23}, timestamp = {Sat, 14 Oct 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/safecomp/LiangGCFWZ23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/safecomp/MacherBVB23, author = {Georg Macher and Romana Blazevic and Omar Veledar and Eugen Brenner}, editor = {J{\'{e}}r{\'{e}}mie Guiochet and Stefano Tonetta and Erwin Schoitsch and Matthieu Roy and Friedemann Bitsch}, title = {Towards Dependable Integration Concepts for AI-Based Systems}, booktitle = {Computer Safety, Reliability, and Security. {SAFECOMP} 2023 Workshops - ASSURE, DECSoS, SASSUR, SENSEI, SRToITS, and WAISE, Toulouse, France, September 19, 2023, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {14182}, pages = {108--117}, publisher = {Springer}, year = {2023}, url = {https://doi.org/10.1007/978-3-031-40953-0\_10}, doi = {10.1007/978-3-031-40953-0\_10}, timestamp = {Wed, 20 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/safecomp/MacherBVB23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/safecomp/MatsunoTOT23, author = {Yutaka Matsuno and Toshinori Takai and Manabu Okada and Tomoyuki Tsuchiya}, editor = {J{\'{e}}r{\'{e}}mie Guiochet and Stefano Tonetta and Erwin Schoitsch and Matthieu Roy and Friedemann Bitsch}, title = {Toward Dependability Assurance Framework for Automated Driving Systems}, booktitle = {Computer Safety, Reliability, and Security. {SAFECOMP} 2023 Workshops - ASSURE, DECSoS, SASSUR, SENSEI, SRToITS, and WAISE, Toulouse, France, September 19, 2023, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {14182}, pages = {32--37}, publisher = {Springer}, year = {2023}, url = {https://doi.org/10.1007/978-3-031-40953-0\_4}, doi = {10.1007/978-3-031-40953-0\_4}, timestamp = {Sun, 24 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/safecomp/MatsunoTOT23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/safecomp/MoitraCSAMRQRM23, author = {Abha Moitra and Paul Cuddihy and Kit Siu and David W. Archer and Eric Mertens and Daniel Russell and Kevin Quick and Valentin Robert and Baoluo Meng}, editor = {J{\'{e}}r{\'{e}}mie Guiochet and Stefano Tonetta and Erwin Schoitsch and Matthieu Roy and Friedemann Bitsch}, title = {{RACK:} {A} Semantic Model and Triplestore for Curation of Assurance Case Evidence}, booktitle = {Computer Safety, Reliability, and Security. {SAFECOMP} 2023 Workshops - ASSURE, DECSoS, SASSUR, SENSEI, SRToITS, and WAISE, Toulouse, France, September 19, 2023, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {14182}, pages = {149--160}, publisher = {Springer}, year = {2023}, url = {https://doi.org/10.1007/978-3-031-40953-0\_13}, doi = {10.1007/978-3-031-40953-0\_13}, timestamp = {Wed, 20 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/safecomp/MoitraCSAMRQRM23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/safecomp/OtsukaWOPHFLR23, author = {Satoshi Otsuka and Natsumi Watanabe and Takehito Ogata and Donato Di Paola and Daniel Hillen and Joshua Frey and Nishanth Laxman and Jan Reich}, editor = {J{\'{e}}r{\'{e}}mie Guiochet and Stefano Tonetta and Erwin Schoitsch and Matthieu Roy and Friedemann Bitsch}, title = {Paired Safety Rule Structure for Human-Machine Cooperation with Feature Update and Evolution}, booktitle = {Computer Safety, Reliability, and Security. {SAFECOMP} 2023 Workshops - ASSURE, DECSoS, SASSUR, SENSEI, SRToITS, and WAISE, Toulouse, France, September 19, 2023, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {14182}, pages = {247--259}, publisher = {Springer}, year = {2023}, url = {https://doi.org/10.1007/978-3-031-40953-0\_21}, doi = {10.1007/978-3-031-40953-0\_21}, timestamp = {Wed, 20 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/safecomp/OtsukaWOPHFLR23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/safecomp/QuamaraKH23, author = {Megha Quamara and Christina Kolb and Brahim Hamid}, editor = {J{\'{e}}r{\'{e}}mie Guiochet and Stefano Tonetta and Erwin Schoitsch and Matthieu Roy and Friedemann Bitsch}, title = {Analyzing Origins of Safety and Security Interactions Using Feared Events Trees and Multi-level Model}, booktitle = {Computer Safety, Reliability, and Security. {SAFECOMP} 2023 Workshops - ASSURE, DECSoS, SASSUR, SENSEI, SRToITS, and WAISE, Toulouse, France, September 19, 2023, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {14182}, pages = {176--187}, publisher = {Springer}, year = {2023}, url = {https://doi.org/10.1007/978-3-031-40953-0\_15}, doi = {10.1007/978-3-031-40953-0\_15}, timestamp = {Sun, 24 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/safecomp/QuamaraKH23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/safecomp/SambandhamKO23, author = {Venkatesh Thirugnana Sambandham and Konstantin Kirchheim and Frank Ortmeier}, editor = {J{\'{e}}r{\'{e}}mie Guiochet and Stefano Tonetta and Erwin Schoitsch and Matthieu Roy and Friedemann Bitsch}, title = {Evaluating and Increasing Segmentation Robustness in {CARLA}}, booktitle = {Computer Safety, Reliability, and Security. {SAFECOMP} 2023 Workshops - ASSURE, DECSoS, SASSUR, SENSEI, SRToITS, and WAISE, Toulouse, France, September 19, 2023, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {14182}, pages = {390--396}, publisher = {Springer}, year = {2023}, url = {https://doi.org/10.1007/978-3-031-40953-0\_33}, doi = {10.1007/978-3-031-40953-0\_33}, timestamp = {Wed, 20 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/safecomp/SambandhamKO23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/safecomp/ShaabanJS23, author = {Abdelkader Magdy Shaaban and Oliver Jung and Christoph Schmittner}, editor = {J{\'{e}}r{\'{e}}mie Guiochet and Stefano Tonetta and Erwin Schoitsch and Matthieu Roy and Friedemann Bitsch}, title = {The Need for Threat Modelling in Unmanned Aerial Systems}, booktitle = {Computer Safety, Reliability, and Security. {SAFECOMP} 2023 Workshops - ASSURE, DECSoS, SASSUR, SENSEI, SRToITS, and WAISE, Toulouse, France, September 19, 2023, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {14182}, pages = {73--84}, publisher = {Springer}, year = {2023}, url = {https://doi.org/10.1007/978-3-031-40953-0\_7}, doi = {10.1007/978-3-031-40953-0\_7}, timestamp = {Sun, 24 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/safecomp/ShaabanJS23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/safecomp/Shan23, author = {Lijun Shan}, editor = {J{\'{e}}r{\'{e}}mie Guiochet and Stefano Tonetta and Erwin Schoitsch and Matthieu Roy and Friedemann Bitsch}, title = {Towards {DO-178C} Compliance of a Secure Product}, booktitle = {Computer Safety, Reliability, and Security. {SAFECOMP} 2023 Workshops - ASSURE, DECSoS, SASSUR, SENSEI, SRToITS, and WAISE, Toulouse, France, September 19, 2023, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {14182}, pages = {61--72}, publisher = {Springer}, year = {2023}, url = {https://doi.org/10.1007/978-3-031-40953-0\_6}, doi = {10.1007/978-3-031-40953-0\_6}, timestamp = {Wed, 20 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/safecomp/Shan23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/safecomp/ShenLCLLL23, author = {Bingyv Shen and Guangyun Liu and Shaowu Cheng and Xiantong Li and Kui Li and Chen Liang}, editor = {J{\'{e}}r{\'{e}}mie Guiochet and Stefano Tonetta and Erwin Schoitsch and Matthieu Roy and Friedemann Bitsch}, title = {Reliability Evaluation of Autonomous Transportation System Architecture Based on Markov Chain}, booktitle = {Computer Safety, Reliability, and Security. {SAFECOMP} 2023 Workshops - ASSURE, DECSoS, SASSUR, SENSEI, SRToITS, and WAISE, Toulouse, France, September 19, 2023, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {14182}, pages = {205--217}, publisher = {Springer}, year = {2023}, url = {https://doi.org/10.1007/978-3-031-40953-0\_17}, doi = {10.1007/978-3-031-40953-0\_17}, timestamp = {Sun, 24 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/safecomp/ShenLCLLL23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/safecomp/SilvaII23, author = {Jorge Da Silva and Miren Illarramendi and Asier Iriarte}, editor = {J{\'{e}}r{\'{e}}mie Guiochet and Stefano Tonetta and Erwin Schoitsch and Matthieu Roy and Friedemann Bitsch}, title = {Using Runtime Information of Controllers for Safe Adaptation at Runtime: {A} Process Mining Approach}, booktitle = {Computer Safety, Reliability, and Security. {SAFECOMP} 2023 Workshops - ASSURE, DECSoS, SASSUR, SENSEI, SRToITS, and WAISE, Toulouse, France, September 19, 2023, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {14182}, pages = {85--94}, publisher = {Springer}, year = {2023}, url = {https://doi.org/10.1007/978-3-031-40953-0\_8}, doi = {10.1007/978-3-031-40953-0\_8}, timestamp = {Wed, 20 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/safecomp/SilvaII23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/safecomp/Troubitsyna23, author = {Elena Troubitsyna}, editor = {J{\'{e}}r{\'{e}}mie Guiochet and Stefano Tonetta and Erwin Schoitsch and Matthieu Roy and Friedemann Bitsch}, title = {Utilising Redundancy to Enhance Security of Safety-Critical Systems}, booktitle = {Computer Safety, Reliability, and Security. {SAFECOMP} 2023 Workshops - ASSURE, DECSoS, SASSUR, SENSEI, SRToITS, and WAISE, Toulouse, France, September 19, 2023, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {14182}, pages = {188--196}, publisher = {Springer}, year = {2023}, url = {https://doi.org/10.1007/978-3-031-40953-0\_16}, doi = {10.1007/978-3-031-40953-0\_16}, timestamp = {Wed, 20 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/safecomp/Troubitsyna23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/safecomp/VigerDF23, author = {Torin Viger and Simon Diemert and Olivia Foster}, editor = {J{\'{e}}r{\'{e}}mie Guiochet and Stefano Tonetta and Erwin Schoitsch and Matthieu Roy and Friedemann Bitsch}, title = {Patterns for Integrating {NIST} 800-53 Controls into Security Assurance Cases}, booktitle = {Computer Safety, Reliability, and Security. {SAFECOMP} 2023 Workshops - ASSURE, DECSoS, SASSUR, SENSEI, SRToITS, and WAISE, Toulouse, France, September 19, 2023, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {14182}, pages = {165--175}, publisher = {Springer}, year = {2023}, url = {https://doi.org/10.1007/978-3-031-40953-0\_14}, doi = {10.1007/978-3-031-40953-0\_14}, timestamp = {Wed, 20 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/safecomp/VigerDF23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/safecomp/WangOLADPCWHMN23, author = {Timothy E. Wang and Chanwook Oh and Matthew Low and Isaac Amundson and Zamira Daw and Alessandro Pinto and Massimiliano L. Chiodo and Guoqiang Wang and Saqib Hasan and Ryan Melville and Pierluigi Nuzzo}, editor = {J{\'{e}}r{\'{e}}mie Guiochet and Stefano Tonetta and Erwin Schoitsch and Matthieu Roy and Friedemann Bitsch}, title = {Computer-Aided Generation of Assurance Cases}, booktitle = {Computer Safety, Reliability, and Security. {SAFECOMP} 2023 Workshops - ASSURE, DECSoS, SASSUR, SENSEI, SRToITS, and WAISE, Toulouse, France, September 19, 2023, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {14182}, pages = {135--148}, publisher = {Springer}, year = {2023}, url = {https://doi.org/10.1007/978-3-031-40953-0\_12}, doi = {10.1007/978-3-031-40953-0\_12}, timestamp = {Tue, 07 May 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/safecomp/WangOLADPCWHMN23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/safecomp/WangWLJ23, author = {Rui Wang and Mengying Wang and Ci Liang and Zhouxian Jiang}, editor = {J{\'{e}}r{\'{e}}mie Guiochet and Stefano Tonetta and Erwin Schoitsch and Matthieu Roy and Friedemann Bitsch}, title = {Uncertainty Quantification for Semantic Segmentation Models via Evidential Reasoning}, booktitle = {Computer Safety, Reliability, and Security. {SAFECOMP} 2023 Workshops - ASSURE, DECSoS, SASSUR, SENSEI, SRToITS, and WAISE, Toulouse, France, September 19, 2023, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {14182}, pages = {218--229}, publisher = {Springer}, year = {2023}, url = {https://doi.org/10.1007/978-3-031-40953-0\_18}, doi = {10.1007/978-3-031-40953-0\_18}, timestamp = {Sun, 24 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/safecomp/WangWLJ23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/safecomp/XuDarmeGHIC23, author = {Romain Xu{-}Darme and Julien Girard{-}Satabin and Darryl Hond and Gabriele Incorvaia and Zakaria Chihani}, editor = {J{\'{e}}r{\'{e}}mie Guiochet and Stefano Tonetta and Erwin Schoitsch and Matthieu Roy and Friedemann Bitsch}, title = {Contextualised Out-of-Distribution Detection Using Pattern Identification}, booktitle = {Computer Safety, Reliability, and Security. {SAFECOMP} 2023 Workshops - ASSURE, DECSoS, SASSUR, SENSEI, SRToITS, and WAISE, Toulouse, France, September 19, 2023, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {14182}, pages = {423--435}, publisher = {Springer}, year = {2023}, url = {https://doi.org/10.1007/978-3-031-40953-0\_36}, doi = {10.1007/978-3-031-40953-0\_36}, timestamp = {Wed, 20 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/safecomp/XuDarmeGHIC23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/safecomp/ZeroualHAJ23, author = {Marwa Zeroual and Brahim Hamid and Morayo Adedjouma and Jason Jaskolka}, editor = {J{\'{e}}r{\'{e}}mie Guiochet and Stefano Tonetta and Erwin Schoitsch and Matthieu Roy and Friedemann Bitsch}, title = {Constructing Security Cases Based on Formal Verification of Security Requirements in Alloy}, booktitle = {Computer Safety, Reliability, and Security. {SAFECOMP} 2023 Workshops - ASSURE, DECSoS, SASSUR, SENSEI, SRToITS, and WAISE, Toulouse, France, September 19, 2023, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {14182}, pages = {15--25}, publisher = {Springer}, year = {2023}, url = {https://doi.org/10.1007/978-3-031-40953-0\_2}, doi = {10.1007/978-3-031-40953-0\_2}, timestamp = {Wed, 20 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/safecomp/ZeroualHAJ23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/safecomp/ZhangMT23, author = {Huanjun Zhang and Yutaka Matsubara and Hiroaki Takada}, editor = {J{\'{e}}r{\'{e}}mie Guiochet and Stefano Tonetta and Erwin Schoitsch and Matthieu Roy and Friedemann Bitsch}, title = {A Quantitative Approach for System of Systems' Resilience Analyzing Based on ArchiMate}, booktitle = {Computer Safety, Reliability, and Security. {SAFECOMP} 2023 Workshops - ASSURE, DECSoS, SASSUR, SENSEI, SRToITS, and WAISE, Toulouse, France, September 19, 2023, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {14182}, pages = {47--60}, publisher = {Springer}, year = {2023}, url = {https://doi.org/10.1007/978-3-031-40953-0\_5}, doi = {10.1007/978-3-031-40953-0\_5}, timestamp = {Wed, 20 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/safecomp/ZhangMT23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/safecomp/2023w, editor = {J{\'{e}}r{\'{e}}mie Guiochet and Stefano Tonetta and Erwin Schoitsch and Matthieu Roy and Friedemann Bitsch}, title = {Computer Safety, Reliability, and Security. {SAFECOMP} 2023 Workshops - ASSURE, DECSoS, SASSUR, SENSEI, SRToITS, and WAISE, Toulouse, France, September 19, 2023, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {14182}, publisher = {Springer}, year = {2023}, url = {https://doi.org/10.1007/978-3-031-40953-0}, doi = {10.1007/978-3-031-40953-0}, isbn = {978-3-031-40952-3}, timestamp = {Wed, 20 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/safecomp/2023w.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.