Jorge Miguel de Matos Sousa Pinto


AuthID: R-000-7W9

Publicações Confirmadas: 67



1
TÍTULO: Auto-active verification of distributed systems and specification refinements with Why3-do  Full Text
AUTORES: Lourenco, Claudio Belo; Pinto, Jorge Sousa ;
PUBLICAÇÃO: 2026, FONTE: SCIENCE OF COMPUTER PROGRAMMING, VOLUME: 247
INDEXADO EM: Scopus WOS DBLP CrossRef
NO MEU: ORCID
2
TÍTULO: Exploring Frama-C Resources by Verifying Space Software
AUTORES: Rovedy Aparecida Busquim e Silva; Nanci Naomi Arai; Luciana Akemi Burgareli; Jose Maria Parente de Oliveira; Jorge Sousa Pinto ;
PUBLICAÇÃO: 2024, FONTE: Computer Science Foundations and Applied Logic
INDEXADO EM: CrossRef Unpaywall
NO MEU: ORCID | CIÊNCIAVITAE
3
TÍTULO: A verified VCGen based on dynamic logic: An exercise in meta-verification with Why3
AUTORES: Frade, Maria Joao ; Pinto, Jorge Sousa ;
PUBLICAÇÃO: 2023, FONTE: JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING, VOLUME: 133
INDEXADO EM: Scopus WOS DBLP CrossRef
NO MEU: ORCID
4
TÍTULO: A tribute to Jose Manuel Valenca
AUTORES: Oliveira, Jose Nuno ; Pinto, Jorge Sousa ; Barbosa, Luis Soares ; Henriques, Pedro Rangel ;
PUBLICAÇÃO: 2022, FONTE: JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING, VOLUME: 128
INDEXADO EM: Scopus WOS DBLP CrossRef
NO MEU: ORCID
5
TÍTULO: Why3-do: The Way of Harmonious Distributed System Proofs
AUTORES: Lourenco, Claudio Belo; Pinto, Jorge Sousa ;
PUBLICAÇÃO: 2022, FONTE: 31st European Symposium on Programming (ESOP) Held as Part of the 25th European Joint Conferences on Theory and Practice of Software (ETAPS) in PROGRAMMING LANGUAGES AND SYSTEMS, ESOP 2022, VOLUME: 13240
INDEXADO EM: Scopus WOS DBLP CrossRef: 2
NO MEU: ORCID
6
TÍTULO: A deductive reasoning approach for database applications using verification conditions  Full Text
AUTORES: Alam, MI; Halder, R; Pinto, JS ;
PUBLICAÇÃO: 2021, FONTE: JOURNAL OF SYSTEMS AND SOFTWARE, VOLUME: 175
INDEXADO EM: Scopus WOS DBLP CrossRef: 3
NO MEU: ORCID
7
TÍTULO: Real-time MTL with durations as SMT with applications to schedulability analysis
AUTORES: de Matos, A; Leucker, M; Pereira, D; Pinto, JS ;
PUBLICAÇÃO: 2020, FONTE: 14th International Symposium on Theoretical Aspects of Software Engineering (TASE) in 2020 INTERNATIONAL SYMPOSIUM ON THEORETICAL ASPECTS OF SOFTWARE ENGINEERING (TASE 2020)
INDEXADO EM: Scopus WOS DBLP CrossRef
NO MEU: ORCID
8
TÍTULO: Testing for Race Conditions in Distributed Systems via SMT Solving
AUTORES: João Carlos Pereira; Nuno Machado; Jorge Sousa Pinto ;
PUBLICAÇÃO: 2020, FONTE: TAP@STAF, VOLUME: 12165 LNCS
INDEXADO EM: Scopus DBLP CrossRef: 9
NO MEU: ORCID
9
10
TÍTULO: A Generalized Approach to Verification Condition Generation
AUTORES: Cláudio Belo Lourenço; Maria João Frade ; Shin Nakajima; Jorge Sousa Pinto ;
PUBLICAÇÃO: 2018, FONTE: COMPSAC (1), VOLUME: 1
INDEXADO EM: Scopus DBLP CrossRef
NO MEU: ORCID
Página 1 de 7. Total de resultados: 67.

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