Alexander Raschke | DeepAI

Chat Image Generator Video Music Voice Chat Photo Editor

Featured Co-authors

Michael Felderer
61 publications
Paolo Dini
14 publications
Matthias Tichy
8 publications
Manuel Bravo
7 publications
Irdin Pekaric
6 publications
Thomas Witte
3 publications
Raffaela Groner
2 publications
Philipp Paulweber
1 publication
Gabriela Moreira
1 publication
Sophie Hirn
1 publication
Markus Frick
1 publication

research

∙ 09/18/2023

Model-Based Generation of Attack-Fault Trees

Joint safety and security analysis of cyber-physical systems is a necess...

0 Raffaela Groner, et al. ∙

research

∙ 09/18/2023

Towards Model Co-evolution Across Self-Adaptation Steps for Combined Safety and Security Analysis

Self-adaptive systems offer several attack surfaces due to the communica...

0 Thomas Witte, et al. ∙

research

∙ 01/25/2023

Tutorial on the Executable ASM Specification of the AB Protocol and Comparison with TLA^+

The main aim of this report is to provide an introductory tutorial on th...

0 Paolo Dini, et al. ∙

Success!

An error occurred