José Proença
José Proença
Home
Events
Projects
Publications
Posts
Research
Teaching
Contact
1
Reactive graphs in action
FACS 2024
Branching pomsets: design, expressiveness and applications to choreographies
JLAMP 2024
Reducing the gap between theory and practice in real-time systems with MARS
DSN 2024
Team Automata: Overview and Roadmap
COORDINATION 2024
Realisability of Global Models of Interaction
ICTAC 2023
Overview on Constrained Multiparty Synchronisation in Team Automata
FACS 2023
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
MARS: a toolset for the safe and secure deployment of heterogeneous distributed systems
ERSA@RTSS 2022
»
Cite
×