Jorge Miguel de Matos Sousa Pinto


AuthID: R-000-7W9

Confirmed Publications: 67



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

footer slogan

Useful Links

Get Help

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