| Towards Recertification of Modular Updates in Integrated Maritime Systems of Systems
|
2020 |
Hake, Georg |
| A Functional Verification Methodology for Highly Parametrizable, Continuously Operating Safety-Critical FPGA Designs: Applied to the CERN RadiatiOn Monitoring Electronics (CROME)
|
2020 |
Ceesay-Seitz, Katharina |
| A Compositional Semantics for Repairable BDMPs
|
2020 |
Khan, Shahid |
| Model-Based Safety Analysis of Mode Transitions
|
2020 |
Bozzano, Marco |
| Automated Anomaly Detection in CPS Log Files: A Time Series Clustering Approach
|
2020 |
Schmidt, Tabea |
| Safety Meets Security: Using IEC 62443 for a Highly Automated Road Vehicle
|
2020 |
Piillen, Dominik |
| Threat Analysis Framework for Safety Architectures in SCDL
|
2020 |
Taguchi, Kenji |
| Engineering of Runtime Safety Monitors for Cyber-Physical Systems with Digital Dependability Identities
|
2020 |
Reich, Jan |
| Systematic Evaluation of (Safety) Assurance Cases
|
2020 |
Chowdhury, Thomas |
| A Safety Framework for Critical Systems Utilising Deep Neural Networks
|
2020 |
Zhao, Xingyu |
| Assurance Argument Elements for Off-the-Shelf, Complex Computational Hardware
|
2020 |
Ashmore, Rob |
| Cyber-Security of Neural Networks in Medical Devices
|
2020 |
Becker, Uwe |
| On Validating Attack Trees with Attack Effects
|
2020 |
Nishihara, Hideaki |
| Just Enough Formality in Assurance Argument Structures
|
2020 |
Viger, Torin |
| Efficient Translation of Safety LTL to DFA Using Symbolic Automata Learning and Inductive Inference
|
2020 |
Giantamidis, Georgios |
| Attacker Synthesis for Distributed Protocols
|
2020 |
Hippel, Max von |
| Predicting Railway Signalling Commands Using Neural Networks for Anomaly Detection
|
2020 |
Heinrich, Markus |
| Assuring the Safety of Machine Learning for Pedestrian Detection at Crossings
|
2020 |
Gauerhof, Lydia |
| Safety-Aware Hardening of 3D Object Detection Neural Network Systems
|
2020 |
Cheng, Chih-Hong |
| Towards an Automated Exploration of Secure IoT/CPS Design-Variants
|
2020 |
Gressl, Lukas |
Tag hinzufügen