OASIcs, Volume 79
ASD 2020, March 13, 2020, Grenoble, France (Virtual Conference)
Editors: Sebastian Steinhorst and Jyotirmoy V. Deshmukh
Published in: LIPIcs, Volume 278, 30th International Symposium on Temporal Representation and Reasoning (TIME 2023)
Laura Nenzi. Learning Temporal Logic Formulas from Time-Series Data (Invited Talk). In 30th International Symposium on Temporal Representation and Reasoning (TIME 2023). Leibniz International Proceedings in Informatics (LIPIcs), Volume 278, pp. 1:1-1:2, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2023)
@InProceedings{nenzi:LIPIcs.TIME.2023.1, author = {Nenzi, Laura}, title = {{Learning Temporal Logic Formulas from Time-Series Data}}, booktitle = {30th International Symposium on Temporal Representation and Reasoning (TIME 2023)}, pages = {1:1--1:2}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-298-3}, ISSN = {1868-8969}, year = {2023}, volume = {278}, editor = {Artikis, Alexander and Bruse, Florian and Hunsberger, Luke}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.TIME.2023.1}, URN = {urn:nbn:de:0030-drops-190917}, doi = {10.4230/LIPIcs.TIME.2023.1}, annote = {Keywords: Temporal Logic, Mining Specifications} }
Published in: OASIcs, Volume 79, 2nd International Workshop on Autonomous Systems Design (ASD 2020)
2nd International Workshop on Autonomous Systems Design (ASD 2020). Open Access Series in Informatics (OASIcs), Volume 79, pp. 1-44, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2020)
@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-dev.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} }
Published in: OASIcs, Volume 79, 2nd International Workshop on Autonomous Systems Design (ASD 2020)
2nd International Workshop on Autonomous Systems Design (ASD 2020). Open Access Series in Informatics (OASIcs), Volume 79, pp. 0:i-0:x, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2020)
@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-dev.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} }
Published in: OASIcs, Volume 79, 2nd International Workshop on Autonomous Systems Design (ASD 2020)
Tobias Kain, Philipp Mundhenk, Julian-Steffen Müller, Hans Tompits, Maximilian Wesche, and Hendrik Decke. Towards a Reliable and Context-Based System Architecture for Autonomous Vehicles. In 2nd International Workshop on Autonomous Systems Design (ASD 2020). Open Access Series in Informatics (OASIcs), Volume 79, pp. 1:1-1:7, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2020)
@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-dev.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} }
Published in: OASIcs, Volume 79, 2nd International Workshop on Autonomous Systems Design (ASD 2020)
Philipp Mundhenk, Enrique Parodi, and Roland Schabenberger. Fusion: A Safe and Secure Software Platform for Autonomous Driving. In 2nd International Workshop on Autonomous Systems Design (ASD 2020). Open Access Series in Informatics (OASIcs), Volume 79, pp. 2:1-2:6, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2020)
@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-dev.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} }
Published in: OASIcs, Volume 79, 2nd International Workshop on Autonomous Systems Design (ASD 2020)
Philipp Weiss, Sebastian Nagel, Andreas Weichslgartner, and Sebastian Steinhorst. Adaptable Demonstrator Platform for the Simulation of Distributed Agent-Based Automotive Systems. In 2nd International Workshop on Autonomous Systems Design (ASD 2020). Open Access Series in Informatics (OASIcs), Volume 79, pp. 3:1-3:6, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2020)
@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-dev.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} }
Published in: OASIcs, Volume 79, 2nd International Workshop on Autonomous Systems Design (ASD 2020)
Armin Mokhtarian, Alexandru Kampmann, Bassam Alrifaee, Stefan Kowalewski, Bastian Lampe, and Lutz Eckstein. Agile Requirement Engineering for a Cloud System for Automated and Networked Vehicles. In 2nd International Workshop on Autonomous Systems Design (ASD 2020). Open Access Series in Informatics (OASIcs), Volume 79, pp. 4:1-4:8, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2020)
@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-dev.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} }
Published in: OASIcs, Volume 79, 2nd International Workshop on Autonomous Systems Design (ASD 2020)
Alexandre Donzé. BreachFlows: Simulation-Based Design with Formal Requirements for Industrial CPS (Extended Abstract). In 2nd International Workshop on Autonomous Systems Design (ASD 2020). Open Access Series in Informatics (OASIcs), Volume 79, pp. 5:1-5:5, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2020)
@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-dev.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} }
Published in: Dagstuhl Reports, Volume 9, Issue 2 (2019)
Jyotirmoy V. Deshmukh, Oded Maler, and Dejan Nickovic. Specification Formalisms for Modern Cyber-Physical Systems (Dagstuhl Seminar 19071). In Dagstuhl Reports, Volume 9, Issue 2, pp. 48-72, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2019)
@Article{deshmukh_et_al:DagRep.9.2.48, author = {Deshmukh, Jyotirmoy V. and Maler, Oded and Nickovic, Dejan}, title = {{Specification Formalisms for Modern Cyber-Physical Systems (Dagstuhl Seminar 19071)}}, pages = {48--72}, journal = {Dagstuhl Reports}, ISSN = {2192-5283}, year = {2019}, volume = {9}, number = {2}, editor = {Deshmukh, Jyotirmoy V. and Maler, Oded and Nickovic, Dejan}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/DagRep.9.2.48}, URN = {urn:nbn:de:0030-drops-108581}, doi = {10.4230/DagRep.9.2.48}, annote = {Keywords: Cyber-physical systems, formal specifications, runtime verification and control} }
Feedback for Dagstuhl Publishing