Andrei Costa

Publication Activity (10 Years)

Years Active: 2013-2020
Publications (10 Years): 7

Top Topics

Provably Correct

Formal Verification

Graph Transformation

Top Venues

Graph Transformation, Specifications, and Nets

Int. J. Medical Informatics

Publications

Leila Ribeiro, Lucio Mauro Duarte, Rodrigo Machado, Andrei Costa, Érika F. Cota, Jonas Santos Bezerra
Use case evolution analysis based on graph transformation with negative application conditions. Sci. Comput. Program. 198 (2020)
Leila Ribeiro, Lucio Mauro Duarte, Rodrigo Machado, Andrei Costa, Érika F. Cota, Jonas Santos Bezerra
Use Case Evolution Analysis based on Graph Transformation with Negative Application Conditions. CoRR (2019)
Andrea Corradini, Dominique Duval, Michael Löwe, Leila Ribeiro, Rodrigo Machado, Andrei Costa, Guilherme Grochau Azzi, Jonas Santos Bezerra, Leonardo Marques Rodrigues
On the Essence of Parallel Independence for the Double-Pushout and Sesqui-Pushout Approaches. Graph Transformation, Specifications, and Nets (2018)
Guilherme Grochau Azzi, Jonas Santos Bezerra, Leila Ribeiro, Andrei Costa, Leonardo Marques Rodrigues, Rodrigo Machado
The Verigraph System for Graph Transformation. Graph Transformation, Specifications, and Nets (2018)
Érika F. Cota, Leila Ribeiro, Jonas Santos Bezerra, Andrei Costa, Rosiana Estefane da Silva, Gláucia Cota
Using formal methods for content validation of medical procedure documents. Int. J. Medical Informatics 104 (2017)
Andrei Costa, Jonas Santos Bezerra, Guilherme Grochau Azzi, Leonardo Marques Rodrigues, Thiago Rafael Becker, Ricardo Gabriel Herdt, Rodrigo Machado
Verigraph: A System for Specification and Analysis of Graph Grammars. SBMF (2016)
Jonas Santos Bezerra, Andrei Costa, Leila Ribeiro, Érika F. Cota
Formal Verification of Health Assessment Tools: a Case Study. Electron. Notes Theor. Comput. Sci. 324 (2016)
Andrei Costa, Simone André da Costa Cavalheiro, Luciana Foss, Leila Ribeiro
From UML diagrams to simulink models: a precise and verified translation. SAC (2015)
Andrei Costa, Vinícius Steffens Pazzini, Luciana Foss, Simone André da Costa Cavalheiro, Lisane B. de Brisolara, Flávio Rech Wagner
Automatic Translation from UML to Simulink CAAM Using Graph Grammars. WEIT (2013)