José Proença
José Proença
Home
Events
Projects
Publications
Posts
Research
Teaching
Contact
Taming Hierarchical Connectors
José Proença
,
Alexandre Madeira
January 2019
PDF
Cite
Code
Project
Slides
DOI
Type
Conference paper
Publication
Fundamentals of Software Engineering - 8th International Conference, FSEN 2019, Tehran, Iran, May 1-3, 2019, Revised Selected Papers
DaVinci
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)
Proceedings of F-IDE@FM 2019
Cite
×