Search

David Pereira

Reducing the gap between theory and practice in real-time systems with MARS
Secure integration of extremely resource-constrained nodes on distributed ROS2 applications
Spreadsheet-based Configuration of Families of Real-Time Specifications
MARS: a toolset for the safe and secure deployment of heterogeneous distributed systems
Verification of Multiple Models of a Safety-Critical Motor Controller in Railway Systems
A Proposal for the Classification of Methods for Verification and Validation of Safety, Cybersecurity, and Privacy of Automated Systems
Cross-domain Modelling of Verification and Validation Workflows in the Large Scale European Research Project VALU3S - Invited Paper
Work-In-Progress: a DSL for the safe deployment of Runtime Monitors in Cyber-Physical Systems

Published with Wowchemy — the free, open source website builder that empowers creators.