Sérgio Vanderlei Cavalcante

Publication Activity (10 Years)

Years Active: 1996-2003
Publications (10 Years): 0

Publications

Paulo Abadie Guedes, Sérgio Vanderlei Cavalcante
On the Design of an Extensible Platform for Flow Analysis of Java using Abstract Interpretation. WCET (2003)
Sérgio Vanderlei Cavalcante, D. J. Kinniment
Time Wizard: A Design and Assessment Tool for Real-Time Applications. RTS (1996)