Browsing by Author Jorge Sousa Pinto

Jump to: 0-9 A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
or enter first few letters:  
Showing results 5 to 17 of 17 < previous 
Issue DateTitleAuthor(s)
2014Formal Verification of kLIBC with the WP Frama-C Plug-inCarvalho,N; Sousa,CD; Jorge Sousa Pinto; Tomb,A
2013Formal verification of side-channel countermeasures using self-compositionJosé Bacelar Almeida; Manuel Barbosa; Jorge Sousa Pinto; Vieira,B
2016Formal Verification With Frama-C: A Case Study in the Space Software DomainBusquim e Silva,RABE; Arai,NN; Burgareli,LA; Parente de Oliveira,JMP; Jorge Sousa Pinto
2016Formalizing single-assignment program verification: An adaptation-complete approachCláudio Belo Lourenço; Maria João Frade; Jorge Sousa Pinto
2019A Generalized Program Verification Workflow Based on Loop Elimination and SA FormBelo Lourenco,C; Maria João Frade; Jorge Sousa Pinto; 5605; 5595
2013Interactive Verification of Safety-Critical Softwareda Cruz,D; Henriques,PR; Jorge Sousa Pinto
2015Logic-based schedulability analysis for compositional hard real-time embedded systemsPedro,AdM; Pereira,D; Pinho,LM; Jorge Sousa Pinto
2015Monitoring for a Decidable Fragment of MTL-integralPedro,AD; Pereira,D; Pinho,LM; Jorge Sousa Pinto
2017SMT-based schedulability analysis using RMTL-?Matos Pedro,Ad; Pereira,D; Pinho,LM; Jorge Sousa Pinto
2015Studying Verification Conditions for Imperative ProgramsCláudio Belo Lourenço; Lamraoui,SM; Nakajima,S; Jorge Sousa Pinto
2013Towards a mostly-automated prover for bit-vector arithmeticAbal,I; Jorge Sousa Pinto
2014Towards a Runtime Verification Framework for the Ada Programming LanguagePedro,AD; Pereira,D; Pinho,LM; Jorge Sousa Pinto
2011Veri&#64257;cation Conditions for Source-level Imperative ProgramsJorge Sousa Pinto; Maria João Frade