José Carlos Gomes da Costa
AuthID: R-000-86S
21
TITLE: Coverage-Directed Observability-Based Validation for Embedded Software Full Text
AUTHORS: Jose C Costa; Jose C Monteiro ;
PUBLISHED: 2013, SOURCE: ACM TRANSACTIONS ON DESIGN AUTOMATION OF ELECTRONIC SYSTEMS, VOLUME: 18, ISSUE: 2
AUTHORS: Jose C Costa; Jose C Monteiro ;
PUBLISHED: 2013, SOURCE: ACM TRANSACTIONS ON DESIGN AUTOMATION OF ELECTRONIC SYSTEMS, VOLUME: 18, ISSUE: 2
22
TITLE: Information management and knowledge sharing in supply chains operating in Brazil
AUTHORS: Macada, ACG; Costa, JC; Oliveira, M; Curado, C;
PUBLISHED: 2013, SOURCE: International Journal of Automotive Technology and Management, VOLUME: 13, ISSUE: 1
AUTHORS: Macada, ACG; Costa, JC; Oliveira, M; Curado, C;
PUBLISHED: 2013, SOURCE: International Journal of Automotive Technology and Management, VOLUME: 13, ISSUE: 1
INDEXED IN: 
Scopus
Scopus23
TITLE: Biomethanation potential of biological and other wastes
AUTHORS: Costa, JC; Sousa, DZ; Pereira, MA ; Stams, AJM; Alves, MM;
PUBLISHED: 2013, SOURCE: Biofuel Technologies: Recent Developments
AUTHORS: Costa, JC; Sousa, DZ; Pereira, MA ; Stams, AJM; Alves, MM;
PUBLISHED: 2013, SOURCE: Biofuel Technologies: Recent Developments
24
TITLE: Biomethanation potential of biological and other wastes
AUTHORS: Costa, JC; Sousa, DZ; Pereira, MA ; Stams, AJM; Alves, MM ;
PUBLISHED: 2013, SOURCE: Biofuel Technologies: Recent Developments, VOLUME: 9783642345197
AUTHORS: Costa, JC; Sousa, DZ; Pereira, MA ; Stams, AJM; Alves, MM ;
PUBLISHED: 2013, SOURCE: Biofuel Technologies: Recent Developments, VOLUME: 9783642345197
INDEXED IN: Scopus
Scopus25
TITLE: Collective Optimization of Sun-Tracking Trajectories Full Text
AUTHORS: Carlos Costa; Luis Pina; Miguel Ayala Botto ; Frank Dimroth; Sarah Kurtz; Gabriel Sala; Andreas W Bett;
PUBLISHED: 2011, SOURCE: 7th International Conference on Concentrating Photovoltaic Systems (CPV) in 7TH INTERNATIONAL CONFERENCE ON CONCENTRATING PHOTOVOLTAIC SYSTEMS (CPV-7), VOLUME: 1407
AUTHORS: Carlos Costa; Luis Pina; Miguel Ayala Botto ; Frank Dimroth; Sarah Kurtz; Gabriel Sala; Andreas W Bett;
PUBLISHED: 2011, SOURCE: 7th International Conference on Concentrating Photovoltaic Systems (CPV) in 7TH INTERNATIONAL CONFERENCE ON CONCENTRATING PHOTOVOLTAIC SYSTEMS (CPV-7), VOLUME: 1407
26
TITLE: Observability-based coverage-directed path search using PBO for automatic test vector generation
AUTHORS: Costa, JC; Monteiro, JC ;
PUBLISHED: 2011, SOURCE: 17th IFIP International Conference on Very Large Scale Integration, VLSI-SoC 2009 in Proceedings - 17th IFIP International Conference on Very Large Scale Integration, VLSI-SoC 2009
AUTHORS: Costa, JC; Monteiro, JC ;
PUBLISHED: 2011, SOURCE: 17th IFIP International Conference on Very Large Scale Integration, VLSI-SoC 2009 in Proceedings - 17th IFIP International Conference on Very Large Scale Integration, VLSI-SoC 2009
INDEXED IN: Scopus 
CrossRef
Scopus CrossRef27
TITLE: Effect of Antistatic Additives on Mechanical and Electrical Properties of Polyethylene Foams Full Text
AUTHORS: Costa, JC; Oliveira, M; Machado, AV ; Lanceros Mendez, S ; Botelho, G ;
PUBLISHED: 2009, SOURCE: JOURNAL OF APPLIED POLYMER SCIENCE, VOLUME: 112, ISSUE: 3
AUTHORS: Costa, JC; Oliveira, M; Machado, AV ; Lanceros Mendez, S ; Botelho, G ;
PUBLISHED: 2009, SOURCE: JOURNAL OF APPLIED POLYMER SCIENCE, VOLUME: 112, ISSUE: 3
28
TITLE: Quantitative image analysis as a diagnostic tool for identifying structural changes during a revival process of anaerobic granular sludge Full Text
AUTHORS: ABREU, A; COSTA, J; ARAYAKROFF, P; FERREIRA, E; ALVES, M;
PUBLISHED: 2007, SOURCE: Water Research, VOLUME: 41, ISSUE: 7
AUTHORS: ABREU, A; COSTA, J; ARAYAKROFF, P; FERREIRA, E; ALVES, M;
PUBLISHED: 2007, SOURCE: Water Research, VOLUME: 41, ISSUE: 7
29
TITLE: Occupational exposure to chemical agents in the Portuguese foundry industry
AUTHORS: Costa, JC;
PUBLISHED: 2006, SOURCE: 67th World Foundry Congress: Casting the Future, wfc06 in Institute of Cast Metals Engineers - 67th World Foundry Congress, wfc06: Casting the Future, VOLUME: 1
AUTHORS: Costa, JC;
PUBLISHED: 2006, SOURCE: 67th World Foundry Congress: Casting the Future, wfc06 in Institute of Cast Metals Engineers - 67th World Foundry Congress, wfc06: Casting the Future, VOLUME: 1
INDEXED IN: Scopus
Scopus30
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
