Maria Joo Frade
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
8
Venues
7
Active years
1999–2019
Best venue rank
A*
Where they publish
Papers
8 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2019 | ICSE | A generalized program verification workflow based on loop elimination and SA form. | Cludio Belo Loureno, Maria Joo Frade, Jorge Sousa Pinto |
| 2018 | COMPSAC | A Generalized Approach to Verification Condition Generation. | Cludio Belo Loureno, Maria Joo Frade, Shin Nakajima, Jorge Sousa Pinto |
| 2016 | ESOP | Formalizing Single-Assignment Program Verification: An Adaptation-Complete Approach. | Cludio Belo Loureno, Maria Joo Frade, Jorge Sousa Pinto |
| 2014 | ATVA | A Bounded Model Checker for SPARK Programs. | Cludio Belo Loureno, Maria Joo Frade, Jorge Sousa Pinto |
| 2012 | SAC | Verification conditions for single-assignment programs. | Daniela Carneiro da Cruz, Maria Joo Frade, Jorge Sousa Pinto |
| 2009 | PEPM | Bidirectional data-flow analyses, type-systematically. | Maria Joo Frade, Ando Saabas, Tarmo Uustalu |
| 2007 | TASE | Foundational certification of data-flow analyses. | Maria Joo Frade, Ando Saabas, Tarmo Uustalu |
| 1999 | ESOP | Constructor Subtyping. | Gilles Barthe, Maria Joo Frade |