Jorge Miguel de Matos Sousa Pinto


AuthID: R-000-7W9

Confirmed Publications: 67



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

footer slogan

Useful Links

Get Help

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