Browsing by Author Jorge Sousa Pinto
Showing results 1 to 17 of 17
Issue Date | Title | Author(s) |
2012 | Assertion-based Slicing and Slice Graphs | Daniela Cruz; José Bernardo Barros; Jorge Sousa Pinto; Pedro Rangel Henriques |
2014 | A Bounded Model Checker for SPARK Programs | Cláudio Belo Lourenço; Maria João Frade; Jorge Sousa Pinto |
2014 | CAOVerif: An open-source deductive verification platform for cryptographic software implementations | José Bacelar Almeida; Manuel Barbosa; Filliatre,JC; Jorge Sousa Pinto; Vieira,B |
2014 | A Compositional Monitoring Framework for Hard Real-Time Systems | Pedro,AD; Pereira,D; Pinho,LM; Jorge Sousa Pinto |
2014 | Formal Verification of kLIBC with the WP Frama-C Plug-in | Carvalho,N; Sousa,CD; Jorge Sousa Pinto; Tomb,A |
2013 | Formal verification of side-channel countermeasures using self-composition | José Bacelar Almeida; Manuel Barbosa; Jorge Sousa Pinto; Vieira,B |
2016 | Formal Verification With Frama-C: A Case Study in the Space Software Domain | Busquim e Silva,RABE; Arai,NN; Burgareli,LA; Parente de Oliveira,JMP; Jorge Sousa Pinto |
2016 | Formalizing single-assignment program verification: An adaptation-complete approach | Cláudio Belo Lourenço; Maria João Frade; Jorge Sousa Pinto |
2019 | A Generalized Program Verification Workflow Based on Loop Elimination and SA Form | Belo Lourenco,C; Maria João Frade; Jorge Sousa Pinto; 5605; 5595 |
2013 | Interactive Verification of Safety-Critical Software | da Cruz,D; Henriques,PR; Jorge Sousa Pinto |
2015 | Logic-based schedulability analysis for compositional hard real-time embedded systems | Pedro,AdM; Pereira,D; Pinho,LM; Jorge Sousa Pinto |
2015 | Monitoring for a Decidable Fragment of MTL-integral | Pedro,AD; Pereira,D; Pinho,LM; Jorge Sousa Pinto |
2017 | SMT-based schedulability analysis using RMTL-? | Matos Pedro,Ad; Pereira,D; Pinho,LM; Jorge Sousa Pinto |
2015 | Studying Verification Conditions for Imperative Programs | Cláudio Belo Lourenço; Lamraoui,SM; Nakajima,S; Jorge Sousa Pinto |
2013 | Towards a mostly-automated prover for bit-vector arithmetic | Abal,I; Jorge Sousa Pinto |
2014 | Towards a Runtime Verification Framework for the Ada Programming Language | Pedro,AD; Pereira,D; Pinho,LM; Jorge Sousa Pinto |
2011 | Verification Conditions for Source-level Imperative Programs | Jorge Sousa Pinto; Maria João Frade |