Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "toc:db/conf/safecomp/safecomp2023w.bht:"
download as .bib file
@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}
}
a service of 
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.
retrieved on 2024-05-12 14:25 CEST from data curated by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
