José Proença
José Proença
Home
Events
Projects
Publications
Posts
Research
Teaching
Contact
Work-In-Progress: a DSL for the safe deployment of Runtime Monitors in Cyber-Physical Systems
Giann Spilere Nandi
,
David Pereira
,
José Proença
,
Eduardo Tovar
December 2020
PDF
Cite
Project
Project
Project
DOI
Type
Conference paper
Publication
41st IEEE Real-Time Systems Symposium, RTSS 2020, Houston, TX, USA, December 1-4, 2020
DaVinci
Reassure
VALU3S
Related
Hubs for VirtuosoNext: Online verification of real-time coordinators
Implementing Hybrid Semantics: From Functional to Imperative
Verification of Real-Time Coordination in VirtuosoNext (extended version)
Implementing Hybrid Semantics: From Functional to Imperative (Extended Version)
ARx: Reactive Programming for Synchronous Connectors
Cite
×