Formal Verification of Health Assessment Tools: a Case Study. - Jonas Santos Bezerra; Andrei Costa; Leila Ribeiro 001; Érika F. Cota (WEIT, 2015)

Verigraph: A System for Specification and Analysis of Graph Grammars. - Andrei Costa; Jonas Santos Bezerra; Guilherme Grochau Azzi; Leonardo Marques Rodrigues; Thiago Rafael Becker; Ricardo Gabriel Herdt; Rodrigo Machado (SBMF, 2016)

Using formal methods for content validation of medical procedure documents. - Érika F. Cota; Leila Ribeiro 001; Jonas Santos Bezerra; Andrei Costa; Rosiana Estefane da Silva; Gláucia Cota (Int. J. Medical Informatics, 2017)

The Verigraph System for Graph Transformation. - Guilherme Grochau Azzi; Jonas Santos Bezerra; Leila Ribeiro 001; Andrei Costa; Leonardo Marques Rodrigues; Rodrigo Machado (Graph Transformation, Specifications, and Nets, 2018)

On the Essence of Parallel Independence for the Double-Pushout and Sesqui-Pushout Approaches. - Andrea Corradini 001; Dominique Duval; Michael Löwe; Leila Ribeiro 001; Rodrigo Machado; Andrei Costa; Guilherme Grochau Azzi; Jonas Santos Bezerra; Leonardo Marques Rodrigues (Graph Transformation, Specifications, and Nets, 2018)

Use case evolution analysis based on graph transformation with negative application conditions. - Leila Ribeiro 001; Lucio Mauro Duarte; Rodrigo Machado; Andrei Costa; Érika F. Cota; Jonas Santos Bezerra (Sci. Comput. Program., 2020)