The VALU3S ECSEL project: Verification and validation of automated systems safety and security
Project: VALU3S
Updated at: 30-11-2023
Resources
5627 items found
Dynamic fault injection into digital twins of safety-critical systems
Project: VALU3S
Updated at: 30-11-2023
Practical Application of Facebook Infer on Systems Code
Project: VALU3S
Updated at: 30-11-2023
Intercepting Hail Hydra: Real-time detection of Algorithmically Generated Domains
Project: VALU3S
Updated at: 30-11-2023
ComFASE: A Tool for Evaluating the Effects of V2V Communication Faults and Attacks on Automated Vehicles
Project: VALU3S
Updated at: 30-11-2023
Intelligent trajectory planner and generalised proportional integral control for two carts equipped with a red-green-blu...
Project: VALU3S
Updated at: 30-11-2023
Advanced Static Analysis of Atomicity in Concurrent Programs through Facebook Infer
Project: VALU3S
Updated at: 30-11-2023
Exploring the Assessment List for Trustworthy AI in the Context of Advanced Driver-Assistance Systems
Project: VALU3S
Updated at: 30-11-2023
Press Conference to launch VALU3S
Project: VALU3S
Updated at: 30-11-2023
Implicit Semi-Algebraic Abstraction for Polynomial Dynamical Systems
Project: VALU3S
Updated at: 30-11-2023
Interim communication activity report
Project: VALU3S
Updated at: 30-11-2023
Final demonstration plan and a list of evaluation criteria
Project: VALU3S
Updated at: 30-11-2023
Final dissemination and training activity report
Project: VALU3S
Updated at: 30-11-2023
Feeling of Safety and Comfort Towards a Socially Assistive Unmanned Aerial Vehicle That Monitors People in a Virtual Hom...
Project: VALU3S
Updated at: 30-11-2023
Work-In-Progress: a DSL for the safe deployment of Runtime Monitors in Cyber-Physical Systems
Project: VALU3S
Updated at: 30-11-2023
Final report on the results of the standardisation survey (methods, tools, concepts suggested by the standards)
Project: VALU3S
Updated at: 30-11-2023
Cross-domain Modelling of Verification and Validation Workflows in the Large Scale European Research Project VALU3S
Project: VALU3S
Updated at: 30-11-2023
Development of Simulation based testing for automated robot cell for quality inspection of automotive body-in-white syst...
Project: VALU3S
Updated at: 30-11-2023
iReview: an Intelligent Code Review Evaluation Tool using Biofeedback
Project: VALU3S
Updated at: 30-11-2023
VrFy: Verification of Formal Requirements using Generic Traces
Project: VALU3S
Updated at: 30-11-2023
Learning Markov Jump Affine Systems via Regression Trees for MPC
Project: VALU3S
Updated at: 30-11-2023
Featured team automata
Project: VALU3S
Updated at: 30-11-2023
Interim dissemination and training activity report
Project: VALU3S
Updated at: 30-11-2023
Interim exploitation activity report and short/long-term market analysis
Project: VALU3S
Updated at: 30-11-2023
Evolutionary Robustness Testing of REST services
Project: VALU3S
Updated at: 30-11-2023
The VALU3S ECSEL Project: Verification and Validation of Automated Systems Safety and Security
Project: VALU3S
Updated at: 30-11-2023
Initial communication activity report
Project: VALU3S
Updated at: 30-11-2023
The AMASS Tool Platform: An Innovative Solution for Assurance and Certification of Cyber-Physical Systems
Project: VALU3S
Updated at: 30-11-2023
SUFI: A Simulation-based Fault Injection Tool for Safety Evaluationof Advanced Driver Assistance Systems Modelled in SUM...
Project: VALU3S
Updated at: 30-11-2023
FERA: A Framework for Critical Assessment of Execution Monitoring Based Approaches for Finding Concurrency Bugs
Project: VALU3S
Updated at: 30-11-2023