José Proença
José Proença
Home
Events
Projects
Publications
Posts
Research
Teaching
Contact
Route25
Realisability of Global Models of Interaction
ICTAC 2023
Overview on Constrained Multiparty Synchronisation in Team Automata
FACS 2023
Branching pomsets: design, expressiveness and applications to choreographies
JLAMP 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
×