Cristiano Gurgel de Castro

Publication Activity (10 Years)

Years Active: 2008-2017
Publications (10 Years): 1

Top Topics

Embedded Real Time Systems

Integrity Verification

Copyright Protection

Consumer Electronics

Top Venues

DASC/PiCom/DataCom/CyberSciTech

Publications

Cristiano Gurgel de Castro, Sergio de Medeiros Camara, Luiz Fernando Rust da Costa Carmo, Davidson Rodrigo Boccardo
EVINCED: Integrity Verification Scheme for Embedded Systems Based on Time and Clock Cycles. DASC/PiCom/DataCom/CyberSciTech (2017)
Marcel Vinícius Medeiros Oliveira, Alessandro Cavalcante Gurgel, Cristiano Gurgel de Castro
CRefine: Support for the Circus Refinement Calculus. SEFM (2008)
Alessandro Cavalcante Gurgel, Cristiano Gurgel de Castro, Marcel Vinícius Medeiros Oliveira
Tool Support for the CircusRefinement Calculus. ABZ (2008)