Jorge Miguel de Matos Sousa Pinto


AuthID: R-000-7W9

Confirmed Publications: 67



31
TITLE: Using Term Rewriting to Solve Bit-Vector Arithmetic Problems - (Poster Presentation)
AUTHORS: Iago Abal; Alcino Cunha ; Joe Hurd; Jorge Sousa Pinto ;
PUBLISHED: 2012, SOURCE: SAT, VOLUME: 7317 LNCS
INDEXED IN: Scopus DBLP CrossRef: 2
IN MY: ORCID
32
33
TITLE: GammaPolarSlicer  Full Text
AUTHORS: Areias, S; da Cruz, D ; Henriques, PR ; Pinto, JS ;
PUBLISHED: 2011, SOURCE: COMPUTER SCIENCE AND INFORMATION SYSTEMS, VOLUME: 8, ISSUE: 2
INDEXED IN: Scopus WOS DBLP CrossRef
IN MY: ORCID
34
TITLE: Rigorous Software Development - An Introduction to Program Verification
AUTHORS: José Bacelar Almeida ; Maria João Frade ; Jorge Sousa Pinto ; Simão Melo de Sousa ;
PUBLISHED: 2011, SOURCE: Undergraduate Topics in Computer Science
INDEXED IN: DBLP CrossRef: 18 Openlibrary
IN MY: ORCID | DBLP | CIÊNCIAVITAE
35
TITLE: Verification conditions for source-level imperative programs
AUTHORS: Maria João Frade ; Jorge Sousa Pinto ;
PUBLISHED: 2011, SOURCE: Comput. Sci. Rev., VOLUME: 5, ISSUE: 3
INDEXED IN: Scopus DBLP CrossRef: 19
IN MY: ORCID
36
TITLE: A Deductive Verification Platform for Cryptographic Software
AUTHORS: Manuel Barbosa ; Jorge Sousa Pinto ; Jean Christophe Filliâtre; Bárbara Vieira;
PUBLISHED: 2010, SOURCE: Electron. Commun. Eur. Assoc. Softw. Sci. Technol., VOLUME: 33
INDEXED IN: DBLP
IN MY: ORCID
37
38
TITLE: Contract-Based Slicing
AUTHORS: da Cruz, D; Henriques, PR ; Pinto, JS ;
PUBLISHED: 2010, SOURCE: 4th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation in LEVERAGING APPLICATIONS OF FORMAL METHODS, VERIFICATION, AND VALIDATION, PT I, VOLUME: 6415, ISSUE: PART 1
INDEXED IN: Scopus WOS DBLP CrossRef
IN MY: ORCID
39
TITLE: Contract-Based Slicing Helps on Safety Reuse  Full Text
AUTHORS: Sergio Areias; Daniela Carneiro da Cruz; Jorge Sousa Pinto ;
PUBLISHED: 2010, SOURCE: ICPC
INDEXED IN: Scopus DBLP CrossRef
IN MY: ORCID
40
TITLE: Deductive verification of cryptographic software
AUTHORS: José Bacelar Almeida ; Manuel Barbosa ; Jorge Sousa Pinto ; Bárbara Vieira;
PUBLISHED: 2010, SOURCE: Innov. Syst. Softw. Eng., VOLUME: 6, ISSUE: 3
INDEXED IN: Scopus DBLP CrossRef
IN MY: ORCID
Page 4 of 7. Total results: 67.

footer slogan

Useful Links

Get Help

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