José Miguel Paiva Proença


AuthID: R-006-JRF

Confirmed Publications: 87



21
TITLE: Team Automata: Overview and Roadmap
AUTHORS: ter Beek, Maurice H.; Hennicker, Rolf; Proenca, Jose ;
PUBLISHED: 2024, SOURCE: 26th International Conference on Coordination Models and Language (COORDINATION) in COORDINATION MODELS AND LANGUAGES, COORDINATION 2024, VOLUME: 14676
INDEXED IN: WOS DBLP CrossRef: 4
22
TITLE: Can We Communicate? Using Dynamic Logic to Verify Team Automata
AUTHORS: ter Beek, Maurice H.; Cledou, Guillermina ; Hennicker, Rolf; Proenca, Jose ;
PUBLISHED: 2023, SOURCE: 25th International Symposium on Formal Methods (FM) in FORMAL METHODS, FM 2023, VOLUME: 14000
INDEXED IN: Scopus WOS DBLP CrossRef: 6
23
TITLE: Caos: A Reusable Scala Web Animator of Operational Semantics
AUTHORS: Proenca, Jose ; Edixhoven, Luc;
PUBLISHED: 2023, SOURCE: 25th International Conference on Coordination Models and Language (COORDINATION) in COORDINATION MODELS AND LANGUAGES, COORDINATION 2023, VOLUME: 13908
INDEXED IN: Scopus WOS DBLP CrossRef: 6
24
TITLE: Caos: A Reusable Scala Web Animator of Operational Semantics (Extended With Hands-On Tutorial)
AUTHORS: José Proença ; Luc Edixhoven;
PUBLISHED: 2023, SOURCE: CoRR, VOLUME: abs/2304.14901
INDEXED IN: DBLP
25
TITLE: Overview on Constrained Multiparty Synchronisation in Team Automata
AUTHORS: José Proença ;
PUBLISHED: 2023, SOURCE: Formal Aspects of Component Software - 19th International Conference, FACS 2023, Virtual Event, October 19-20, 2023, Revised Selected Papers, VOLUME: 14485
INDEXED IN: DBLP
IN MY: DBLP
26
TITLE: Realisability of Global Models of Interaction
AUTHORS: Maurice H ter Beek; Rolf Hennicker; José Proença ;
PUBLISHED: 2023, SOURCE: ICTAC, VOLUME: 14446 LNCS
INDEXED IN: Scopus DBLP CrossRef: 6
27
TITLE: Secure integration of extremely resource-constrained nodes on distributed ROS2 applications
AUTHORS: Giann Spilere Nandi; David Pereira ; José Proença ; Eduardo Tovar; Antonio Rodriguez; Pablo Garrido;
PUBLISHED: 2023, SOURCE: Open Research Europe, VOLUME: 3
INDEXED IN: CrossRef: 4
IN MY: ORCID
28
TITLE: Spreadsheet-based Configuration of Families of Real-Time Specifications
AUTHORS: José Proença ; David Pereira; Giann Spilere Nandi; Sina Borrami; Jonas Melchert;
PUBLISHED: 2023, SOURCE: TiCSA@ETAPS, VOLUME: 392
INDEXED IN: Scopus DBLP
29
TITLE: API Generation for Multiparty Session Types, Revisited and Revised Using Scala 3
AUTHORS: Guillermina Cledou ; Luc Edixhoven; Sung Shik Jongmans; José Proença ;
PUBLISHED: 2022, SOURCE: ECOOP, VOLUME: 222
INDEXED IN: Scopus DBLP
30
TITLE: API Generation for Multiparty Session Types, Revisited and Revised Using Scala 3 (Artifact)
AUTHORS: Guillermina Cledou ; Luc Edixhoven; Sung Shik Jongmans; José Proença ;
PUBLISHED: 2022, SOURCE: Dagstuhl Artifacts Ser., VOLUME: 8, ISSUE: 2
INDEXED IN: DBLP
Page 3 of 9. Total results: 87.

footer slogan

Useful Links

Get Help

© 2026 CRACS & Inesc TEC - All Rights Reserved Privacy Policy | Terms of Service