Mastering Agile Practice Adoption through a Model-Driven Approach for the Combination of Development Methods
Project: VALU3S
Updated at: 30-11-2023
Resources
5625 items found
Updated web-based repository, linking V&V tools to the framework
Project: VALU3S
Updated at: 30-11-2023
Final exploitation activity report and short/long-term market analysis
Project: VALU3S
Updated at: 30-11-2023
Report on the activities conducted to disseminate VALU3S results to different Standardisation groups
Project: VALU3S
Updated at: 30-11-2023
A Proposal for the Classification of Methods for Verification and Validation of Safety, Cybersecurity, and Privacy of Au...
Project: VALU3S
Updated at: 30-11-2023
Manipulation of Camera Sensor Data via Fault Injection for Anomaly Detection Studies in Verification and Validation Acti...
Project: VALU3S
Updated at: 30-11-2023
Multidimensional Framework for Characterizing Verification and Validation of Automated Systems
Project: VALU3S
Updated at: 30-11-2023
Concept for using virtual prototypes (e.g., digital twins) in the context of the simulated verification
Project: VALU3S
Updated at: 30-11-2023
Agility in Software 2.0 – Notebook Interfaces and MLOps with Buttresses and Rebars
Project: VALU3S
Updated at: 30-11-2023
Model-based assurance evidence management for safety–critical systems
Project: VALU3S
Updated at: 30-11-2023
Final VALU3S Events, including Press Conference and Open Workshop
Project: VALU3S
Updated at: 30-11-2023
Goal-Conditioned Reinforcement Learning within a Human-Robot Disassembly Environment
Project: VALU3S
Updated at: 30-11-2023
Updated web-based repository, linking V&V evaluation results to the framework
Project: VALU3S
Updated at: 30-11-2023
An Industrial Approach for Model-Based Reliability-Oriented System Design
Project: VALU3S
Updated at: 30-11-2023
Verification and validation of an automated robot inspection cell for automotive body-in-white: a use case for the VALU3...
Project: VALU3S
Updated at: 30-11-2023
Implementing Hybrid Semantics: From Functional to Imperative
Project: VALU3S
Updated at: 30-11-2023
Assurance and certification of cyber–physical systems: The AMASS open source ecosystem
Project: VALU3S
Updated at: 30-11-2023
SmartOTPs - An Air-Gapped 2-Factor Authentication for Smart-Contract Wallets
Project: VALU3S
Updated at: 30-11-2023
Initial exploitation activity report and short/long-term market analysis
Project: VALU3S
Updated at: 30-11-2023
V&V methods for SCP evaluation of automated systems
Project: VALU3S
Updated at: 30-11-2023
Comparison of RGB-D and IMU-based gesture recognition for human-robot interaction in remanufacturing
Project: VALU3S
Updated at: 30-11-2023
Test Automation with Grad-CAM Heatmaps - A Future Pipe Segment in MLOps for Vision AI?
Project: VALU3S
Updated at: 30-11-2023
Simulation-as-a-Service: a simulation platform for cyber-physical systems
Project: VALU3S
Updated at: 30-11-2023
A Proposal for Model-Based Reliability-Oriented System Design in Industry
Project: VALU3S
Updated at: 30-11-2023
Updated/redesigned web-based repository with respect to the feedbacks obtained from D3.3, D3.7, D4.12 and D5.7
Project: VALU3S
Updated at: 30-11-2023
Hubs for VirtuosoNext: Online verification of real-time coordinators
Project: VALU3S
Updated at: 30-11-2023
VALU3S public web page
Project: VALU3S
Updated at: 30-11-2023
API Generation for Multiparty Session Types, Revisited and Revised Using Scala 3
Project: VALU3S
Updated at: 30-11-2023
Mitigating Virtualization Failures Through Migration to a Co-Located Hypervisor
Project: VALU3S
Updated at: 30-11-2023
On Active Learning for Supervisor Synthesis
Project: VALU3S
Updated at: 30-11-2023