Follow
Maria João Frade
Maria João Frade
HASLab / INESC TEC and Universidade do Minho
Verified email at di.uminho.pt - Homepage
Title
Cited by
Cited by
Year
Type-based termination of recursive definitions
G Barthe, MJ Frade, E Giménez, L Pinto, T Uustalu
Mathematical structures in computer science 14 (1), 97-141, 2004
1362004
Rigorous Software Development - An Introduction to Program Verification
JB Almeida, MJ Frade, JS Pinto, SM de Sousa
Springer, 2011
772011
An overview of formal methods tools and techniques
JB Almeida, MJ Frade, JS Pinto, S Melo de Sousa
Rigorous Software Development, 15-44, 2011
462011
Verification conditions for source-level imperative programs
MJ Frade, JS Pinto
Computer Science Review 5 (3), 252-277, 2011
452011
Constructor subtyping
G Barthe, MJ Frade
European Symposium on Programming, 109-127, 1999
301999
Structural proof theory as rewriting
JE Santo, MJ Frade, L Pinto
International Conference on Rewriting Techniques and Applications, 197-211, 2006
152006
Structural proof theory as rewriting
JE Santo, MJ Frade, L Pinto
International Conference on Rewriting Techniques and Applications, 197-211, 2006
152006
Verification conditions for single-assignment programs
D da Cruz, MJ Frade, JS Pinto
Proceedings of the 27th Annual ACM Symposium on Applied Computing, 1264-1270, 2012
122012
Type-Based Termination of Recursive Definitions and Constructor Subtyping in Typed Lambda Calculi
MJ Frade
102003
Foundational certification of data-flow analyses
MJ Frade, A Saabas, T Uustalu
First Joint IEEE/IFIP Symposium on Theoretical Aspects of Software …, 2007
72007
Formalizing single-assignment program verification: An adaptation-complete approach
C Belo Lourenço, MJ Frade, J Sousa Pinto
European Symposium on Programming, 41-67, 2016
62016
A bounded model checker for SPARK programs
CB Lourenço, MJ Frade, JS Pinto
International Symposium on Automated Technology for Verification and …, 2014
52014
A generalized program verification workflow based on loop elimination and SA form
CB Lourenço, MJ Frade, JS Pinto
2019 IEEE/ACM 7th International Conference on Formal Methods in Software …, 2019
42019
Bidirectional data-flow analyses, type-systematically
MJ Frade, A Saabas, T Uustalu
Proceedings of the 2009 ACM SIGPLAN workshop on Partial evaluation and …, 2009
42009
Permutability in proof terms for intuitionistic sequent calculus with cuts
J Espírito Santo, MJ Frade, LF Pinto
Schloss Dagstuhl–Leibniz-Zentrum für Informatik GmbH, 2018
32018
TreeCycle: a Sonar plugin for design quality assessment of Java programs
JM Veiga, MJ Frade
Techn. Report CROSS-10.07-1, 2010
32010
A generalized approach to verification condition generation
CB Lourenço, MJ Frade, S Nakajima, JS Pinto
2018 IEEE 42nd Annual Computer Software and Applications Conference (COMPSAC …, 2018
22018
Experimenting with predicate abstraction
VC Miraldo
22014
A Tutorial on Verification Conditions Using Single-Assignment Form
CB Lourenço, MJ Frade, JS Pinto
unpublished draft available from http://haslab. uminho. pt/jsp), University …, 2015
12015
SPARK-BMC: checking SPARK code for bugs
C Lourenço, VC Miraldo, MJ Frade, JS Pinto
Universidade de Évora, 2013
12013
The system can't perform the operation now. Try again later.
Articles 1–20