José Carlos Gomes da Costa
AuthID: R-000-86S
31
TITLE: Observability analysis of embedded software for coverage-directed validation
AUTHORS: Costa, JC; Devadas, S; Monteiro, JC ;
PUBLISHED: 2000, SOURCE: IEEE/ACM International Conference on Computer Aided Design (ICCAD-2000) in ICCAD - 2000 : IEEE/ACM INTERNATIONAL CONFERENCE ON COMPUTER AIDED DESIGN
AUTHORS: Costa, JC; Devadas, S; Monteiro, JC ;
PUBLISHED: 2000, SOURCE: IEEE/ACM International Conference on Computer Aided Design (ICCAD-2000) in ICCAD - 2000 : IEEE/ACM INTERNATIONAL CONFERENCE ON COMPUTER AIDED DESIGN
32
TITLE: Experimental study on dynamic random variation of population size
AUTHORS: Joao Carlos Costa; Rui Tavares; Agostinho Rosa;
PUBLISHED: 1999, SOURCE: 1999 IEEE International Conference on Systems, Man, and Cybernetics 'Human Communication and Cybernetics' in Proceedings of the IEEE International Conference on Systems, Man and Cybernetics, VOLUME: 1
AUTHORS: Joao Carlos Costa; Rui Tavares; Agostinho Rosa;
PUBLISHED: 1999, SOURCE: 1999 IEEE International Conference on Systems, Man, and Cybernetics 'Human Communication and Cybernetics' in Proceedings of the IEEE International Conference on Systems, Man and Cybernetics, VOLUME: 1
INDEXED IN: 
Scopus
Scopus33
TITLE: Switching activity estimation using limited depth reconvergent path analysis
AUTHORS: Costa, JC; Monteiro, JC ; Devadas, S;
PUBLISHED: 1997, SOURCE: 1997 International Symposium on Low Power Electronics and Design in 1997 INTERNATIONAL SYMPOSIUM ON LOW POWER ELECTRONICS AND DESIGN, PROCEEDINGS
AUTHORS: Costa, JC; Monteiro, JC ; Devadas, S;
PUBLISHED: 1997, SOURCE: 1997 International Symposium on Low Power Electronics and Design in 1997 INTERNATIONAL SYMPOSIUM ON LOW POWER ELECTRONICS AND DESIGN, PROCEEDINGS
INDEXED IN: Scopus 
WOS
Scopus WOS