José Proença
José Proença
Home
Events
Projects
Publications
Posts
Research
Teaching
Contact
Route25
Formal Simulation and Visualisation of Hybrid Programs
FMAS@iFM 2024
The CAOS framework for Scala: computer-aided design of SOS
SCP 2024
Branching pomsets: design, expressiveness and applications to choreographies
JLAMP 2024
Realisability of Global Models of Interaction
ICTAC 2023
Overview on Constrained Multiparty Synchronisation in Team Automata
FACS 2023
Route 25 (2022-2025)
__Agenda for Autonomous, Intelligent, Interoperable and Inclusive Mobility__ - is portuguese funded project, by IAPMEI, to keep Portugal relevant in the mobility industry.
Secure integration of extremely resource-constrained nodes on distributed ROS2 applications
Spreadsheet-based Configuration of Families of Real-Time Specifications
TiCSA@ETAPS 2023
Cite
×