José Proença
José Proença
Home
Events
Projects
Publications
Posts
Research
Teaching
Contact
2
The CAOS framework for Scala: computer-aided design of SOS
SCP 2024
Secure integration of extremely resource-constrained nodes on distributed ROS2 applications
API Generation for Multiparty Session Types, Revisited and Revised Using Scala 3 (Artifact)
Special issue on selected papers from the 14th International Conference on Formal Aspects of Component Software (FACS 2017)
Hubs for VirtuosoNext: Online verification of real-time coordinators
SCP 2021
Implementing Hybrid Semantics: From Functional to Imperative (Extended Version)
CoRR 2020
Teaching how to program using automated assessment and functional glossy games (experience report)
ICFP 2018
Typed connector families and their semantics
SCP 2017
A procedure for splitting data-aware processes and its application to coordination
SCP 2016
Feature Nets: behavioural modelling of software product lines
SoSyM 2016
»
Cite
×