José Miguel Paiva Proença


AuthID: R-006-JRF

Confirmed Publications: 86



21
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
IN MY: ORCID
22
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
23
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
24
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: 5
IN MY: ORCID
25
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: 2
IN MY: ORCID
26
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
27
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
IN MY: ORCID
28
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
IN MY: ORCID
29
TITLE: Branching Pomsets for Choreographies
AUTHORS: Edixhoven, Luc; Jongmans, Sung Shik; Proenca, Jose ; Cledou, Guillermina ;
PUBLISHED: 2022, SOURCE: 15th Interaction and Concurrency Experience in ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, VOLUME: 365, ISSUE: 365
INDEXED IN: Scopus WOS DBLP
IN MY: ORCID
30
TITLE: Can we Communicate? Using Dynamic Logic to Verify Team Automata
AUTHORS: Maurice H ter Beek; Guillermina Cledou; Rolf Hennicker; José Proença ;
PUBLISHED: 2022, SOURCE: Lecture Notes in Computer Science Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics, VOLUME: 14000 LNCS
INDEXED IN: Scopus DBLP
Page 3 of 9. Total results: 86.

footer slogan

Useful Links

Get Help

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