José Miguel Paiva Proença


AuthID: R-006-JRF

Publicações Confirmadas: 88



31
TÍTULO: Can we Communicate? Using Dynamic Logic to Verify Team Automata
AUTORES: Maurice H ter Beek; Guillermina Cledou; Rolf Hennicker; José Proença ;
PUBLICAÇÃO: 2022, FONTE: 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
INDEXADO EM: Scopus DBLP
NO MEU: DBLP
32
TÍTULO: Cross-domain Modelling of Verification and Validation Workflows in the Large Scale European Research Project VALU3S Invited Paper. Invited Paper
AUTORES: Bauer, Thomas; Agirre, Joseba A.; Fuercho, David; Herzner, Wolfgang; Hruska, Bob; Karaca, Mustafa; Pereira, David; Proenca, Jose ; Schlick, Rupert; Sicher, Robert; Smrcka, Ales; Yayan, Ugur; Sangchoolie, Behrooz;
PUBLICAÇÃO: 2022, FONTE: 21st International Conference on Embedded Computer Systems - Architectures, Modeling, and Simulation (SAMOS) in EMBEDDED COMPUTER SYSTEMS: ARCHITECTURES, MODELING, AND SIMULATION, SAMOS 2021, VOLUME: 13227
INDEXADO EM: Scopus WOS DBLP CrossRef: 1
NO MEU: ORCID | DBLP
33
TÍTULO: Formal Aspects of Component Software - 18th International Conference, FACS 2022, Virtual Event, November 10-11, 2022, Proceedings
AUTORES: Silvia Lizeth Tapia Tarifa; José Proença ;
PUBLICAÇÃO: 2022, FONTE: FACS, VOLUME: 13712
INDEXADO EM: DBLP
NO MEU: ORCID | DBLP
34
TÍTULO: Special issue on selected papers from the 14th International Conference on Formal Aspects of Component Software (FACS 2017)
AUTORES: José Proença ; Markus Lumpe;
PUBLICAÇÃO: 2022, FONTE: Sci. Comput. Program., VOLUME: 218
INDEXADO EM: DBLP
NO MEU: ORCID | DBLP
35
TÍTULO: ST4MP: A Blueprint of Multiparty Session Typing for Multilingual Programming
AUTORES: Sung Shik Jongmans; José Proença ;
PUBLICAÇÃO: 2022, FONTE: 11th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2022 in Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles - 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22-30, 2022, Proceedings, Part I, VOLUME: 13701
INDEXADO EM: Scopus DBLP
NO MEU: ORCID | DBLP
36
TÍTULO: Verification of Multiple Models of a Safety-Critical Motor Controller in Railway Systems
AUTORES: José Proença ; Sina Borrami; Jorge Sanchez de Nova; David Pereira; Giann Spilere Nandi;
PUBLICAÇÃO: 2022, FONTE: Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification - 4th International Conference, RSSRail 2022, Paris, France, June 1-2, 2022, Proceedings, VOLUME: 13294
INDEXADO EM: DBLP
NO MEU: ORCID | DBLP
37
TÍTULO: A Proposal for the Classification of Methods for Verification and Validation of Safety, Cybersecurity, and Privacy of Automated Systems
AUTORES: Jose Luis de la Vara; Thomas Bauer; Bernhard Fischer; Mustafa Karaca; Henrique Madeira ; Martin Matschnig; Silvia Mazzini; Giann Spilere Nandi; Fabio Patrone; David Pereira; José Proença ; Rupert Schlick; Stefano Tonetta; Ugur Yayan; Behrooz Sangchoolie;
PUBLICAÇÃO: 2021, FONTE: 14th International Conference on the Quality of Information and Communications Technology, QUATIC 2021 in Quality of Information and Communications Technology - 14th International Conference, QUATIC 2021, Algarve, Portugal, September 8-11, 2021, Proceedings, VOLUME: 1439
INDEXADO EM: Scopus DBLP CrossRef: 4
NO MEU: ORCID | DBLP
38
TÍTULO: Featured Team Automata
AUTORES: Maurice H ter Beek; Guillermina Cledou ; Rolf Hennicker; José Proença ;
PUBLICAÇÃO: 2021, FONTE: Formal Methods - 24th International Symposium, FM 2021, Virtual Event, November 20-26, 2021, Proceedings, VOLUME: 13047
INDEXADO EM: DBLP CrossRef: 7
NO MEU: ORCID | DBLP
39
TÍTULO: Hubs for VirtuosoNext: Online verification of real-time coordinators  Full Text
AUTORES: Cledou, G ; Proenca, J ; Sputh, BHC; Verhulst, E;
PUBLICAÇÃO: 2021, FONTE: SCIENCE OF COMPUTER PROGRAMMING, VOLUME: 203
INDEXADO EM: Scopus WOS DBLP CrossRef: 2
NO MEU: ORCID | DBLP
40
TÍTULO: The VALU3S ECSEL project: Verification and validation of automated systems safety and security
AUTORES: Joseba Andoni Agirre; Leire Etxeberria; Raul Barbosa; Stylianos Basagiannis; Georgios Giantamidis; Thomas Bauer; Enrico Ferrari; Mikel Labayen Esnaola; Vanessa Orani; Johnny Öberg; David Pereira; José Proença ; Rupert Schlick; Ales Smrcka; Walter Tiberti; Stefano Tonetta; Marco Bozzano; Ahmet Yazici; Behrooz Sangchoolie;
PUBLICAÇÃO: 2021, FONTE: Microprocess. Microsystems, VOLUME: 87
INDEXADO EM: Scopus DBLP CrossRef: 8
NO MEU: DBLP
Página 4 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