Jorge Miguel de Matos Sousa Pinto


AuthID: R-000-7W9

Publicações Confirmadas: 66



21
TÍTULO: CAOVerif: An open-source deductive verification platform for cryptographic software implementations  Full Text
AUTORES: Jose Bacelar Almeida ; Manuel Barbosa ; Jean Christophe Filliatre; Jorge Sousa Pinto ; Barbara Vieira;
PUBLICAÇÃO: 2014, FONTE: SCIENCE OF COMPUTER PROGRAMMING, VOLUME: 91, NÚMERO: PART B
INDEXADO EM: Scopus WOS DBLP CrossRef
NO MEU: ORCID | DBLP | CIÊNCIAVITAE
22
TÍTULO: Formal Verification of kLIBC with the WP Frama-C Plug-in
AUTORES: Nuno Carvalho; Cristiano da Silva Sousa; Jorge Sousa Pinto ; Aaron Tomb;
PUBLICAÇÃO: 2014, FONTE: 6th NASA Formal Methods Symposium (NFM) in NASA FORMAL METHODS, NFM 2014, VOLUME: 8430
INDEXADO EM: Scopus WOS DBLP CrossRef: 4
NO MEU: ORCID | ResearcherID | DBLP | CIÊNCIAVITAE
23
TÍTULO: Towards a Runtime Verification Framework for the Ada Programming Language
AUTORES: Pedro, AD ; Pereira, D ; Pinho, LM ; Pinto, JS ;
PUBLICAÇÃO: 2014, FONTE: 19th Ada-Europe International Conference on Reliable Software Technologies in RELIABLE SOFTWARE TECHNOLOGIES - ADA-EUROPE 2014, VOLUME: 8454
INDEXADO EM: Scopus WOS DBLP CrossRef Handle
NO MEU: ORCID | DBLP | CIÊNCIAVITAE
24
TÍTULO: Formal verification of side-channel countermeasures using self-composition  Full Text
AUTORES: Bacelar Almeida, JB ; Manuel Barbosa ; Jorge S Pinto ; Barbara Vieira;
PUBLICAÇÃO: 2013, FONTE: SCIENCE OF COMPUTER PROGRAMMING, VOLUME: 78, NÚMERO: 7
INDEXADO EM: Scopus WOS DBLP CrossRef: 28
NO MEU: ORCID | ResearcherID | DBLP | CIÊNCIAVITAE
25
TÍTULO: Interactive Verification of Safety-Critical Software  Full Text
AUTORES: Daniela da Cruz; Pedro Rangel Henriques ; Jorge Sousa Pinto ;
PUBLICAÇÃO: 2013, FONTE: IEEE 37th Annual Computer Software and Applications Conference (COMPSAC) in 2013 IEEE 37TH ANNUAL COMPUTER SOFTWARE AND APPLICATIONS CONFERENCE (COMPSAC)
INDEXADO EM: Scopus WOS DBLP CrossRef
NO MEU: ORCID | ResearcherID | DBLP | CIÊNCIAVITAE
26
TÍTULO: Towards a mostly-automated prover for bit-vector arithmetic
AUTORES: Abal, I; Pinto, JS ;
PUBLICAÇÃO: 2013, FONTE: 6th International C* Conference on Computer Science and Software Engineering, C3S2E 2013 in ACM International Conference Proceeding Series
INDEXADO EM: Scopus DBLP CrossRef
NO MEU: ORCID | DBLP | CIÊNCIAVITAE
27
TÍTULO: An approach to model checking Ada programs
AUTORES: Faria, JM; Martins, J; Pinto, JS ;
PUBLICAÇÃO: 2012, FONTE: 17th Ada-Europe International Conference on Reliable Software Technologies, Ada-Europe 2012 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 7308 LNCS
INDEXADO EM: Scopus DBLP CrossRef: 1
NO MEU: ORCID | DBLP | CIÊNCIAVITAE
28
TÍTULO: Assertion-based slicing and slice graphs  Full Text
AUTORES: Jose Bernardo Barros ; Daniela da Cruz ; Pedro Rangel Henriques ; Jorge Sousa Pinto ;
PUBLICAÇÃO: 2012, FONTE: FORMAL ASPECTS OF COMPUTING, VOLUME: 24, NÚMERO: 2
INDEXADO EM: Scopus WOS DBLP CrossRef: 6
NO MEU: ORCID | ResearcherID | DBLP | CIÊNCIAVITAE
29
30
TÍTULO: Preface
AUTORES: Kniesel, G; Pinto, JS ;
PUBLICAÇÃO: 2012, FONTE: Electronic Notes in Theoretical Computer Science, VOLUME: 290
INDEXADO EM: Scopus DBLP CrossRef
NO MEU: ORCID | DBLP | CIÊNCIAVITAE
Página 3 de 7. Total de resultados: 66.

Um espaço para investigadores e suas Instituições

Links Úteis

Ajuda

© 2025 CRACS & Inesc TEC - All Rights Reserved Política de Privacidade | Terms of Service