José Miguel Paiva Proença


AuthID: R-006-JRF

Publicações Confirmadas: 86



31
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
32
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
33
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
34
TÍTULO: ST4MP: A Blueprint of Multiparty Session Typing for Multilingual Programming
AUTORES: Sung Shik Jongmans; José Proença ;
PUBLICAÇÃO: 2022, FONTE: ISoLA (1), VOLUME: 13701 LNCS
INDEXADO EM: Scopus DBLP
NO MEU: ORCID
35
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: RSSRail, VOLUME: 13294 LNCS
INDEXADO EM: Scopus DBLP CrossRef
NO MEU: ORCID
36
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: QUATIC, VOLUME: 1439 CCIS
INDEXADO EM: Scopus DBLP CrossRef: 5
NO MEU: ORCID
37
TÍTULO: Featured Team Automata
AUTORES: ter Beek, MH; Cledou, G ; Hennicker, R; Proenca, J ;
PUBLICAÇÃO: 2021, FONTE: 24th International Symposium on Formal Methods (FM) in FORMAL METHODS, FM 2021, VOLUME: 13047
INDEXADO EM: Scopus WOS DBLP CrossRef: 8
NO MEU: ORCID
38
TÍTULO: Hubs for VirtuosoNext: Online verification of real-time coordinators  Full Text
AUTORES: Cledou, G ; Proença, 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
39
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: 9
40
TÍTULO: ARx: Reactive Programming for Synchronous Connectors  Full Text
AUTORES: José Proença ; Guillermina Cledou ;
PUBLICAÇÃO: 2020, FONTE: COORDINATION, VOLUME: 12134 LNCS
INDEXADO EM: Scopus DBLP CrossRef: 2
NO MEU: ORCID
Página 4 de 9. Total de resultados: 86.

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