José C. Costa

Publication Activity (10 Years)

Years Active: 1997-2013
Publications (10 Years): 0

Top Topics

Embedded Software

Development Projects

Top Venues

ACM Trans. Design Autom. Electr. Syst.

Publications

José C. Costa, José C. Monteiro
Coverage-directed observability-based validation for embedded software. ACM Trans. Design Autom. Electr. Syst. 18 (2) (2013)
José C. Costa, José C. Monteiro
A MILP-based approach to path sensitization of embedded software. DATE (2009)
José C. Costa, Luís Miguel Silveira, Srinivas Devadas, José Monteiro
Power Estimation Using Probability Polynomials. Des. Autom. Embed. Syst. 9 (1) (2004)
José C. Costa, Srinivas Devadas, José Monteiro
Observability Analysis of Embedded Software for Coverage-Directed Validation. ICCAD (2000)
Ricardo Ferreira, Anne-Marie Trullemans, José C. Costa, José Monteiro
Probabilistic Bottom-Up RTL Power Estimation. ISQED (2000)
Paulo F. Flores, José C. Costa, Horácio C. Neto, José Monteiro, João P. Marques Silva
Assignment and Reordering of Incompletely Specified Pattern Sequences Targetting Minimum Power Dissipation. VLSI Design (1999)
José C. Costa, José Monteiro, L. Miguel Silveira, Srinivas Devadas
A probabilistic approach for RT-level power modeling. ICECS (1999)
José C. Costa, José C. Monteiro, Srinivas Devadas
Switching activity estimation using limited depth reconvergent path analysis. ISLPED (1997)