José Miguel Paiva Proença


AuthID: R-006-JRF

Publicações Confirmadas: 87



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

Um espaço para investigadores e suas Instituições

Links Úteis

Ajuda

© 2026 CRACS & Inesc TEC - All Rights Reserved Política de Privacidade | Terms of Service