Cristiano Gurgel de Castro

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

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2017
EVINCED: Integrity Verification Scheme for Embedded Systems Based on Time and Clock Cycles.
Proceedings of the 15th IEEE Intl Conf on Dependable, 2017

2008
CRefine: Support for the Circus Refinement Calculus.
Proceedings of the Sixth IEEE International Conference on Software Engineering and Formal Methods, 2008

Tool Support for the CircusRefinement Calculus.
Proceedings of the Abstract State Machines, B and Z, First International Conference, 2008


  Loading...