Implicit Semi-Algebraic Abstraction for Polynomial Dynamical Systems
Project: VALU3S
Updated at: 30-11-2023
Resources
5625 items found
Advanced Static Analysis of Atomicity in Concurrent Programs through Facebook Infer
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
Intelligent trajectory planner and generalised proportional integral control for two carts equipped with a red-green-blu...
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
Final dissemination and training activity report
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
Learning Markov Jump Affine Systems via Regression Trees for MPC
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
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
Cross-domain Modelling of Verification and Validation Workflows in the Large Scale European Research Project VALU3S
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
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
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
The AMASS Tool Platform: An Innovative Solution for Assurance and Certification of Cyber-Physical Systems
Project: VALU3S
Updated at: 30-11-2023
Initial communication activity report
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
Human-robot interaction in Industry 4.0 based on an Internet of Things real-time gesture control system
Project: VALU3S
Updated at: 30-11-2023
Simulation-based Fault Injection in Advanced Driver Assistance Systems Modelled in SUMO
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
Fault injection platform for affordable verification and validation of CubeSats software
Project: VALU3S
Updated at: 30-11-2023
Facial Emotion Recognition from an Unmanned Flying Social Robot for Home Care of Dependent People
Project: VALU3S
Updated at: 30-11-2023
SBvote: Scalable Self-Tallying Blockchain-Based Voting
Project: VALU3S
Updated at: 30-11-2023