José Miguel Paiva Proença


AuthID: R-006-JRF

Confirmed Publications: 69



1
TITLE: Branching pomsets: Design, expressiveness and applications to choreographies
AUTHORS: Edixhoven, Luc; Jongmans, Sung Shik; Proenca, Jose ; Castellani, Ilaria;
PUBLISHED: 2024, SOURCE: JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING, VOLUME: 136
INDEXED IN: Scopus WOS DBLP CrossRef: 2
IN MY: ORCID | DBLP
2
TITLE: Overview on Constrained Multiparty Synchronisation in Team Automata
AUTHORS: Proença, J ;
PUBLISHED: 2024, SOURCE: 19th International Conference on Formal Aspects of Component Software (FACS) in FORMAL ASPECTS OF COMPONENT SOFTWARE, FACS 2023, VOLUME: 14485
INDEXED IN: Scopus WOS CrossRef: 1
IN MY: ORCID
3
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: WOS DBLP CrossRef: 2
IN MY: ORCID | DBLP
4
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
5
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
IN MY: DBLP
6
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
7
TITLE: Realisability of Global Models of Interaction
AUTHORS: Maurice H ter Beek; Rolf Hennicker; José Proença ;
PUBLISHED: 2023, SOURCE: 20th International Colloquium on Theoretical Aspects of Computing, ICTAC 2023 in Theoretical Aspects of Computing - ICTAC 2023 - 20th International Colloquium, Lima, Peru, December 4-8, 2023, Proceedings, VOLUME: 14446
INDEXED IN: Scopus DBLP CrossRef: 2
IN MY: ORCID | DBLP
8
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
IN MY: ORCID
9
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: 1st Workshop on Trends in Configurable Systems Analysis, TiCSA 2023 in Proceedings of the First Workshop on Trends in Configurable Systems Analysis, TiCSA@ETAPS 2023, Paris, France, 23rd April 2023., VOLUME: 392
INDEXED IN: Scopus DBLP
IN MY: DBLP
10
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: 36th European Conference on Object-Oriented Programming, ECOOP 2022 in 36th European Conference on Object-Oriented Programming, ECOOP 2022, June 6-10, 2022, Berlin, Germany., VOLUME: 222
INDEXED IN: Scopus DBLP
IN MY: ORCID | DBLP
Page 1 of 7. Total results: 69.

A place for researchers and their institutions

Useful Links

Get Help

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