José Proença
José Proença
Home
Events
Projects
Publications
Posts
Research
Teaching
Contact
VALU3S
Can we Communicate? Using Dynamic Logic to Verify Team Automata
FM 2023
MARS: a toolset for the safe and secure deployment of heterogeneous distributed systems
ERSA@RTSS 2022
ST4MP: A Blueprint of Multiparty Session Typing for Multilingual Programming
ISoLA 2022
API Generation for Multiparty Session Types, Revisited and Revised Using Scala 3
ECOOP 2022
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
»
Cite
×