Jorge Miguel de Matos Sousa Pinto


AuthID: R-000-7W9

Publicações Confirmadas: 67



21
TÍTULO: A Compositional Monitoring Framework for Hard Real-Time Systems
AUTORES: Pedro, AD ; Pereira, D ; Pinho, LM ; Pinto, JS ;
PUBLICAÇÃO: 2014, FONTE: 6th NASA Formal Methods Symposium (NFM) in NASA FORMAL METHODS, NFM 2014, VOLUME: 8430
INDEXADO EM: Scopus WOS DBLP CrossRef: 3 Handle
NO MEU: ORCID
22
TÍTULO: CAOVerif: An open-source deductive verification platform for cryptographic software implementations  Full Text
AUTORES: Almeida, JB ; Barbosa, M ; Filliatre, JC; Pinto, JS ; Vieira, B;
PUBLICAÇÃO: 2014, FONTE: SCIENCE OF COMPUTER PROGRAMMING, VOLUME: 91, NÚMERO: PART B
INDEXADO EM: Scopus WOS DBLP CrossRef
NO MEU: ORCID
23
TÍTULO: Formal Verification of kLIBC with the WP Frama-C Plug-in
AUTORES: Carvalho, N; Sousa, CD; Pinto, JS ; Tomb, A;
PUBLICAÇÃO: 2014, FONTE: 6th NASA Formal Methods Symposium (NFM) in NASA FORMAL METHODS, NFM 2014, VOLUME: 8430
INDEXADO EM: Scopus WOS DBLP CrossRef: 6
NO MEU: ORCID
24
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: 3 Handle
NO MEU: ORCID
25
TÍTULO: Formal verification of side-channel countermeasures using self-composition  Full Text
AUTORES: Almeida, JB ; Barbosa, M ; Pinto, JS ; Vieira, B;
PUBLICAÇÃO: 2013, FONTE: SCIENCE OF COMPUTER PROGRAMMING, VOLUME: 78, NÚMERO: 7
INDEXADO EM: Scopus WOS DBLP CrossRef: 33
NO MEU: ORCID
26
TÍTULO: Interactive Verification of Safety-Critical Software  Full Text
AUTORES: da Cruz, D; Henriques, PR ; Pinto, JS ;
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
27
TÍTULO: Towards a mostly-automated prover for bit-vector arithmetic
AUTORES: Iago Abal; Jorge Sousa Pinto ;
PUBLICAÇÃO: 2013, FONTE: C3S2E
INDEXADO EM: Scopus DBLP CrossRef
NO MEU: ORCID
28
TÍTULO: An Approach to Model Checking Ada Programs
AUTORES: José Miguel Faria; João Martins; Jorge Sousa Pinto ;
PUBLICAÇÃO: 2012, FONTE: Ada-Europe, VOLUME: 7308 LNCS
INDEXADO EM: Scopus DBLP CrossRef: 2
NO MEU: ORCID
29
TÍTULO: Assertion-based slicing and slice graphs  Full Text
AUTORES: Barros, JB ; da Cruz, D ; Henriques, PR ; Pinto, JS ;
PUBLICAÇÃO: 2012, FONTE: FORMAL ASPECTS OF COMPUTING, VOLUME: 24, NÚMERO: 2
INDEXADO EM: Scopus WOS DBLP CrossRef: 8
NO MEU: ORCID
30
Página 3 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