José Proença
José Proença
Home
Events
Projects
Publications
Posts
Research
Teaching
Contact
Giann Spilere Nandi
Latest
Secure integration of extremely resource-constrained nodes on distributed ROS2 applications
Spreadsheet-based Configuration of Families of Real-Time Specifications
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
Work-In-Progress: a DSL for the safe deployment of Runtime Monitors in Cyber-Physical Systems
Cite
×