José Miguel Paiva Proença


AuthID: R-006-JRF

Publicações Confirmadas: 75



21
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
22
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
23
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
24
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: 3
NO MEU: ORCID | DBLP
25
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: 5
NO MEU: ORCID | DBLP
26
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
27
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: 6
NO MEU: DBLP
28
TÍTULO: ARx: Reactive Programming for Synchronous Connectors
AUTORES: José Proença ; Guillermina Cledou ;
PUBLICAÇÃO: 2020, FONTE: 22nd IFIP WG 6.1 International Conference on Coordination Models and Languages, COORDINATION 2020, held as part of the 15th International Federated Conference on Distributed Computing Techniques, DisCoTec 2020 in Coordination Models and Languages - 22nd IFIP WG 6.1 International Conference, COORDINATION 2020, Held as Part of the 15th International Federated Conference on Distributed Computing Techniques, DisCoTec 2020, Valletta, Malta, June 15-19, 2020, Proceedings, VOLUME: 12134
INDEXADO EM: Scopus DBLP CrossRef
NO MEU: ORCID | DBLP
29
TÍTULO: Implementing Hybrid Semantics: From Functional to Imperative
AUTORES: Goncharov, S; Neves, R ; Proenca, J ;
PUBLICAÇÃO: 2020, FONTE: 17th International Colloquium on Theoretical Aspects of Computing (ICTAC) in THEORETICAL ASPECTS OF COMPUTING, ICTAC 2020, VOLUME: 12545
INDEXADO EM: Scopus WOS DBLP CrossRef: 2
NO MEU: ORCID | DBLP
30
TÍTULO: Work-In-Progress: a DSL for the safe deployment of Runtime Monitors in Cyber-Physical Systems  Full Text
AUTORES: Nandi, GS; Pereira, D; Proenca, J ; Tovar, E ;
PUBLICAÇÃO: 2020, FONTE: 41st IEEE Real-Time Systems Symposium (RTSS) in 2020 IEEE 41ST REAL-TIME SYSTEMS SYMPOSIUM (RTSS), VOLUME: 2020-December
INDEXADO EM: Scopus WOS DBLP CrossRef: 2
NO MEU: ORCID | DBLP
Página 3 de 8. Total de resultados: 75.

Um espaço para investigadores e suas Instituições

Links Úteis

Ajuda

© 2025 CRACS & Inesc TEC - All Rights Reserved Política de Privacidade | Terms of Service