Switching activity estimation using limited depth reconvergent path analysis. - José C. Costa; José C. Monteiro 001; Srinivas Devadas (ISLPED, 1997)

A probabilistic approach for RT-level power modeling. - José C. Costa; José Monteiro 001; L. Miguel Silveira; Srinivas Devadas (ICECS, 1999)

Assignment and Reordering of Incompletely Specified Pattern Sequences Targetting Minimum Power Dissipation. - Paulo F. Flores; José C. Costa; Horácio C. Neto; José Monteiro 001; João Marques-Silva 001 (VLSI Design, 1999)

Observability Analysis of Embedded Software for Coverage-Directed Validation. - José C. Costa; Srinivas Devadas; José Monteiro 001 (ICCAD, 2000)

Probabilistic Bottom-Up RTL Power Estimation. - Ricardo Ferreira; Anne-Marie Trullemans; José C. Costa; José Monteiro 001 (ISQED, 2000)

Power Estimation Using Probability Polynomials. - José C. Costa; Luís Miguel Silveira; Srinivas Devadas; José Monteiro 001 (Des. Autom. Embed. Syst., 2004)

A MILP-based approach to path sensitization of embedded software. - José C. Costa; José C. Monteiro 001 (DATE, 2009)

Coverage-directed observability-based validation for embedded software. - José C. Costa; José C. Monteiro 001 (ACM Trans. Design Autom. Electr. Syst., 2013)