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
22
TITLE: CAOVerif: An open-source deductive verification platform for cryptographic software implementations
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
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
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
25
TITLE: Formal verification of side-channel countermeasures using self-composition
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: 34
26
TITLE: Interactive Verification of Safety-Critical Software
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
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
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
29
TITLE: Assertion-based slicing and slice graphs
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: 9
30
TITLE: Ninth International Workshop on Rule-Based Programming, RULE 2008, Hagenberg, Austria, July 14-18, 2008
AUTHORS: Günter Kniesel; Jorge Sousa Pinto ;
PUBLISHED: 2012, SOURCE: RULE, VOLUME: 290
INDEXED IN: DBLP
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