Maria João Gomes Frade


AuthID: R-000-BWB

Publicações Confirmadas: 17



1
TÍTULO: A verified VCGen based on dynamic logic: An exercise in meta-verification with Why3
AUTORES: Frade, Maria Joao ; Pinto, Jorge Sousa ;
PUBLICAÇÃO: 2023, FONTE: JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING, VOLUME: 133
INDEXADO EM: Scopus WOS DBLP CrossRef
2
TÍTULO: Variations and interpretations of naturality in call-by-name lambda-calculi with generalized applications
AUTORES: Santo, Jose Espirito; Frade, Maria Joao ; Pinto, Luis;
PUBLICAÇÃO: 2023, FONTE: JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING, VOLUME: 131
INDEXADO EM: Scopus WOS CrossRef Unpaywall
NO MEU: ORCID | CIÊNCIAVITAE
3
4
TÍTULO: A Generalized Approach to Verification Condition Generation
AUTORES: Cláudio Belo Lourenço; Maria João Frade ; Shin Nakajima; Jorge Sousa Pinto ;
PUBLICAÇÃO: 2018, FONTE: COMPSAC (1), VOLUME: 1
INDEXADO EM: Scopus DBLP CrossRef
5
TÍTULO: Permutability in proof terms for intuitionistic sequent calculus with cuts
AUTORES: Santo, JE; Frade, MJ ; Pinto, L;
PUBLICAÇÃO: 2018, FONTE: 22nd International Conference on Types for Proofs and Programs, TYPES 2016 in Leibniz International Proceedings in Informatics, LIPIcs, VOLUME: 97
INDEXADO EM: Scopus
NO MEU: ORCID | CIÊNCIAVITAE
6
TÍTULO: A Single-Assignment Translation for Annotated Programs
AUTORES: Cláudio Belo Lourenço ; Maria João Frade ; Jorge Sousa Pinto ;
PUBLICAÇÃO: 2016, FONTE: CoRR, VOLUME: abs/1601.00584
INDEXADO EM: DBLP
7
TÍTULO: Formalizing Single-Assignment Program Verification: An Adaptation-Complete Approach
AUTORES: Lourenço, CB ; Frade, MJ ; Pinto, JS ;
PUBLICAÇÃO: 2016, FONTE: 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
INDEXADO EM: Scopus WOS DBLP CrossRef: 1
8
TÍTULO: A Bounded Model Checker for SPARK Programs
AUTORES: Lourenço, CB ; Frade, MJ ; Pinto, JS ;
PUBLICAÇÃO: 2014, FONTE: 12th International Symposium on Automated Technology for Verification and Analysis (ATVA) in AUTOMATED TECHNOLOGY FOR VERIFICATION AND ANALYSIS, ATVA 2014, VOLUME: 8837
INDEXADO EM: Scopus WOS DBLP CrossRef: 2
9
TÍTULO: Verification conditions for single-assignment programs
AUTORES: Daniela Carneiro da Cruz; Maria João Frade ; Jorge Sousa Pinto ;
PUBLICAÇÃO: 2012, FONTE: SAC
INDEXADO EM: Scopus DBLP CrossRef: 1
10
TÍTULO: Rigorous Software Development - An Introduction to Program Verification
AUTORES: José Bacelar Almeida ; Maria João Frade ; Jorge Sousa Pinto ; Simão Melo de Sousa ;
PUBLICAÇÃO: 2011, FONTE: Undergraduate Topics in Computer Science
INDEXADO EM: DBLP CrossRef: 18 Openlibrary
NO MEU: ORCID | CIÊNCIAVITAE
Página 1 de 2. Total de resultados: 17.

Um espaço para investigadores e suas Instituições

Links Úteis

Ajuda

© 2026 CRACS & Inesc TEC - All Rights Reserved Política de Privacidade | Terms of Service