José Miguel Paiva Proença


AuthID: R-006-JRF

Confirmed Publications: 86



31
TITLE: Cross-domain Modelling of Verification and Validation Workflows in the Large Scale European Research Project VALU3S Invited Paper. Invited Paper
AUTHORS: 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;
PUBLISHED: 2022, SOURCE: 21st International Conference on Embedded Computer Systems - Architectures, Modeling, and Simulation (SAMOS) in EMBEDDED COMPUTER SYSTEMS: ARCHITECTURES, MODELING, AND SIMULATION, SAMOS 2021, VOLUME: 13227
INDEXED IN: Scopus WOS DBLP CrossRef: 1
IN MY: ORCID
32
TITLE: Formal Aspects of Component Software - 18th International Conference, FACS 2022, Virtual Event, November 10-11, 2022, Proceedings
AUTHORS: Silvia Lizeth Tapia Tarifa; José Proença ;
PUBLISHED: 2022, SOURCE: FACS, VOLUME: 13712
INDEXED IN: DBLP
IN MY: ORCID | DBLP
33
TITLE: Special issue on selected papers from the 14th International Conference on Formal Aspects of Component Software (FACS 2017)
AUTHORS: José Proença ; Markus Lumpe;
PUBLISHED: 2022, SOURCE: Sci. Comput. Program., VOLUME: 218
INDEXED IN: DBLP
IN MY: ORCID
34
TITLE: ST4MP: A Blueprint of Multiparty Session Typing for Multilingual Programming
AUTHORS: Sung Shik Jongmans; José Proença ;
PUBLISHED: 2022, SOURCE: ISoLA (1), VOLUME: 13701 LNCS
INDEXED IN: Scopus DBLP
IN MY: ORCID
35
TITLE: Verification of Multiple Models of a Safety-Critical Motor Controller in Railway Systems
AUTHORS: José Proença ; Sina Borrami; Jorge Sanchez de Nova; David Pereira ; Giann Spilere Nandi;
PUBLISHED: 2022, SOURCE: RSSRail, VOLUME: 13294 LNCS
INDEXED IN: Scopus DBLP CrossRef
IN MY: ORCID
36
TITLE: A Proposal for the Classification of Methods for Verification and Validation of Safety, Cybersecurity, and Privacy of Automated Systems
AUTHORS: 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;
PUBLISHED: 2021, SOURCE: QUATIC, VOLUME: 1439 CCIS
INDEXED IN: Scopus DBLP CrossRef: 5
IN MY: ORCID
37
TITLE: Featured Team Automata
AUTHORS: ter Beek, MH; Cledou, G ; Hennicker, R; Proenca, J ;
PUBLISHED: 2021, SOURCE: 24th International Symposium on Formal Methods (FM) in FORMAL METHODS, FM 2021, VOLUME: 13047
INDEXED IN: Scopus WOS DBLP CrossRef: 8
IN MY: ORCID
38
TITLE: Hubs for VirtuosoNext: Online verification of real-time coordinators
AUTHORS: Cledou, G ; Proença, J ; Sputh, BHC; Verhulst, E;
PUBLISHED: 2021, SOURCE: SCIENCE OF COMPUTER PROGRAMMING, VOLUME: 203
INDEXED IN: Scopus WOS DBLP CrossRef: 2
IN MY: ORCID
39
TITLE: The VALU3S ECSEL project: Verification and validation of automated systems safety and security
AUTHORS: 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;
PUBLISHED: 2021, SOURCE: Microprocess. Microsystems, VOLUME: 87
INDEXED IN: Scopus DBLP CrossRef: 9
40
TITLE: ARx: Reactive Programming for Synchronous Connectors
AUTHORS: José Proença ; Guillermina Cledou ;
PUBLISHED: 2020, SOURCE: COORDINATION, VOLUME: 12134 LNCS
INDEXED IN: Scopus DBLP CrossRef: 2
IN MY: ORCID
Page 4 of 9. Total results: 86.

footer slogan

Useful Links

Get Help

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