Maria João Frade

Publication Activity (10 Years)

Years Active: 1999-2023
Publications (10 Years): 7

Top Topics

Formal Verification

Virtual Enterprise

Sequent Calculus

Top Venues

J. Log. Algebraic Methods Program.

Publications

Maria João Frade, Jorge Sousa Pinto
A verified VCGen based on dynamic logic: An exercise in meta-verification with Why3. J. Log. Algebraic Methods Program. 133 (2023)
José Espírito Santo, Maria João Frade, Luís Pinto
Variations and interpretations of naturality in call-by-name lambda-calculi with generalized applications. J. Log. Algebraic Methods Program. 131 (2023)
Cláudio Belo Lourenço, Maria João Frade, Jorge Sousa Pinto
A generalized program verification workflow based on loop elimination and SA form. FormaliSE@ICSE (2019)
Cláudio Belo Lourenço, Maria João Frade, Shin Nakajima, Jorge Sousa Pinto
A Generalized Approach to Verification Condition Generation. COMPSAC (1) (2018)
Cláudio Belo Lourenço, Maria João Frade, Jorge Sousa Pinto
Formalizing Single-Assignment Program Verification: An Adaptation-Complete Approach. ESOP (2016)
José Espírito Santo, Maria João Frade, Luís Pinto
Permutability in Proof Terms for Intuitionistic Sequent Calculus with Cuts. TYPES (2016)
Cláudio Belo Lourenço, Maria João Frade, Jorge Sousa Pinto
A Single-Assignment Translation for Annotated Programs. CoRR (2016)
Cláudio Belo Lourenço, Maria João Frade, Jorge Sousa Pinto
A Bounded Model Checker for SPARK Programs. ATVA (2014)
Daniela Carneiro da Cruz, Maria João Frade, Jorge Sousa Pinto
Verification conditions for single-assignment programs. SAC (2012)
Maria João Frade, Jorge Sousa Pinto
Verification conditions for source-level imperative programs. Comput. Sci. Rev. 5 (3) (2011)
Maria João Frade, Ando Saabas, Tarmo Uustalu
Bidirectional data-flow analyses, type-systematically. PEPM (2009)
Maria João Frade, Ando Saabas, Tarmo Uustalu
Foundational certification of data-flow analyses. TASE (2007)
José Espírito Santo, Maria João Frade, Luís Pinto
Structural Proof Theory as Rewriting. RTA (2006)
Gilles Barthe, Maria João Frade, Eduardo Giménez, Luís Pinto, Tarmo Uustalu
Type-based termination of recursive definitions. Math. Struct. Comput. Sci. 14 (1) (2004)
Gilles Barthe, Maria João Frade
Constructor Subtyping. ESOP (1999)