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
1342004
Rigorous Software Development - An Introduction to Program Verification
JB Almeida, MJ Frade, JS Pinto, SM de Sousa
Springer, 2011
672011
Verification conditions for source-level imperative programs
MJ Frade, JS Pinto
Computer Science Review 5 (3), 252-277, 2011
422011
An overview of formal methods tools and techniques
JB Almeida, MJ Frade, JS Pinto, SM de Sousa
Rigorous Software Development, 15-44, 2011
412011
Constructor subtyping
G Barthe, MJ Frade
European Symposium on Programming, 109-127, 1999
291999
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
102012
Structural proof theory as rewriting
JE Santo, MJ Frade, L Pinto
International Conference on Rewriting Techniques and Applications, 197-211, 2006
92006
Structural proof theory as rewriting
JE Santo, MJ Frade, L Pinto
International Conference on Rewriting Techniques and Applications, 197-211, 2006
92006
Type-Based Termination of Recursive Definitions and Constructor Subtyping in Typed Lambda Calculi
MJ Frade
92003
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
CB Lourenço, MJ Frade, JS Pinto
European Symposium on Programming, 41-67, 2016
42016
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
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
32019
A bounded model checker for SPARK programs
CB Lourenço, MJ Frade, JS Pinto
International Symposium on Automated Technology for Verification and …, 2014
32014
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
Learning generalized semi-Markov processes: From stochastic discrete event systems to testing and verification
A de Matos Pedro, MJ Frade, SM de Sousa
INForum2011-SOFTPT, 2011
12011
The system can't perform the operation now. Try again later.
Articles 1–20