Jorge Miguel de Matos Sousa Pinto


AuthID: R-000-7W9

Publicações Confirmadas: 67



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