Last updated on Sep 22, 2022
José Proença is a senior researcher at Instituto Politécnico do Porto, Instituto Superior de Engenharia do Porto, working in the Research Center in Real-Time & Embedded Computing Systems, and invited professor at Universidade do Minho, Portugal. His core research targets coordination aspects and formal methods in the context of Cyber-Physical Systems. He is actively involved in a H2020 project and in 1 FCT project. He currently belongs to the steering committee of 2 international conferences in fundamental computer science, he chaired the program committee of 6 international research venues with edited proceedings, edited 2 journal volumes, and was the member of 19 program-committees of international venues.
- API Generation for Multiparty Session Types, Revisited and Revised Using Scala 3 (Artifact)
- API Generation for Multiparty Session Types, Revisited and Revised Using Scala 3
- Branching pomsets for choreographies
- Verification of Multiple Models of a Safety-Critical Motor Controller in Railway Systems
- Ibex (01/2022-now)
Programs for the physical world -- describing vehicles and fireflies
Joint work between HasLAB/INESC TEC and CISTER/ISEP, to develop a programming language with differential equations.
Last updated on Apr 6, 2021 11 min read
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. …