Dependability Modelling Projects:

• HIP-HOPS
• SafeDrones: A Prototype for Executable Digital Dependable Identifier (EDDI)

Dependable AI Projects:

• SafeML: Exploring Techniques for Safety Monitoring of Machine Learning Classifiers
• XWhy: eXplain Why with SMILE -- Statistical Model-agnostic Interpretability with Local Explanations
• D-ACE: Dataset Assessment and Characteristics Evaluation
• Fairness Evaluation vs. Distributional Shift
• APEP-ML: Adversarial Poisonings using Evolutionary Processes for Machine Learning
• MA'AT: Machine learning Audit and Assessment for Trustworthiness and fairness (will be Public Soon!)

Optimization Projects:

• Quantum-based Fick's Law Algorithm (QFLA) for Optimization