Jorge Miguel de Matos Sousa Pinto


AuthID: R-000-7W9

Confirmed Publications: 66



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

A place for researchers and their institutions

Useful Links

Get Help

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