José Miguel Paiva Proença
AuthID: R-006-JRF
1
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
AUTHORS: Proenca, Jose; Edixhoven, Luc;
PUBLISHED: 2025, SOURCE: SCIENCE OF COMPUTER PROGRAMMING, VOLUME: 240
2
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
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
3
TITLE: Can we Communicate? Using Dynamic Logic to Verify Team Automata
AUTHORS: Maurice H ter Beek; Guillermina Cledou; Rolf Hennicker; José Proença;
PUBLISHED: 2022, SOURCE: 25th International Symposium on Formal Methods, FM 2023 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 14000 LNCS
AUTHORS: Maurice H ter Beek; Guillermina Cledou; Rolf Hennicker; José Proença;
PUBLISHED: 2022, SOURCE: 25th International Symposium on Formal Methods, FM 2023 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 14000 LNCS
INDEXED IN: 
Scopus 
DBLP
Scopus DBLP