José Miguel Paiva Proença


AuthID: R-006-JRF

Confirmed Publications: 87



11
TITLE: RebeCaos
AUTHORS: Proenca, Jose ; ter Beek, Maurice H.;
PUBLISHED: 2025, SOURCE: 27th International Conference on Coordination Models and Languages-COORDINATION-Annual in COORDINATION MODELS AND LANGUAGES, COORDINATION 2025, VOLUME: 15731
INDEXED IN: Scopus WOS DBLP CrossRef
IN MY: ORCID
12
TITLE: RebeCaos Artefact
AUTHORS: José Proença ; Maurice H ter Beek;
PUBLISHED: 2025
INDEXED IN: DBLP
13
TITLE: The CAOS framework for Scala: Computer-aided design of SOS  Full Text
AUTHORS: Proenca, Jose ; Edixhoven, Luc;
PUBLISHED: 2025, SOURCE: SCIENCE OF COMPUTER PROGRAMMING, VOLUME: 240
INDEXED IN: Scopus WOS DBLP CrossRef: 2
IN MY: ORCID
14
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: 4
IN MY: ORCID
15
TITLE: Formal Simulation and Visualisation of Hybrid Programs An Extension of a Proof-of-Concept Tool  Full Text
AUTHORS: Mendes, Pedro; Correia, Ricardo; Neves, Renato ; Proenca, Jose ;
PUBLISHED: 2024, SOURCE: 6th International Workshop on Formal Methods for Autonomous Systems (FMAS) in ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, VOLUME: 411, ISSUE: 411
INDEXED IN: Scopus WOS DBLP CrossRef: 3 Unpaywall
16
TITLE: MARS: Safely Instrumenting Runtime Monitors in Real-Time Resource-Constrained Distributed Systems
AUTHORS: Giann Spilere Nandi; David Pereira; José Proença ; Eduardo Tovar ;
PUBLISHED: 2024, SOURCE: INDIN
INDEXED IN: Scopus DBLP
17
TITLE: Message from the VERDI Workshop Chairs; DSN-W 2024
AUTHORS: David Pereira; José Proença ; Behrooz Sangchoolie;
PUBLISHED: 2024, SOURCE: DSN-W
INDEXED IN: DBLP
18
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
19
TITLE: Reactive Graphs in Action
AUTHORS: Tinoco, David; Madeira, Alexandre; Martins, Manuel A. ; Proenca, Jose ;
PUBLISHED: 2024, SOURCE: 20th International Conference on Formal Aspects of Component Software (FACS) in FORMAL ASPECTS OF COMPONENT SOFTWARE, FACS 2024, VOLUME: 15189
INDEXED IN: Scopus WOS DBLP CrossRef: 4
20
TITLE: Reducing the gap between theory and practice in real-time systems with MARS
AUTHORS: Nandi, Giann Spilere; Pereira, David; Proenca, Jose ; Tovar, Eduardo ; Nogueira, Luis ;
PUBLISHED: 2024, SOURCE: 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
INDEXED IN: Scopus WOS DBLP CrossRef
Page 2 of 9. Total results: 87.

footer slogan

Useful Links

Get Help

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