Cristiano Gurgel de Castro

According to our database, Cristiano Gurgel de Castro authored at least 3 papers between 2008 and 2017.

Collaborative distances:

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

2017

EVINCED: Integrity Verification Scheme for Embedded Systems Based on Time and Clock Cycles.

Cristiano Gurgel de Castro, Sergio de Medeiros Camara, Luiz Fernando Rust da Costa Carmo, Davidson Rodrigo Boccardo

Proceedings of the 15th IEEE Intl Conf on Dependable, 2017

2008

CRefine: Support for the Circus Refinement Calculus.

Marcel Vinícius Medeiros Oliveira, Alessandro Cavalcante Gurgel, Cristiano Gurgel de Castro

Proceedings of the Sixth IEEE International Conference on Software Engineering and Formal Methods, 2008

Tool Support for the CircusRefinement Calculus.

Alessandro Cavalcante Gurgel, Cristiano Gurgel de Castro, Marcel Vinícius Medeiros Oliveira

Proceedings of the Abstract State Machines, B and Z, First International Conference, 2008