Maria João Frade

17 papers A 2B 1C 1Misc 2Journal 5Unranked 4

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