ALGOS Logo
José Carlos Campos Costa
 
phone: +351-213100260
Ext.: 2260
Fax INESC: +351-213145843
E-mail: jose.costa@inesc-id.pt
Home Page: http://algos.inesc-id.pt/~jccc
 
 
 
Publications
International Journal Articles
-José Carlos Campos Costa and J. Monteiro, Coverage-Directed Observability-Based Validation for Embedded Software, ACM Transactions on Design Automation of Electronic Systems (TODAES), 18(2), pp. 19:1-19:20, Mar. 2013, . [bibTeX]
 
-José Carlos Campos Costa and L. Miguel Silveira and Srinivas Devadas and J. Monteiro, Power Estimation Using Probability Polynomials, Design Automation for Embedded Systems, 9(1), pp. 19-52, Mar. 2004, Spriger-Verlag. [bibTeX]
 
 
International Conferences
-José Carlos Campos Costa and J. Monteiro, Observability-based Coverage-directed Path Search using PBO for Automatic Test Vector Generation, IFIP/IEEE International Conference on Very Large Scale Integration (VLSI-SoC), Oct. 2009 . [bibTeX]
 
-José Carlos Campos Costa and J. Monteiro, A MILP-based Approach to Path Sensitization of Embedded Software, IEEE Design, Automation and Test in Europe (DATE), Apr. 2009 . [bibTeX]
 
-José Carlos Campos Costa and J. Monteiro, Computation of the Minimal Set of Paths for Observability-Based Statement Coverage, 15th International Conference Mixed Design of Integrated Circuits and Systems, Jun. 2008 . [bibTeX]
 
-José Carlos Campos Costa and J. Monteiro, Input Generation for Path Coverage in Software Testing, IEEE Workshop on Compilers and Tools for Constrained Embedded Systems, Oct. 2003 . [bibTeX]
 
-José Carlos Campos Costa and S. Devadas and J. Monteiro, Observability Analysis for Embedded Software in a Coverage-Directed Validation Methodology, IEEE/ACM International Conference on Computer-Aided Design, Nov. 2000 , pp. 27-32 . [bibTeX]
 
-R. Ferreira and A. M. Trullemans and José Carlos Campos Costa and J. Monteiro, Probabilistic Bottom-up RTL Power Estimation, IEEE/ACM International Symposium on Quality of Electronic Design, Mar. 2000 , pp. 439-446 . [bibTeX]
 
-José Carlos Campos Costa and J. Monteiro and L. Miguel Silveira and S. Devadas, A Probabilistic Approach for RT-Level Power Modeling, IEEE International Conference on Electronics, Circuits and Systems, Sep. 1999 , pp. 911-914 . [bibTeX]
 
-José Carlos Campos Costa and L. Miguel Silveira and J. Monteiro, Sequential Power Estimation using Probability Polynomials, IEEE International Symposium on Signals, Circuits and Systems,, Jul. 1999 , pp. 17-20 . [bibTeX]
 
-Paulo Flores and José Carlos Campos Costa and Horácio C. Neto and J. Monteiro and Joao Marques Silva, Assignment and Reordering of Incompletely Specified Pattern Sequences Targetting Minimum Power Dissipation, IEEE/ACM International Conference on VLSI Design (VLSI), Jan. 1999 , pp. 37-41 . [bibTeX]
 
-José Carlos Campos Costa and Paulo Flores and Horácio C. Neto and J. Monteiro and Joao Marques Silva, Exploiting Don't Cares in Test Patterns to Reduce Power During BIST, IEEE European Test Workshop, May. 1998 . [bibTeX]
 
-José Carlos Campos Costa and J. Monteiro and S. Devadas, Switching Activity Estimation using Limited Depth Reconvergent Path Analysis, IEEE/ACM International Symposium on Low Power Electronics and Design, Aug. 1997 , pp. 184-189 . [bibTeX]
 
 
PhD Theses
-José Carlos Campos Costa, Coverage-Directed Observability-Based Validation Method for Embedded Software, PhD Thesis, Instituto Superior Técnico, Jan 2010 . [bibTeX]
 
 
MSc Theses
-José Carlos Campos Costa, Métodos de Estimação da Potência Dissipada em Circuitos Lógicos, MSc Thesis, Instituto Superior Técnico, Jan 1999 . [bibTeX]
 
 
 
 
Finished Projects
-Co-VAlidatioN Tool for Embedded Systems (IE02033) (Project Link)
Acronym: Cervantes
José Carlos Campos Costa
From 01-Mar-2012 to 28-Feb-2015
Prime Contractor: INESC-ID (Other)
Financed by: FCT (Other)
Partnerships: INESC-ID (Other)
Members: José Carlos Campos Costa, José Carlos Alves Pereira Monteiro, Paulo Ferreira Godinho Flores

In this project we propose to work at the system-level validation and more...)
 
-SOA - Test Accelerator (IE02038) (Project Link)
Acronym: SOA-TA
José Carlos Campos Costa
From 06-Aug-2013 to 08-Mar-2015
Prime Contractor: Wintrust (Company) -Portugal
Financed by: Wintrust (Company) -Portugal
Partnerships: INESC-ID (Other)
, Wintrust (Company) -Portugal
Members: José Carlos Campos Costa

The objective of this project is to increase the eficiency in services. ... (more...)