1
TITLE: A Generalized Program Verification Workflow Based on Loop Elimination and SA Form
AUTHORS: Belo Lourenco, C; Frade, MJ ; Sousa Pinto, J ;
SOURCE: 7th IEEE/ACM International Workshop on Formal Methods in Software Engineering, FormaliSE 2019 in Proceedings - 2019 IEEE/ACM 7th International Workshop on Formal Methods in Software Engineering, FormaliSE 2019, PUBLISHED: 2019
INDEXED IN: Scopus CrossRef
IN MY: ORCID
2
TITLE: A Generalized Approach to Verification Condition Generation  Full Text
AUTHORS: Cláudio Belo Lourenço; Maria João Frade ; Shin Nakajima; Jorge Sousa Pinto ;
SOURCE: 42nd IEEE Computer Software and Applications Conference, COMPSAC 2018 in 2018 IEEE 42nd Annual Computer Software and Applications Conference, COMPSAC 2018, Tokyo, Japan, 23-27 July 2018, Volume 1, VOLUME: 1, PUBLISHED: 2018
INDEXED IN: Scopus DBLP CrossRef
IN MY: ORCID | DBLP
3
TITLE: K-Taint: An Executable Rewriting Logic Semantics for Taint Analysis in the K Framework
AUTHORS: Md. Imran Alam; Raju Halder; Harshita Goswami; Jorge Sousa Pinto ;
SOURCE: 13th International Conference on Evaluation of Novel Approaches to Software Engineering in PROCEEDINGS OF THE 13TH INTERNATIONAL CONFERENCE ON EVALUATION OF NOVEL APPROACHES TO SOFTWARE ENGINEERING, PUBLISHED: 2018
INDEXED IN: WOS DBLP CrossRef: 1
IN MY: ORCID | DBLP
4
TITLE: Runtime verification of autopilot systems using a fragment of MTL-  Full Text
AUTHORS: Andre de Matos Pedro; Jorge Sousa Pinto ; David Pereira; Luis Miguel Pinho;
SOURCE: Joint 21st International Workshop on Formal Methods for Industrial Critical Systems (FMICS) / 16th International Workshop on Automated Verification of Critical Systems (AVoCS) in INTERNATIONAL JOURNAL ON SOFTWARE TOOLS FOR TECHNOLOGY TRANSFER, VOLUME: 20, ISSUE: 4, PUBLISHED: 2018
INDEXED IN: Scopus WOS DBLP CrossRef
IN MY: ORCID | DBLP
5
TITLE: SMT-based schedulability analysis using RMTL-∫  Full Text
AUTHORS: André de Matos Pedro; David Pereira; Luís Miguel Pinho; Jorge Sousa Pinto ;
SOURCE: SIGBED Review, VOLUME: 14, ISSUE: 3, PUBLISHED: 2017
INDEXED IN: DBLP CrossRef
IN MY: ORCID | DBLP
6
TITLE: A Single-Assignment Translation for Annotated Programs PDF
AUTHORS: Cláudio Belo Lourenço ; Maria João Frade ; Jorge Sousa Pinto ;
SOURCE: CoRR, VOLUME: abs/1601.00584, PUBLISHED: 2016
INDEXED IN: DBLP arXiv
IN MY: ORCID | DBLP
7
TITLE: Formal Verification With Frama-C: A Case Study in the Space Software Domain  Full Text
AUTHORS: Rovedy Aparecida B E Busquim e Silva; Nanci Naomi Arai; Luciana Akemi Burgareli; Jose Maria P Parente de Oliveira; Jorge Sousa Pinto ;
SOURCE: IEEE TRANSACTIONS ON RELIABILITY, VOLUME: 65, ISSUE: 3, PUBLISHED: 2016
INDEXED IN: WOS DBLP CrossRef: 1
IN MY: ORCID | DBLP
8
TITLE: Formalizing Single-Assignment Program Verification: An Adaptation-Complete Approach
AUTHORS: Claudio Belo Lourenco ; Maria Joao Frade ; Jorge Sousa Pinto ;
SOURCE: 25th European Symposium on Programming (ESOP) Held as Part of the European Joint Conferences on Theory and Practice of Software (ETAPS) in PROGRAMMING LANGUAGES AND SYSTEMS (ESOP 2016), VOLUME: 9632, PUBLISHED: 2016
INDEXED IN: Scopus WOS DBLP CrossRef
IN MY: ORCID | DBLP
10
TITLE: Monitoring for a Decidable Fragment of MTL-integral
AUTHORS: Andre de Matos Pedro ; David Pereira ; Luis Miguel Pinho ; Jorge Sousa Pinto ;
SOURCE: 6th International Conference on Runtime Verification (RV) in RUNTIME VERIFICATION, RV 2015, VOLUME: 9333, PUBLISHED: 2015
INDEXED IN: Scopus WOS DBLP CrossRef
IN MY: ORCID | DBLP
Page 1 of 6. Total results: 59.