ERD

Report: Systematic refinement

Project: FOCETA

Updated at: 26-02-2024

Show more information

Project acronym FOCETA

Dissemination Action Plan including project corporate identity update

Project: FOCETA

Updated at: 26-02-2024

Show more information

Project acronym FOCETA

Standardisation final report

Project: FOCETA

Updated at: 26-02-2024

Show more information

Project acronym FOCETA

Report: Runtime enforcement for performance while guaranteeing safety

Project: FOCETA

Updated at: 26-02-2024

Show more information

Project acronym FOCETA

"Report on workshop #2 organisation"

Project: FOCETA

Updated at: 26-02-2024

Show more information

Project acronym FOCETA

Report on public demonstration

Project: FOCETA

Updated at: 26-02-2024

Show more information

Project acronym FOCETA

Project mini-video

Project: FOCETA

Updated at: 26-02-2024

Show more information

Project acronym FOCETA

Report: Formal verification of learning components

Project: FOCETA

Updated at: 26-02-2024

Show more information

Project acronym FOCETA

Provable Correct and Adaptive Simplex Architecture for Bounded-Liveness Properties

Project: FOCETA

Updated at: 31-01-2024

Show more information

Project acronym FOCETA

Large-Scale Application of Fault Injection into PyTorch Models -- an Extension to PyTorchFI for Validation Efficiency

Project: FOCETA

Updated at: 31-01-2024

Show more information

Project acronym FOCETA

A Low-Cost Strategic Monitoring Approach for Scalable and Interpretable Error Detection in Deep Neural Networks

Project: FOCETA

Updated at: 31-01-2024

Show more information

Project acronym FOCETA

Structural Coding: A Low-Cost Scheme to Protect CNNs from Large-Granularity Memory Faults

Project: FOCETA

Updated at: 31-01-2024

Show more information

Project acronym FOCETA

Mining Hyperproperties using Temporal Logic

Project: FOCETA

Updated at: 31-01-2024

Show more information

Project acronym FOCETA

Adversarial Robustness Improvement for Deep Neural Networks

Project: FOCETA

Updated at: 31-01-2024

Show more information

Project acronym FOCETA

Mining Specification Parameters for Multi-Class Classification

Project: FOCETA

Updated at: 31-01-2024

Show more information

Project acronym FOCETA

Hierarchical Distribution-Aware Testing of Deep Learning

Project: FOCETA

Updated at: 31-01-2024

Show more information

Project acronym FOCETA

OpenSBT: A Modular Framework for Search-based Testing of Automated Driving Systems

Project: FOCETA

Updated at: 24-11-2023

Show more information

Project acronym FOCETA

Simulation-based Safety Assurance for an AVP System incorporating Learning-Enabled Components

Project: FOCETA

Updated at: 24-11-2023

Show more information

Project acronym FOCETA

Are Transformers More Robust? Towards Exact Robustness Verification for Transformers

Project: FOCETA

Updated at: 31-10-2023

Show more information

Project acronym FOCETA

The Unnecessity of Assuming Statistically Independent Tests in Bayesian Software Reliability Assessments

Project: FOCETA

Updated at: 31-10-2023

Show more information

Project acronym FOCETA

Improving the Safety of 3D Object Detectors in Autonomous Driving using IoGT and Distance Measures

Project: FOCETA

Updated at: 31-10-2023

Show more information

Project acronym FOCETA

Formal XAI via Syntax-Guided Synthesis

Project: FOCETA

Updated at: 31-10-2023

Show more information

Project acronym FOCETA

A Survey of Safety and Trustworthiness of Large Language Models through the Lens of Verification and Validation

Project: FOCETA

Updated at: 31-10-2023

Show more information

Project acronym FOCETA

Learning from Demonstrations of Critical Driving Behaviours Using Driver’s Risk Field

Project: FOCETA

Updated at: 31-10-2023

Show more information

Project acronym FOCETA

Report: AI-enabled systematic and intelligent testing of autonomous systems

Project: FOCETA

Updated at: 31-10-2023

Show more information

Project acronym FOCETA

"Report on workshop #1 organisation"

Project: FOCETA

Updated at: 31-10-2023

Show more information

Project acronym FOCETA

Report: Early validation result WP4

Project: FOCETA

Updated at: 31-10-2023

Show more information

Project acronym FOCETA

Report: Early validation result WP3

Project: FOCETA

Updated at: 31-10-2023

Show more information

Project acronym FOCETA

Attribute Repair for Threat Prevention

Project: FOCETA

Updated at: 31-10-2023

Show more information

Project acronym FOCETA

Reinforcement Learning from Simulation to Real World Autonomous Driving using Digital Twin

Project: FOCETA

Updated at: 31-10-2023

Show more information

Project acronym FOCETA

Resources