@Proceedings{steinhorst_et_al:OASIcs.ASD.2020, title = {{OASIcs, Volume 79, ASD 2020, Complete Volume}}, booktitle = {2nd International Workshop on Autonomous Systems Design (ASD 2020)}, pages = {1--44}, series = {Open Access Series in Informatics (OASIcs)}, ISBN = {978-3-95977-141-2}, ISSN = {2190-6807}, year = {2020}, volume = {79}, editor = {Steinhorst, Sebastian and Deshmukh, Jyotirmoy V.}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.ASD.2020}, URN = {urn:nbn:de:0030-drops-125932}, doi = {10.4230/OASIcs.ASD.2020}, annote = {Keywords: OASIcs, Volume 79, ASD 2020, Complete Volume} } @InProceedings{steinhorst_et_al:OASIcs.ASD.2020.0, author = {Steinhorst, Sebastian and Deshmukh, Jyotirmoy V.}, title = {{Front Matter, Table of Contents, Preface, Conference Organization}}, booktitle = {2nd International Workshop on Autonomous Systems Design (ASD 2020)}, pages = {0:i--0:x}, series = {Open Access Series in Informatics (OASIcs)}, ISBN = {978-3-95977-141-2}, ISSN = {2190-6807}, year = {2020}, volume = {79}, editor = {Steinhorst, Sebastian and Deshmukh, Jyotirmoy V.}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.ASD.2020.0}, URN = {urn:nbn:de:0030-drops-125948}, doi = {10.4230/OASIcs.ASD.2020.0}, annote = {Keywords: Front Matter, Table of Contents, Preface, Conference Organization} } @InProceedings{kain_et_al:OASIcs.ASD.2020.1, author = {Kain, Tobias and Mundhenk, Philipp and M\"{u}ller, Julian-Steffen and Tompits, Hans and Wesche, Maximilian and Decke, Hendrik}, title = {{Towards a Reliable and Context-Based System Architecture for Autonomous Vehicles}}, booktitle = {2nd International Workshop on Autonomous Systems Design (ASD 2020)}, pages = {1:1--1:7}, series = {Open Access Series in Informatics (OASIcs)}, ISBN = {978-3-95977-141-2}, ISSN = {2190-6807}, year = {2020}, volume = {79}, editor = {Steinhorst, Sebastian and Deshmukh, Jyotirmoy V.}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.ASD.2020.1}, URN = {urn:nbn:de:0030-drops-125956}, doi = {10.4230/OASIcs.ASD.2020.1}, annote = {Keywords: autonomous driving, fail-operational systems, context-based architecture, application placement, optimization, monitoring} } @InProceedings{mundhenk_et_al:OASIcs.ASD.2020.2, author = {Mundhenk, Philipp and Parodi, Enrique and Schabenberger, Roland}, title = {{Fusion: A Safe and Secure Software Platform for Autonomous Driving}}, booktitle = {2nd International Workshop on Autonomous Systems Design (ASD 2020)}, pages = {2:1--2:6}, series = {Open Access Series in Informatics (OASIcs)}, ISBN = {978-3-95977-141-2}, ISSN = {2190-6807}, year = {2020}, volume = {79}, editor = {Steinhorst, Sebastian and Deshmukh, Jyotirmoy V.}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.ASD.2020.2}, URN = {urn:nbn:de:0030-drops-125969}, doi = {10.4230/OASIcs.ASD.2020.2}, annote = {Keywords: middleware, software platform, autonomous driving} } @InProceedings{weiss_et_al:OASIcs.ASD.2020.3, author = {Weiss, Philipp and Nagel, Sebastian and Weichslgartner, Andreas and Steinhorst, Sebastian}, title = {{Adaptable Demonstrator Platform for the Simulation of Distributed Agent-Based Automotive Systems}}, booktitle = {2nd International Workshop on Autonomous Systems Design (ASD 2020)}, pages = {3:1--3:6}, series = {Open Access Series in Informatics (OASIcs)}, ISBN = {978-3-95977-141-2}, ISSN = {2190-6807}, year = {2020}, volume = {79}, editor = {Steinhorst, Sebastian and Deshmukh, Jyotirmoy V.}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.ASD.2020.3}, URN = {urn:nbn:de:0030-drops-125974}, doi = {10.4230/OASIcs.ASD.2020.3}, annote = {Keywords: fail-operational, graceful degradation, agent-based mapping} } @InProceedings{mokhtarian_et_al:OASIcs.ASD.2020.4, author = {Mokhtarian, Armin and Kampmann, Alexandru and Alrifaee, Bassam and Kowalewski, Stefan and Lampe, Bastian and Eckstein, Lutz}, title = {{Agile Requirement Engineering for a Cloud System for Automated and Networked Vehicles}}, booktitle = {2nd International Workshop on Autonomous Systems Design (ASD 2020)}, pages = {4:1--4:8}, series = {Open Access Series in Informatics (OASIcs)}, ISBN = {978-3-95977-141-2}, ISSN = {2190-6807}, year = {2020}, volume = {79}, editor = {Steinhorst, Sebastian and Deshmukh, Jyotirmoy V.}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.ASD.2020.4}, URN = {urn:nbn:de:0030-drops-125983}, doi = {10.4230/OASIcs.ASD.2020.4}, annote = {Keywords: agile requirements engineering, cloud architecture, automated vehicles} } @InProceedings{donze:OASIcs.ASD.2020.5, author = {Donz\'{e}, Alexandre}, title = {{BreachFlows: Simulation-Based Design with Formal Requirements for Industrial CPS}}, booktitle = {2nd International Workshop on Autonomous Systems Design (ASD 2020)}, pages = {5:1--5:5}, series = {Open Access Series in Informatics (OASIcs)}, ISBN = {978-3-95977-141-2}, ISSN = {2190-6807}, year = {2020}, volume = {79}, editor = {Steinhorst, Sebastian and Deshmukh, Jyotirmoy V.}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.ASD.2020.5}, URN = {urn:nbn:de:0030-drops-125995}, doi = {10.4230/OASIcs.ASD.2020.5}, annote = {Keywords: Cyber Physical Systems, Verification and Validation, Test, Model-Based Design, Formal Requirements, Falsification} }
The metadata provided by Dagstuhl Publishing on its webpages, as well as their export formats (such as XML or BibTeX) available at our website, is released under the CC0 1.0 Public Domain Dedication license. That is, you are free to copy, distribute, use, modify, transform, build upon, and produce derived works from our data, even for commercial purposes, all without asking permission. Of course, we are always happy if you provide a link to us as the source of the data.
Read the full CC0 1.0 legal code for the exact terms that apply: https://creativecommons.org/publicdomain/zero/1.0/legalcode
Feedback for Dagstuhl Publishing