José Miguel Paiva Proença


AuthID: R-006-JRF

Confirmed Publications: 77



1
TITLE: Logic and Calculi for All on the occasion of Luis Barbosa's 60th birthday
AUTHORS: Madeira, Alexandre; Oliveira, Jose Nuno; Proenca, Jose ; Neves, Renato;
PUBLISHED: 2025, SOURCE: JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING, VOLUME: 143
INDEXED IN: Scopus WOS DBLP
IN MY: DBLP
2
TITLE: The CAOS framework for Scala: Computer-aided design of SOS
AUTHORS: Proenca, Jose ; Edixhoven, Luc;
PUBLISHED: 2025, SOURCE: SCIENCE OF COMPUTER PROGRAMMING, VOLUME: 240
INDEXED IN: Scopus WOS DBLP CrossRef
IN MY: ORCID | DBLP
3
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
4
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: 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
INDEXED IN: Scopus DBLP
5
TITLE: Message from the VERDI Workshop Chairs; DSN-W 2024
AUTHORS: David Pereira; José Proença ; Behrooz Sangchoolie;
PUBLISHED: 2024, SOURCE: 54th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, DSN 2024 - Workshops, Brisbane, Australia, June 24-27, 2024
INDEXED IN: DBLP
IN MY: DBLP
6
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
7
TITLE: Reactive Graphs in Action
AUTHORS: David Tinoco; Alexandre Madeira; Manuel A Martins; José Proença ;
PUBLISHED: 2024, SOURCE: Formal Aspects of Component Software - 20th International Conference, FACS 2024, Milan, Italy, September 9-10, 2024, Proceedings, VOLUME: 15189
INDEXED IN: DBLP
IN MY: DBLP
8
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
IN MY: DBLP
9
TITLE: Team Automata: Overview and Roadmap
AUTHORS: ter Beek, Maurice H.; Hennicker, Rolf; Proenca, Jose ;
PUBLISHED: 2024, SOURCE: 26th International Conference on Coordination Models and Language (COORDINATION) in COORDINATION MODELS AND LANGUAGES, COORDINATION 2024, VOLUME: 14676
INDEXED IN: WOS DBLP CrossRef
IN MY: ORCID | DBLP
10
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
Page 1 of 8. Total results: 77.

footer slogan

Useful Links

Get Help

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