José Proença
José Proença
Home
Events
Projects
Publications
Posts
Research
Teaching
Contact
Ibex
Realisability of Global Models of Interaction
ICTAC 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
×