| 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 |
| An Attacker Modeling Framework for the Assessment of Cyber-Physical Systems Security
|
2020 |
Deloglos, Christopher |
| Model-Centered Assurance for Autonomous Systems
|
2020 |
Jha, Susmit |
| FASTEN.Safe: A Model-Driven Engineering Tool to Experiment with Checkable Assurance Cases
|
2020 |
Cârlan, Carmen |
| Quantifying Assurance in Learning-Enabled Systems
|
2020 |
Asaadi, Erfan |
| Securing Electric Vehicle Charging Systems Through Component Binding
|
2020 |
Fuchs, Andreas |
| Efficient Load-Time Diversity for an Embedded Real-Time Operating System
|
2020 |
Fellmuth, Joachim |
| A Classification of Faults Covering the Human-Computer Interaction Loop
|
2020 |
Palanque, Philippe |
| 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 |
Tag hinzufügen