José Proença
José Proença
Home
Events
Projects
Publications
Posts
Research
Teaching
Contact
1
Work-In-Progress: a DSL for the safe deployment of Runtime Monitors in Cyber-Physical Systems
WiP@RTSS
Implementing Hybrid Semantics: From Functional to Imperative
ICTAC 2020
ARx: Reactive Programming for Synchronous Connectors
COORDINATION 2020
Coordination of Tasks on a Real-Time OS
COORDINATION 2019
Taming Hierarchical Connectors
FSEN 2019
ReoLive: Analysing Connectors in Your Browser
FOCLASA 2018
A Refinement Relation for Families of Timed Automata
SBMF 2017
Composing Families of Timed Automata
FSEN 2017
Formal Verification of ROS-Based Robotic Applications Using Timed-Automata
FormaliSE 2017
Quality-Aware Reactive Programming for the Internet of Things
FSEN 2017
»
Cite
×