Jorge Miguel de Matos Sousa Pinto


AuthID: R-000-7W9

Confirmed Publications: 67



41
42
TITLE: Model-Checking Temporal Properties of Real-Time HTL Programs
AUTHORS: Carvalho, A; Carvalho, J; Pinto, JS ; de Sousa, SM ;
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 II, VOLUME: 6416, ISSUE: PART 2
INDEXED IN: Scopus WOS DBLP CrossRef Handle
IN MY: ORCID
43
TITLE: Program Verification in SPARK and ACSL: A Comparative Case Study
AUTHORS: Brito, E ; Pinto, JS ;
PUBLISHED: 2010, SOURCE: 15th Ada-Europe International Conference on Reliable Software Technologies in RELIABLE SOFTWARE TECHNOLOGIES - ADA-EUROPE 2010, VOLUME: 6106
INDEXED IN: Scopus WOS DBLP CrossRef: 1
IN MY: ORCID
44
TITLE: Safe Integration of Annotated Components in Open Source Projects
AUTHORS: Sergio Areias; Daniela Carneiro da Cruz; Pedro Rangel Henriques ; Jorge Sousa Pinto ;
PUBLISHED: 2010, SOURCE: Electron. Commun. Eur. Assoc. Softw. Sci. Technol., VOLUME: 33
INDEXED IN: Scopus DBLP
IN MY: ORCID
45
TITLE: Deductive Verification of Cryptographic Software
AUTHORS: Manuel Barbosa ; José Bacelar Almeida ; Jorge Sousa Pinto ; Bárbara Vieira;
PUBLISHED: 2009, SOURCE: NASA Formal Methods
INDEXED IN: DBLP
IN MY: ORCID
46
TITLE: Iterators, Recursors and Interaction Nets
AUTHORS: Ian Mackie; Jorge Sousa Pinto ; Miguel Vilaça;
PUBLISHED: 2009, SOURCE: CoRR, VOLUME: abs/0910.3321
INDEXED IN: DBLP
IN MY: ORCID
47
48
TITLE: Verifying Cryptographic Software Correctness with Respect to Reference Implementations  Full Text
AUTHORS: Almeida, JB ; Barbosa, M ; Pinto, JS ; Vieira, B;
PUBLISHED: 2009, SOURCE: 14th International Workshop on Formal Methods for Industrial Critical Systems in FORMAL METHODS FOR INDUSTRIAL CRITICAL SYSTEMS, VOLUME: 5825
INDEXED IN: Scopus WOS DBLP CrossRef: 2
IN MY: ORCID
49
TITLE: Deriving Sorting Algorithms
AUTHORS: José Bacelar Almeida ; Jorge Sousa Pinto ;
PUBLISHED: 2008, SOURCE: CoRR, VOLUME: abs/0802.3881
INDEXED IN: DBLP
IN MY: ORCID
50
TITLE: Lissom, a Source Level Proof Carrying Code Platform
AUTHORS: João Gomes; Daniel Martins; Simão Melo de Sousa ; Jorge Sousa Pinto ;
PUBLISHED: 2008, SOURCE: CoRR, VOLUME: abs/0803.2317
INDEXED IN: DBLP
IN MY: ORCID
Page 5 of 7. Total results: 67.

footer slogan

Useful Links

Get Help

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