Jonas Santos Bezerra

According to our database, Jonas Santos Bezerra authored at least 6 papers between 2015 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