José Proença
José Proença
Home
Events
Projects
Publications
Posts
Research
Teaching
Contact
MARS: a toolset for the safe and secure deployment of heterogeneous distributed systems
Giann Nandi
,
David Pereira
,
José Proença
,
José Santos
,
Lourenço Rodrigues
,
André Lourenço
,
Eduardo Tovar
December 2022
PDF
Cite
ERSA@RTSS
Type
Conference paper
Publication
43rd IEEE Real-Time Systems Symposium, RTSS 2022, Houston, USA, December 5-8, 2022
VALU3S
Related
Secure integration of extremely resource-constrained nodes on distributed ROS2 applications
Work-In-Progress: a DSL for the safe deployment of Runtime Monitors in Cyber-Physical Systems
Spreadsheet-based Configuration of Families of Real-Time Specifications
Cross-domain Modelling of Verification and Validation Workflows in the Large Scale European Research Project VALU3S - Invited Paper
Verification of Multiple Models of a Safety-Critical Motor Controller in Railway Systems
Cite
×