José Proença
José Proença
Home
Events
Projects
Publications
Posts
Research
Teaching
Contact
VALU3S
API Generation for Multiparty Session Types, Revisited and Revised Using Scala 3 (Artifact)
Branching pomsets for choreographies
ICE@DisCoTec 2022
Verification of Multiple Models of a Safety-Critical Motor Controller in Railway Systems
Featured Team Automata
FM 2021
Cross-domain Modelling of Verification and Validation Workflows in the Large Scale European Research Project VALU3S - Invited Paper
SAMOS 2021
Hubs for VirtuosoNext: Online verification of real-time coordinators
SCP 2021
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
Verification of Real-Time Coordination in VirtuosoNext (extended version)
VirtuosoNextTM is a distributed real-time operating system (RTOS) featuring a generic programming model dubbed Interacting Entities. This paper focuses on these interactions, implemented as so-called Hubs. Hubs act as synchronisation and …
ARx: Reactive Programming for Synchronous Connectors
COORDINATION 2020
«
»
Cite
×