José Miguel Paiva Proença


AuthID: R-006-JRF

Confirmed Publications: 75



21
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 | DBLP
22
TITLE: ST4MP: A Blueprint of Multiparty Session Typing for Multilingual Programming
AUTHORS: Sung Shik Jongmans; José Proença ;
PUBLISHED: 2022, SOURCE: 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
INDEXED IN: Scopus DBLP
IN MY: ORCID | DBLP
23
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: 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
INDEXED IN: DBLP
IN MY: ORCID | DBLP
24
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: 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
INDEXED IN: Scopus DBLP CrossRef: 3
IN MY: ORCID | DBLP
25
TITLE: Featured Team Automata
AUTHORS: Maurice H ter Beek; Guillermina Cledou ; Rolf Hennicker; José Proença ;
PUBLISHED: 2021, SOURCE: Formal Methods - 24th International Symposium, FM 2021, Virtual Event, November 20-26, 2021, Proceedings, VOLUME: 13047
INDEXED IN: DBLP CrossRef: 5
IN MY: ORCID | DBLP
26
TITLE: Hubs for VirtuosoNext: Online verification of real-time coordinators  Full Text
AUTHORS: Cledou, G ; Proenca, J ; Sputh, BHC; Verhulst, E;
PUBLISHED: 2021, SOURCE: SCIENCE OF COMPUTER PROGRAMMING, VOLUME: 203
INDEXED IN: Scopus WOS DBLP CrossRef: 2
IN MY: ORCID | DBLP
27
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: 6
IN MY: DBLP
28
TITLE: ARx: Reactive Programming for Synchronous Connectors
AUTHORS: José Proença ; Guillermina Cledou ;
PUBLISHED: 2020, SOURCE: 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
INDEXED IN: Scopus DBLP CrossRef
IN MY: ORCID | DBLP
29
TITLE: Implementing Hybrid Semantics: From Functional to Imperative
AUTHORS: Goncharov, S; Neves, R ; Proenca, J ;
PUBLISHED: 2020, SOURCE: 17th International Colloquium on Theoretical Aspects of Computing (ICTAC) in THEORETICAL ASPECTS OF COMPUTING, ICTAC 2020, VOLUME: 12545
INDEXED IN: Scopus WOS DBLP CrossRef: 2
IN MY: ORCID | DBLP
30
TITLE: Work-In-Progress: a DSL for the safe deployment of Runtime Monitors in Cyber-Physical Systems  Full Text
AUTHORS: Nandi, GS; Pereira, D; Proenca, J ; Tovar, E ;
PUBLISHED: 2020, SOURCE: 41st IEEE Real-Time Systems Symposium (RTSS) in 2020 IEEE 41ST REAL-TIME SYSTEMS SYMPOSIUM (RTSS), VOLUME: 2020-December
INDEXED IN: Scopus WOS DBLP CrossRef: 2
IN MY: ORCID | DBLP
Page 3 of 8. Total results: 75.

footer slogan

Useful Links

Get Help

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