José Miguel Paiva Proença


AuthID: R-006-JRF

Publicações Confirmadas: 88



11
TÍTULO: The CAOS framework for Scala: Computer-aided design of SOS
AUTORES: Proenca, Jose ; Edixhoven, Luc;
PUBLICAÇÃO: 2025, FONTE: SCIENCE OF COMPUTER PROGRAMMING, VOLUME: 240
INDEXADO EM: Scopus WOS DBLP CrossRef: 1
NO MEU: ORCID | DBLP
12
TÍTULO: Branching pomsets: Design, expressiveness and applications to choreographies
AUTORES: Edixhoven, Luc; Jongmans, Sung Shik; Proenca, Jose ; Castellani, Ilaria;
PUBLICAÇÃO: 2024, FONTE: JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING, VOLUME: 136
INDEXADO EM: Scopus WOS DBLP CrossRef: 3
NO MEU: ORCID | DBLP
13
TÍTULO: Formal Simulation and Visualisation of Hybrid Programs An Extension of a Proof-of-Concept Tool  Full Text
AUTORES: Mendes, Pedro; Correia, Ricardo; Neves, Renato ; Proenca, Jose ;
PUBLICAÇÃO: 2024, FONTE: 6th International Workshop on Formal Methods for Autonomous Systems (FMAS) in ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, VOLUME: 411, NÚMERO: 411
INDEXADO EM: Scopus WOS DBLP CrossRef Unpaywall
NO MEU: DBLP
14
TÍTULO: MARS: Safely Instrumenting Runtime Monitors in Real-Time Resource-Constrained Distributed Systems
AUTORES: Giann Spilere Nandi; David Pereira; José Proença ; Eduardo Tovar ;
PUBLICAÇÃO: 2024, FONTE: 22nd IEEE International Conference on Industrial Informatics, INDIN 2024 in 22nd IEEE International Conference on Industrial Informatics, INDIN 2024, Beijing, China, August 18-20, 2024
INDEXADO EM: Scopus DBLP
NO MEU: DBLP
15
TÍTULO: Message from the VERDI Workshop Chairs; DSN-W 2024
AUTORES: David Pereira; José Proença ; Behrooz Sangchoolie;
PUBLICAÇÃO: 2024, FONTE: 54th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, DSN 2024 - Workshops, Brisbane, Australia, June 24-27, 2024
INDEXADO EM: DBLP
NO MEU: DBLP
16
TÍTULO: Overview on Constrained Multiparty Synchronisation in Team Automata
AUTORES: Proença, J ;
PUBLICAÇÃO: 2024, FONTE: 19th International Conference on Formal Aspects of Component Software (FACS) in FORMAL ASPECTS OF COMPONENT SOFTWARE, FACS 2023, VOLUME: 14485
INDEXADO EM: Scopus WOS CrossRef: 1
NO MEU: ORCID
17
TÍTULO: Reactive Graphs in Action
AUTORES: David Tinoco; Alexandre Madeira; Manuel A Martins ; José Proença ;
PUBLICAÇÃO: 2024, FONTE: Formal Aspects of Component Software - 20th International Conference, FACS 2024, Milan, Italy, September 9-10, 2024, Proceedings, VOLUME: 15189
INDEXADO EM: DBLP
NO MEU: DBLP
18
TÍTULO: Reactive Graphs in Action
AUTORES: Tinoco, David; Madeira, Alexandre; Martins, Manuel A. ; Proenca, Jose ;
PUBLICAÇÃO: 2024, FONTE: 20th International Conference on Formal Aspects of Component Software (FACS) in FORMAL ASPECTS OF COMPONENT SOFTWARE, FACS 2024, VOLUME: 15189
INDEXADO EM: Scopus WOS CrossRef: 4
19
TÍTULO: Reducing the gap between theory and practice in real-time systems with MARS
AUTORES: Nandi, Giann Spilere; Pereira, David; Proenca, Jose ; Tovar, Eduardo ; Nogueira, Luis ;
PUBLICAÇÃO: 2024, FONTE: 54th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN) in 2024 54TH ANNUAL IEEE/IFIP INTERNATIONAL CONFERENCE ON DEPENDABLE SYSTEMS AND NETWORKS-SUPPLEMENTAL VOLUME, DSN-S 2024
INDEXADO EM: Scopus WOS DBLP CrossRef
NO MEU: DBLP
20
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: 2
NO MEU: ORCID | DBLP
Página 2 de 9. Total de resultados: 88.

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