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
3
TITLE: Permutability in proof terms for intuitionistic sequent calculus with cuts
AUTHORS: Santo, JE; Frade, MJ ; Pinto, L;
SOURCE: 22nd International Conference on Types for Proofs and Programs, TYPES 2016 in Leibniz International Proceedings in Informatics, LIPIcs, VOLUME: 97, PUBLISHED: 2018
INDEXED IN: Scopus
IN MY: ORCID
4
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
5
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
6
TITLE: A Bounded Model Checker for SPARK Programs
AUTHORS: Claudio Belo Lourenco ; Maria Joao Frade ; Jorge Sousa Pinto ;
SOURCE: 12th International Symposium on Automated Technology for Verification and Analysis (ATVA) in AUTOMATED TECHNOLOGY FOR VERIFICATION AND ANALYSIS, ATVA 2014, VOLUME: 8837, PUBLISHED: 2014
INDEXED IN: Scopus WOS DBLP CrossRef
IN MY: ORCID
7
TITLE: Verification conditions for single-assignment programs  Full Text
AUTHORS: Da Cruz, D; Frade, MJ ; Pinto, JS ;
SOURCE: 27th Annual ACM Symposium on Applied Computing, SAC 2012 in Proceedings of the ACM Symposium on Applied Computing, PUBLISHED: 2012
INDEXED IN: Scopus DBLP CrossRef: 1
IN MY: ORCID
8
TITLE: Rigorous Software Development - An Introduction to Program Verification
AUTHORS: José Bacelar Almeida ; Maria João Frade ; Jorge Sousa Pinto ; Simão Melo de Sousa ;
SOURCE: Undergraduate Topics in Computer Science, PUBLISHED: 2011
INDEXED IN: DBLP CrossRef: 10
IN MY: ORCID
9
TITLE: Verification conditions for source-level imperative programs  Full Text
AUTHORS: Frade, MJ ; Pinto, JS ;
SOURCE: Computer Science Review, VOLUME: 5, ISSUE: 3, PUBLISHED: 2011
INDEXED IN: Scopus DBLP CrossRef: 7
IN MY: ORCID
10
TITLE: Bidirectional data-flow analyses, type-systematically
AUTHORS: Frade, MJ ; Saabas, A; Uustalu, T;
SOURCE: 2009 ACM SIGPLAN Symposium on Partial Evaluation and Program Manipulation, PEPM'09 in Proceedings of the 2009 ACM SIGPLAN Symposium on Partial Evaluation and Program Manipulation, PEPM'09, PUBLISHED: 2009
INDEXED IN: Scopus CrossRef
IN MY: ORCID
Page 1 of 2. Total results: 16.