Proof of Compositionality of CFT Correctness

Autor: Greiner, Simon, Munk, Peter, Nordmann, Arne

In the paper Compositionality of Component Fault Trees, we present a discussion of the compositionality of correctness of component fault trees. In this technical report, we present the formal proof of the central theorem of the aforementioned public

Externí odkaz: http://arxiv.org/abs/1907.09920

A General Access Route to High‐Nuclearity, Metal‐Functionalized Molecular Vanadium Oxides.

Autor: Greiner, Simon^1,2 (AUTHOR), Hettig, Jan^1,2 (AUTHOR), Laws, Alec^1,2 (AUTHOR), Baumgärtner, Katharina^1,2 (AUTHOR), Bustos, Jenna³ (AUTHOR), Pöppler, Ann‐Christin⁴ (AUTHOR), Clark, Adam H.⁵ (AUTHOR), Nyman, May³ (AUTHOR), Streb, Carsten^1,2 (AUTHOR) carsten.streb@uni-ulm.de, Anjass, Montaha^1,2 (AUTHOR) montaha.anjass@uni-ulm.de

Publikováno v: Angewandte Chemie. 2/21/2022, Vol. 134 Issue 9, p1-8. 8p.

Reversible elektrochemische Abscheidung Kalium‐verbrückter molekularer Vanadiumoxide: Ein neuer Ansatz zur Multielektronenspeicherung.

Autor: Arya, Nikhil, Philipp, Tom, Greiner, Simon, Steiner, Michael, Kranz, Christine, Anjass, Montaha

Publikováno v: Angewandte Chemie; 8/28/2023, Vol. 135 Issue 35, p1-9, 9p

A Method for Identifying Inconsistencies between Functional Safety and Cybersecurity of Autonomous Vehicles

Autor: Priyadarshini, Greiner, Simon, Massierer, Maike, Aktouf, Oum-El-Kheir

Publikováno v: CARS 2021-6th International Workshop on Critical Automotive Applications: Robustness & Safety-17th European Dependable Computing Conference (EDCC)
CARS 2021-6th International Workshop on Critical Automotive Applications: Robustness & Safety-17th European Dependable Computing Conference (EDCC), Sep 2021, Munich-(en ligne), Germany
6th International Workshop on Critical Automotive Applications: Robustness & Safety (CARS 2021)
6th International Workshop on Critical Automotive Applications: Robustness & Safety (CARS 2021), Sep 2021, Münich, Germany

International audience; With the shift towards assisted and autonomous driving, more functional safety and security features are being integrated to make these systems dependable, safe, and secure. Additional safety and security features lead to incr

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::ce3db5111725f15d8028ff0040b7ba5d
https://hal.archives-ouvertes.fr/hal-03290113

Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.