Andrei Costa

According to our database, Andrei Costa authored at least 8 papers between 2013 and 2020.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2020

Use case evolution analysis based on graph transformation with negative application conditions.

Leila Ribeiro, Lucio Mauro Duarte, Rodrigo Machado, Andrei Costa, Érika F. Cota, Jonas Santos Bezerra

Sci. Comput. Program., 2020

2018

On the Essence of Parallel Independence for the Double-Pushout and Sesqui-Pushout Approaches.

Andrea Corradini, Dominique Duval, Michael Löwe, Leila Ribeiro, Rodrigo Machado, Andrei Costa, Guilherme Grochau Azzi, Jonas Santos Bezerra, Leonardo Marques Rodrigues

Proceedings of the Graph Transformation, Specifications, and Nets, 2018

The Verigraph System for Graph Transformation.

Guilherme Grochau Azzi, Jonas Santos Bezerra, Leila Ribeiro, Andrei Costa, Leonardo Marques Rodrigues, Rodrigo Machado

Proceedings of the Graph Transformation, Specifications, and Nets, 2018

2017

Using formal methods for content validation of medical procedure documents.

Érika F. Cota, Leila Ribeiro, Jonas Santos Bezerra, Andrei Costa, Rosiana Estefane da Silva, Gláucia Cota

Int. J. Medical Informatics, 2017

2016

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

Proceedings of the Formal Methods: Foundations and Applications - 19th Brazilian Symposium, 2016

2015

Formal Verification of Health Assessment Tools: a Case Study.

Jonas Santos Bezerra, Andrei Costa, Leila Ribeiro, Érika F. Cota

Proceedings of the Third Workshop-School on Theoretical Computer Science, 2015

From UML diagrams to simulink models: a precise and verified translation.

Andrei Costa, Simone André da Costa Cavalheiro, Luciana Foss, Leila Ribeiro

Proceedings of the 30th Annual ACM Symposium on Applied Computing, 2015

2013

Automatic Translation from UML to Simulink CAAM Using Graph Grammars.

Andrei Costa, Vinícius Steffens Pazzini, Luciana Foss, Simone André da Costa Cavalheiro, Lisane B. de Brisolara, Flávio Rech Wagner

Proceedings of the 2nd Workshop-School on Theoretical Computer Science, 2013