

José Proença
Senior Researcher
José Proença is a senior researcher at CISTER, ISEP, Portugal, working on formal models for component-based and critical systems.
Related
- Work-In-Progress: a DSL for the safe deployment of Runtime Monitors in Cyber-Physical Systems
- 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)
- Coordination of Tasks on a Real-Time OS