@unpublished{GleirscherKugele2019, author = {Gleirscher, Mario and Kugele, Stefan}, title = {Assurance of System Safety: A Survey of Design and Argument Patterns}, publisher = {arXiv}, address = {Ithaca}, doi = {https://doi.org/10.48550/arXiv.1902.05537}, year = {2019}, language = {en} } @article{GleirscherKugeleLinker2018, author = {Gleirscher, Mario and Kugele, Stefan and Linker, Sven}, title = {SCAV'18: Report of the 2nd International Workshop on Safe Control of Autonomous Vehicles}, volume = {43}, journal = {ACM SIGSOFT Software Engineering Notes}, number = {4}, publisher = {ACM}, address = {New York}, issn = {0163-5948}, doi = {https://doi.org/10.1145/3282517.3302402}, pages = {45 -- 47}, year = {2018}, language = {en} } @unpublished{GleirscherKugele2018, author = {Gleirscher, Mario and Kugele, Stefan}, title = {From Hazard Analysis to Hazard Mitigation Planning: The Automated Driving Case}, publisher = {arXiv}, address = {Ithaca}, doi = {https://doi.org/10.48550/arXiv.1802.08327}, year = {2018}, language = {en} } @unpublished{GleirscherLinkerKugele2018, author = {Gleirscher, Mario and Linker, Sven and Kugele, Stefan}, title = {SCAV'18: Report of the 2nd International Workshop on Safe Control of Autonomous Vehicles}, publisher = {arXiv}, address = {Ithaca}, doi = {https://doi.org/10.48550/arXiv.1811.01774}, year = {2018}, abstract = {This report summarizes the discussions, open issues, take-away messages, and conclusions of the 2nd SCAV workshop.}, language = {en} } @article{GleirscherKugeleSprinkle2017, author = {Gleirscher, Mario and Kugele, Stefan and Sprinkle, Jonathan}, title = {Safe Control of Autonomous \& Connected Vehicles (SCAV'17): Report from the 1st International Workshop at CPSWeek 2017}, volume = {42}, journal = {ACM SIGSOFT Software Engineering Notes}, number = {3}, publisher = {ACM}, address = {New York}, issn = {0163-5948}, doi = {https://doi.org/10.1145/3127360.3127373}, pages = {22 -- 23}, year = {2017}, language = {en} } @inproceedings{KugeleCebotariGleirscheretal.2017, author = {Kugele, Stefan and Cebotari, Vadim and Gleirscher, Mario and Hashemi Farzaneh, Morteza and Segler, Christoph and Shafaei, Sina and V{\"o}gel, Hans-J{\"o}rg and Bauer, Fridolin and Knoll, Alois and Marmsoler, Diego and Michel, Hans-Ulrich}, title = {Research Challenges for a Future-Proof E/E Architecture: A Project Statement}, booktitle = {INFORMATIK 2017}, editor = {Eibl, Maximilian and Gaedke, Martin}, publisher = {Gesellschaft f{\"u}r Informatik}, address = {Bonn}, isbn = {978-3-88579-669-5}, doi = {https://doi.org/10.18420/in2017_146}, pages = {1463 -- 1474}, year = {2017}, language = {en} } @inproceedings{GleirscherKugele2017, author = {Gleirscher, Mario and Kugele, Stefan}, title = {Defining Risk States in Autonomous Road Vehicles}, booktitle = {Proceedings: IEEE 18th International Symposium on High Assurance Systems Engineering (HASE 2017)}, publisher = {IEEE}, address = {Los Alamitos}, isbn = {978-1-5090-4636-2}, issn = {1530-2059}, doi = {https://doi.org/10.1109/HASE.2017.14}, pages = {112 -- 115}, year = {2017}, language = {en} } @inproceedings{GleirscherKugele2017, author = {Gleirscher, Mario and Kugele, Stefan}, title = {From Hazard Analysis to Hazard Mitigation Planning: The Automated Driving Case}, booktitle = {NASA Formal Methods: 9th International Symposium, NFM 2017: Moffett Field, CA, USA, May 16-18, 2017: Proceedings}, editor = {Barrett, Clark and Davies, Misty and Kahsai, Temesghen}, publisher = {Springer}, address = {Cham}, isbn = {978-3-319-57288-8}, doi = {https://doi.org/10.1007/978-3-319-57288-8_23}, pages = {310 -- 326}, year = {2017}, language = {en} }