José Proença
José Proença
Home
Events
Projects
Publications
Posts
Research
Teaching
Contact
Ibex
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
Ibex (01/2022-now)
__Quantitative methods for cyber-physical programming__ - is an FCT project that aims at develop the mathematical foundations of cyber-physical programming by taking into account uncertainty and behavioural distance.
Caos: A Reusable Scala Web Animator of Operational Semantics
COORDINATION 2023
Can we Communicate? Using Dynamic Logic to Verify Team Automata
FM 2023
Spreadsheet-based Configuration of Families of Real-Time Specifications
TiCSA@ETAPS 2023
ST4MP: A Blueprint of Multiparty Session Typing for Multilingual Programming
ISoLA 2022
Branching pomsets for choreographies
ICE@DisCoTec 2022
Cite
×