Seuraa
Maria João Frade
Maria João Frade
HASLab / INESC TEC and Universidade do Minho
Vahvistettu sähköpostiosoite verkkotunnuksessa di.uminho.pt - Kotisivu
Nimike
Viittaukset
Viittaukset
Vuosi
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
1412004
Rigorous Software Development - An Introduction to Program Verification
JB Almeida, MJ Frade, JS Pinto, SM de Sousa
Springer, 2011
852011
An overview of formal methods tools and techniques
JB Almeida, MJ Frade, JS Pinto, S Melo de Sousa, JB Almeida, MJ Frade, ...
Rigorous Software Development: An Introduction to Program Verification, 15-44, 2011
512011
Verification conditions for source-level imperative programs
MJ Frade, JS Pinto
Computer Science Review 5 (3), 252-277, 2011
472011
Constructor subtyping
G Barthe, MJ Frade
Programming Languages and Systems: 8th European Symposium on Programming …, 1999
341999
Structural proof theory as rewriting
JE Santo, MJ Frade, L Pinto
Term Rewriting and Applications: 17th International Conference, RTA 2006 …, 2006
152006
Structural proof theory as rewriting
JE Santo, MJ Frade, L Pinto
Term Rewriting and Applications: 17th International Conference, RTA 2006 …, 2006
152006
Type-Based Termination of Recursive Definitions and Constructor Subtyping in Typed Lambda Calculi
MJ Frade
112003
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
Formalizing single-assignment program verification: An adaptation-complete approach
C Belo Lourenço, MJ Frade, J Sousa Pinto
Programming Languages and Systems: 25th European Symposium on Programming …, 2016
82016
Foundational certification of data-flow analyses
MJ Frade, A Saabas, T Uustalu
First Joint IEEE/IFIP Symposium on Theoretical Aspects of Software …, 2007
72007
A bounded model checker for SPARK programs
CB Lourenço, MJ Frade, JS Pinto
Automated Technology for Verification and Analysis: 12th International …, 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
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
A verified VCGen based on dynamic logic: An exercise in meta-verification with Why3
MJ Frade, JS Pinto
Journal of Logical and Algebraic Methods in Programming 133, 100871, 2023
12023
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
Experimenting with predicate abstraction
VC Miraldo
12014
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
Järjestelmä ei voi suorittaa toimenpidettä nyt. Yritä myöhemmin uudelleen.
Artikkelit 1–20