ProfessorsProfessors of Universidade do MinhoJorge Sousa Pinto

Jorge Sousa Pinto

Universidade do Minho

H-index: 15

Europe-Portugal

About Jorge Sousa Pinto

Jorge Sousa Pinto, With an exceptional h-index of 15 and a recent h-index of 6 (since 2020), a distinguished researcher at Universidade do Minho, specializes in the field of Formal Methods, Formal Verification.

His recent articles reflect a diverse array of research interests and contributions to the field:

A verified VCGen based on dynamic logic: An exercise in meta-verification with Why3

A tribute to José Manuel Valença

Why3-do: The way of harmonious distributed system proofs

A deductive reasoning approach for database applications using verification conditions

Testing for race conditions in distributed systems via smt solving

Real-time MTL with durations as SMT with applications to schedulability analysis

Jorge Sousa Pinto Information

University	Universidade do Minho
Position	HASLab / INESC TEC &
Citations(all)	872
Citations(since 2020)	197
Cited By	728
hIndex(all)	15
hIndex(since 2020)	6
i10Index(all)	25
i10Index(since 2020)	3
Email	Access Email
University Profile Page	Universidade do Minho
Google Scholar	View Google Scholar Profile

Jorge Sousa Pinto Skills & Research Interests

Formal Methods

Formal Verification

Top articles of Jorge Sousa Pinto

Title	Journal	Author(s)	Publication Date
A verified VCGen based on dynamic logic: An exercise in meta-verification with Why3	Journal of Logical and Algebraic Methods in Programming	Maria João Frade Jorge Sousa Pinto	2023/6/1
A tribute to José Manuel Valença		José Nuno Oliveira Jorge Sousa Pinto Luís Soares Barbosa Pedro Rangel Henriques	2022/8/1
Why3-do: The way of harmonious distributed system proofs		Cláudio Belo Lourenço Jorge Sousa Pinto	2022/3/29
A deductive reasoning approach for database applications using verification conditions	Journal of Systems and Software	Md Imran Alam Raju Halder Jorge Sousa Pinto	2021/5/1
Testing for race conditions in distributed systems via smt solving		João Carlos Pereira Nuno Machado Jorge Sousa Pinto	2020/6/20
Real-time MTL with durations as SMT with applications to schedulability analysis		André de Matos Pedro Martin Leucker David Pereira Jorge Sousa Pinto	2020