Claudionor Jose Nunes Coelho Junior

Idiomas

Áreas de atuação

Organização de eventos

Orientou

Produções bibliográficas

• LOPES, J.C.D. ; ARTIGUENAVE, François ; MACIEL, W.D. ; CALDEIRA JUNIOR, A.C. ; OLIVEIRA, Guilherme Correa de ; Barbosa, L.H.R. ; COELHO JUNIOR, C. J. N. ; ANDRE LUIZ LINS DE AQUINO ; LINHARES, M.M.R.S. . The tropical biominer project: Mining old sources of new drugs. OMICS: Journal of Integrative Biology , New York, v. 9, n.2, p. 130-138, 2005.

• MOREIRA, L. F. E. ; SILVINO, JL.. ; MELO, J. C. D. ; COELHO JUNIOR, C. J. N. . Distributed network platform for automatic optical inspection. Electronics Letters , Londres, p. 1721-1723, 2003.

• COELHO JUNIOR, C. J. N. ; MICHELI, G. . Analysis and Synthesis of Concurrent Digital Circuits Using Control-Flow Expressions. IEEE Transactions on Computer Aided Design, v. 15, n.8, p. 854-876, 1996.

• GUPTA, R. ; COELHO JUNIOR, C. J. N. ; MICHELI, G. . Program Implementation Schemes for Hardware-Software Systems. IEEE Computer, v. 27, n.1, p. 48-55, 1994.

• FILO, D. ; KU, D. ; COELHO JUNIOR, C. J. N. ; MICHELI, G. . Interface Optimization for Concurrent Systems under Timing Constraints. IEEE Transactions on VLSI Systems, v. 1, n.3, p. 268-281, 1993.

• COELHO JUNIOR, C. J. N. (Org.) . Proceedings of Symposium on Integrated Circuits and Systems Design. 1. ed. Nova York: ACM Press, 2006. v. 1.

• NACIF, Jose Augusto Miranda ; COELHO JUNIOR, C. J. N. ; HARRY D. FOSTER ; de Paula, F.M. ; Mota, M.R.F. ; FERNANDES, Antonio Otavio ; MOTA, E. . On-Chip Property Verification Using Assertion Processors. In: .. (Org.). VLSI-SOC: From Systems to Chips. .ed.Boston: Springer, 2006, v. 200/20, p. 101-117.

• FERNANDES, Antonio Otavio ; COELHO JUNIOR, C. J. N. ; BIGONHA, R.S. . Lei de Informática e Propriedade Intelectual.. In: Amintas Neto; Rogerio Parrigassi. (Org.). Propriedade Intelectual. 1ed.São Paulo: Rosário Gráfica, 2005, v. 1, p. 13-26.

• COELHO JUNIOR, C. J. N. ; HARRY D. FOSTER . Assertion-Based Verification. In: x. (Org.). Advanced Formal Verification. Pried.x: x, 2004, v. , p. 161-196.

• Coelho Jr., C.J.N. ; HARRY D. FOSTER ; COELHO JUNIOR, C. J. N. . Assertion-Based Verification. In: R.Drechsler. (Org.). Advanced Formal Verification. 1ed.New York: Kluwer Academic Publishers, 2004, v. , p. 161-196.

• Gupta, R. ; Coelho Jr., C.J.N. ; COELHO JUNIOR, C. J. N. . Special Issue on Networked Embedded Systems. In: Wayne Wolf. (Org.). ACM Transactions on Embedded Computing Systems. 1ed.New York: ACM, 2004, v. 3, p. 1-3.

• GUPTA, R. K. ; COELHO JUNIOR, C. J. N. ; MICHELI, G. . Synthesis and Simulation of Digital Systems Containing Interacting Hardware and Software Components. In: Giovanni De Micheli; Rolf Ernst; Wayne Wolf. (Org.). Readings in Hardware/Software Co-Design. San Francisco: Morgan Kaufmann, 2002, v. , p. 544-549.

• MOREIRA, L. F. E. ; MELO, J. C. D. ; FERNANDES, Antonio Otavio ; COELHO JUNIOR, C. J. N. ; MATA, J. M. ; SILVA JR, D. C. . Uma Plataforma para Estudos em Reconfigurabilidade Dinamica Aplicada a Sistemas de Memoria e Coprocessadores Dedicados . In: Edward David Moreno Ordonez; Jorge Luiz e Silva. (Org.). Computação Reconfigurável - Experiências e Perspectivas. : , 2000, v. , p. 22-28.

• ZUIM, R. L. ; FERNANDES, Antonio Otavio ; COELHO JUNIOR, C. J. N. ; SILVA JR, D. C. ; MATA, J. M. . Adicionando Reconfigurabilidade a Computadores Wearable. In: Edward David Moreno Ordonez; Jorge Luiz e Silva. (Org.). Computação Reconfigurável - Experiências e Perspectivas. : , 2000, v. , p. 126-135.

• COELHO JUNIOR, C. J. N. ; SILVA JUNIOR, D. C. ; FERNANDES, A. O. . Desenvolvimento de Sistemas Integrados de Hardware e Software. In: VI ERI Sul. (Org.). Desenvolvimento de Sistemas Integrados de Hardware e Software. : SBC, 1998, v. , p. -.

• COELHO JUNIOR, C. J. N. ; MICHELI, G. . Modeling and Synthesis of Synchronous System-level Specifications. In: Jean-Michel Bergé; Oz Levia; Jacques Rouillard. (Org.). Modeling and Synthesis of Synchronous System-level Specifications. : Kluwer Academic Publishers, 1997, v. , p. 1-47.

• COELHO JUNIOR, C. J. N. . Reengenharia de Sistemas Embutidos para a Internet. Revista do Linux, 01 jul. 2001.

• NACIF, Jose Augusto Miranda ; SILVA, T. ; LUIZ FILIPE MENEZES VIEIRA ; ALEX BORGES VIEIRA ; FERNANDES, Antonio Otavio ; COELHO JUNIOR, C. J. N. . A Cache Based Algorithm to Predict HDL Modules Faults. In: Latin American Test Workshop (LATW), 2011, Porto de Galinhas. Latin American Test Workshop (LATW), 2011.

• NACIF, Jose Augusto Miranda ; SILVA, T. ; LUIZ FILIPE MENEZES VIEIRA ; ALEX BORGES VIEIRA ; FERNANDES, Antonio Otavio ; COELHO JUNIOR, C. J. N. . Tracking Hardware Evolution. In: International Symposium on Quality Electronic Design (ISQED), 2011, Santa Clara. International Symposium on Quality Electronic Design (ISQED), 2011.

• Rajeev K. Ranjan ; COELHO JUNIOR, C. J. N. ; Sebastian Skalberg . Beyond Verification: Leveraging Formal for Debugging. In: 46th Design Automation Conference, 2009, San Francisco. iiProceedings of the 46th Design Automation Conference, 2009.

• T. N. C. Cardoso ; NACIF, Jose Augusto Miranda ; FERNANDES, A. O. ; COELHO JUNIOR, C. J. N. . BUGTRACER: A system for integrated circuit development tracking and statistics retrieval. In: Latin American Test Workshop (LATW), 2009, Buzios. Latin American Test Workshop (LATW), 2009.

• NACIF, J. A. M. ; TAVARES, A. I. ; FERNANDES, A. O. ; COELHO JUNIOR, C. J. N. . Efficient allocation of verification resources using revision history information. In: 11th IEEE Workshop on Design and Diagnostics of Electronic Systems, 2008, Bratislava. IEEE WORKSHOP ON DESIGN AND DIAGNOSTICS OF ELECTRONIC SYSTEMS, 2008. p. 190-194.

• T. N. C. Cardoso ; Do Val, C.G. ; NACIF, J. A. M. ; FERNANDES, A. O. ; COELHO JUNIOR, C. J. N. . Assertion based fault-tolerant processor: How to recover from design errors. In: IFIP International Conference on Very Large Scale Integration and System-on-Chip, 2008, Rhodes. Proceedings of the 16th IFIP International Conference on Very Large Scale Integration and System-on-Chip, 2008.

• T. N. C. Cardoso ; Do Val, C.G. ; NACIF, J. A. M. ; FERNANDES, A. O. ; COELHO JUNIOR, C. J. N. . Memory Aspects of Dual Core Processor Design. In: Chip on the Pampas Student Forum, 2008, Gramado. Proceedings of the Chip in the Pampas Student Forum, 2008.

• Andrade, F.V. ; MARCIA CAROLINA MARRA DE OLIVEIRA ; FERNANDES, A. O. ; COELHO JUNIOR, C. J. N. . SAT-Based Equivalence Checking based on Circuit Partitioning and Special Approaches for Conflict Clause Reuse. In: IEEE Design and Diagnosis of Electronic Circuits and Systems, 2007, Krakow. Proceedings of IEEE Workshop on Design and Diagnosis of Electronic Circuits and Systems, 2007. p. 397-402.

• ANDRE LUIZ LINS DE AQUINO ; Figueredo, C. M. S. ; EDUARDO FREIRE NAKAMURA ; LOUREIRO, A. A. F. ; FERNANDES, Antonio Otavio ; COELHO JUNIOR, C. J. N. . On The Use Data Reduction Algorithms For Real-Time Wireless Sensor Networks. In: IEEE Symposium On Computers and Communications, 2007, Aveiro. IEEE Symposium On Computers and Communications 2007, 2007.

• ANDRE LUIZ LINS DE AQUINO ; Figueredo, C. M. S. ; EDUARDO FREIRE NAKAMURA ; BURIOL, L. S. ; LOUREIRO, A. A. F. ; FERNANDES, A. O. ; COELHO JUNIOR, C. J. N. . A Sampling Data Stream Algorithm For Wireless Sensor Networks. In: ICC 2007, 2007, Glasgow. IEEE International Conference on Communications 2007, 2007.

• ANDRE LUIZ LINS DE AQUINO ; Figueredo, C. M. S. ; EDUARDO FREIRE NAKAMURA ; BURIOL, L. S. ; LOUREIRO, A. A. F. ; FERNANDES, Antonio Otavio ; COELHO JUNIOR, C. J. N. . Data Stream Based Algorithms For Wireless Sensor Network Applications. In: AINA 2007, 2007, Niagara Falls. IEEE international conference on advanced information networking and applications, 2007.

• ZUIM, R. L. ; COELHO JUNIOR, C. J. N. . A Fast SAT Solver Algorithm Best Suited to reconfigurable Hardware. In: Symposium on Integrated Circuits and Systems Design, 2006, Ouro Preto. Proceedings of SBCCI'2006. Nova York: ACM Press, 2006. v. 1. p. 131-136.

• Passos, R.M. ; NACIF, Jose Augusto Miranda ; ANTONIO ALFREDO FERREIRA LOUREIRO ; FERNANDES, Antonio Otavio ; COELHO JUNIOR, C. J. N. . System-Level Dynamic Power Management Techniques for Communication Intensive Devices. In: IFIP International Conference on Very Large Scale Integration, 2006, Nice. Proceedings of VLSI-SoC 2006. Nice, 2006. v. 1. p. xx-xx.

• Andrade, F.V. ; NACIF, Jose Augusto Miranda ; Coelho Jr., C.J.N. ; FERNANDES, Antonio Otavio ; Wong, Hao-Chi ; MOREIRA, L. F. E. ; Barbosa, L.H.R. ; COELHO JUNIOR, C. J. N. . When Bits are not Bits and Bytes are not Bytes: Validating Computer Graphics Cores at Higher Level of Abstraction. In: 6th IEEE Latin-American Test Workshop, 2005, Salvador. 6th IEEE Latin-American Test Workshop - LATW 2005. Salvador: Editora Evangraf, 2005. v. 1. p. 308-312.

• Andrade, F.V. ; NACIF, Jose Augusto Miranda ; COELHO JUNIOR, C. J. N. ; FERNANDES, Antonio Otavio ; Wong, Hao-Chi ; MOREIRA, L. F. E. ; Barbosa, L.H.R. . When Bits are not Bits and Bytes are not Bytes: Validating Computer Graphics Cores at Higher Level of Abstraction. In: 6th IEEE Latin-American Test Workshop, 2005, Salvador. Proceedings of the 6th IEEE Latin-American Test Workshop - LATW 2005. Salvador: Editora Evangraf, 2005. v. 1. p. 308-312.

• Passos, R.M. ; COELHO JUNIOR, C. J. N. ; ANTONIO ALFREDO FERREIRA LOUREIRO ; Mini, R.A.F. . Dynamic Power Management in Wireless Sensor Networks: An Application-driven Approach. In: The Second Annual Conference on Wireless on Demand Network Systems and Services, 2005, St. Moritz. Proceedings of the The Second Annual Conference on Wireless on Demand Network Systems and Services. St. Moritz, 2005. p. 109-118.

• Passos, R.M. ; COELHO JUNIOR, C. J. N. ; ANTONIO ALFREDO FERREIRA LOUREIRO ; Mini, R.A.F. . Energy-Efficient Application-Aware Communication for Wireless Sensor Networks. In: IFIP International Conference on Personal Wireless Communications, 2005, Colmar. Proceedings of PWC'2005. Londres: Imperial College Press, 2005. v. 1. p. 03-10.

• Caldas, R.B. ; FABIO LUCIO CORREA JUNIOR ; NACIF, Jose Augusto Miranda ; Roque, T.R. ; Ruiz, L.B. ; FERNANDES, Antonio Otavio ; COELHO JUNIOR, C. J. N. . Reconfigurable Sensor Node for Low Power/Hig Performance Applications. In: IFIP International Conference on Very Large Scale Integration, 2005, Perth. Proceedings of the IFIP International Conference on Very Large Scale Integration. Perth, 2005. p. 366-370.

• Caldas, R.B. ; FABIO LUCIO CORREA JUNIOR ; Roque, T.R. ; NACIF, Jose Augusto Miranda ; Ruiz, L.B. ; FERNANDES, Antonio Otavio ; MATA, J. M. ; COELHO JUNIOR, C. J. N. . Low Power/High Performance Self-Adapting Sensor Node Architecture. In: 10th IEEE International Conference on Emerging Technologies and Factory Automation, 2005, Catania. Proceeding of the 10th IEEE International Conference on Emerging Technologies and Factory Automation. Catania, 2005. v. 2. p. 973-976.

• NACIF, Jose Augusto Miranda ; MOREIRA, L. F. E. ; TAVARES, A. I. ; MATA, J. M. ; FERNANDES, Antonio Otavio ; Coelho Jr., C.J.N. ; LUIZ FILIPE MENEZES VIEIRA ; MARCOS AUGUSTO MENEZES VIEIRA ; COELHO JUNIOR, C. J. N. . Migração de um Kernel de Tempo Real para um Processador Digital de Sinais. In: Workshop em Sistemas Operacionais, 2004, Salvador. Anais do SBC'2004. São Paulo: Tec Art Editora, 2004. v. 1. p. 173-173.

• VINICIUS COELHO DE ALMEIDA ; LUIZ FILIPE MENEZES VIEIRA ; BRENO AUGUSTO DIAS VITORINO ; MARCOS AUGUSTO MENEZES VIEIRA ; NACIF, Jose Augusto Miranda ; FERNANDES, Antonio Otavio ; SILVA JUNIOR, D. C. ; Coelho Jr., C.J.N. ; COELHO JUNIOR, C. J. N. . Sistema Operacional YATOS para Redes de Sensores Sem Fio. In: Workshop em Sistemas Operacionais, 2004, Salvador. Anais do SBC'2004. São Paulo: Tec Art Editora, 2004. v. 1.

• Passos, R.M. ; Coelho Jr., C.J.N. ; ANTONIO ALFREDO FERREIRA LOUREIRO ; Mini, R.A.F. ; COELHO JUNIOR, C. J. N. . Dynamic Power Management in Wireless Sensor Networks: An Application-driven Approach. In: Workshop de Comunicação sem Fio e Computação Móvel, 2004, Fortaleza. Anais do WCSF'2004. Fortaleza, 2004. v. 1. p. 77-86.

• NACIF, Jose Augusto Miranda ; COELHO JUNIOR, C. J. N. ; FERNANDES, Antonio Otavio ; SILVA JUNIOR, D. C. ; FLAVIO MIANA DE PAULA ; FERNANDO CORTEZ SICA . The Chip is Ready. Am I done? On-chip Verification using Assertion Processors. In: IFIP Intl. Conference on VLSI, 2003, Darmstadt. IFIP VLSI-SOC 2003, 2003. p. 111-116.

• COELHO JUNIOR, C. J. N. ; FERNANDES, Antonio Otavio ; SILVA JUNIOR, D. C. ; NACIF, Jose Augusto Miranda ; FLAVIO MIANA DE PAULA . Refactoring Digital Hardware Designs with Assertions Libraries. In: IEEE Intl. HLDVT 2003, 2003, San Francisco. IEEE HLDVT 2003, 2003. p. 37-42.

• NACIF, Jose Augusto Miranda ; COELHO JUNIOR, C. J. N. ; SILVA JUNIOR, D. C. ; FERNANDES, Antonio Otavio ; FERNANDO CORTEZ SICA ; FLAVIO MIANA DE PAULA . An Assertion Library for On-chip White-Box Verification at Run-Time. In: 4th. Latin-American Test Workshop, 2003, Natal. IEEE LATW 2003, 2003. p. 98-101.

• ZUIM, R. L. ; COELHO JUNIOR, C. J. N. ; MOREIRA, L. F. E. ; FERNANDES, Antonio Otavio ; MATA, J. M. ; SILVA JUNIOR, D. C. . Dynamic Reconfiguration Behavior Using Generic FPGAs and FPIDs. In: 16th Symposium on Integrated Circuits and Systems Design, 2003, São Paulo. Proceedings of the 16th Symposium on Integrated Circuits and Systems Design. São Paulo: Reprints, 2003. p. 289-294.

• ANA LUIZA DE ALMEIDA PEREIRA ZUQUIM ; LUIZ FILIPE MENEZES VIEIRA ; MARCOS AUGUSTO MENEZES VIEIRA ; ALEX BORGES VIEIRA ; CARVALHO, H. S. ; NACIF, Jose Augusto Miranda ; COELHO JUNIOR, C. J. N. ; SILVA JUNIOR, D. C. ; FERNANDES, Antonio Otavio ; ANTONIO ALFREDO FERREIRA LOUREIRO . Efficient Power Managment in Real-Time Embedded Systems. In: Emerging Technologies and Factory Automation, 2003, Lisboa. Proceedings of the Emerging Technologies and Factory Automation. Lisboa, 2003. v. 1. p. 496-505.

• ANDRE LUIZ LINS DE AQUINO ; EDUARDO FREIRE NAKAMURA ; ROCHA, LINCOLN S. ; ANTONIO ALFREDO FERREIRA LOUREIRO ; COELHO JUNIOR, C. J. N. . Semi-Automatic Generatio of Monitoring Applications for Wireless Networks. In: Emerging Technologies and Factory Automation, 2003, Lisboa. Proceedings of the Emerging Technologies and Factory Automation. Lisboa, 2003. v. 1. p. 506-511.

• MARCOS AUGUSTO MENEZES VIEIRA ; COELHO JUNIOR, C. J. N. ; SILVA JUNIOR, D. C. ; MATA, J. M. . Survey on Wireless Sensor Network Devices. In: Emerging Technologies and Factory Automation, 2003, Lisboa. Proceedings of the Emerging Technologies and Factory Automation. Lisboa, 2003. v. 1. p. 537-544.

• COELHO JUNIOR, C. J. N. ; FERNANDES, Antonio Otavio ; JULIO CESAR DILLINGER CONWAY ; FABIO LUCIO CORREA JUNIOR ; CARVALHO, H. S. ; MATA, J. M. . A Biomedical Wearable Device for Remote Monitoring of Physi. In: Emerging Technologies and Factory Automation, 2003, Lisboa. Proceedings of the Emerging Technologies and Factory Automation. Lisboa, 2003. p. 708-716.

• ANDRE LUIZ LINS DE AQUINO ; EDUARDO FREIRE NAKAMURA ; ANTONIO ALFREDO FERREIRA LOUREIRO ; COELHO JUNIOR, C. J. N. . Bean Watcher: A Tool to Generate Multimedia Monitoring Applications for Wireless Sensor Networks. In: 6th IFIP/IEEE International Conference on Management of Multimedia Networks and Services, 2003, Northern Ireland. Proceedings of the 6th IFIP/IEEE International Conference on Management of Multimedia Networks and Services. Belfast, 2003. p. 128-141.

• CARVALHO, H. S. ; RIBEIRO NETO, B. ; COELHO JUNIOR, C. J. N. . Evidence Based Cardiovascular Information Retrieval. In: 14th World Congress on Cardiology, 2002, Austrália. 14th World Congress on Cardiology, 2002.

• COELHO JUNIOR, C. J. N. ; SILVA JUNIOR, D. C. ; PADRÃO, W. C. ; RODRIGUES, C. Á. ; MATA, J. M. ; FERNANDES, A. O. . Reengineering Embedded Systems for the Internet. In: IFAC, 2002, Barcelona. IFAC 2002, 2002.

• ANÍCIO, M. M. ; COELHO JUNIOR, C. J. N. ; FERNANDES, A. O. ; SILVA JR, D. C. . An Open Source Network Framework for Embedded Systems. In: XV Congreso de la Asociación Chilena de Control Automatico, 2002, Santiago de Chile. XV Congreso de la Asociación Chilena de Control Automatico, 2002.

• BELO, V. P. ; FERNANDES, Antonio Otavio ; SILVA JR, D. C. ; MATA, J. M. ; COELHO JUNIOR, C. J. N. . Ferramenta para Diagnóstico Automático de Falhas em Veículos Automotores OBD-II. In: XV Congreso de la Asociación Chilena de Control Automatico, 2002, Santiado de Chile. XV Congreso de la Asociación Chilena de Control Automatico, 2002.

• CARVALHO, H. S. ; COELHO JUNIOR, C. J. N. ; HEINZELMAN, W. B. . Gerenciamento de Informações Médicas do Paciente. In: Anais do VIII Congresso Brasileiro de Informática em Saúde, 2002, Natal. Anais do VIII Congresso Brasileiro de Informática em Saúde, 2002.

• FOSTER, H. ; COELHO JUNIOR, C. J. N. . A Method for Specifying Hardware Description Language Assertions Targeting A Diverse Set of Verification Tools. In: HDLCon 2001, 2001, Santa Clara. HDLCon, 2001.

• CONTE, T. ; MOTA, E. ; COELHO JUNIOR, C. J. N. . Validação de Diagramas UML RT. In: VI Workshop de Teses em Engenharia de Software, 2001, Rio de Janeiro, 2001.

• PEIXOTO, D. C. ; SILVA JR, D. C. ; MATA, J. M. ; COELHO JUNIOR, C. J. N. ; FERNANDES, A. O. . Translation of Hardware Description Languages to Structured Representation: a Tool for Digital System Analsys. In: XIII SBAC, 2001, Pirenópolis. XIII SBAC, 2001. p. 76-81.

• ALBUQUERQUE, J. ; COELHO JUNIOR, C. J. N. ; MATEUS, G. R. ; FERNANDES, A. O. ; SILVA JR, D. C. . Solving a Stochastic Formulation for Hardware/Software Codesign. In: Proceedings of 9th International Conference on Stochastic Programming - SIAG/OPT SP01, 2001, Berlin. Proceedings of 9th International Conference on Stochastic Programming - SIAG/OPT SP01, 2001.

• PIMENTEL, B. S. ; VALGAS FILHO, J. H. A. ; CAMPOS, R. L. ; COELHO JUNIOR, C. J. N. ; FERNANDES, Antonio Otavio . A FPGA Implementation of a DCT-Based Digital Electrocardiographic Signal Compression Device. In: 14th Symposium on Integrated Circuits and Systems - SBCCI 2001, 2001, Pirenópolis. 14th Symposium on Integrated Circuits and Systems - SBCCI 2001, 2001.

• ZUQUIM, A. L. ; COELHO JUNIOR, C. J. N. ; FERNANDES, Antonio Otavio ; OLIVEIRA, M. P. ; TAVARES, A. I. . An Embedded Converter from RS232 to Universal Serial Bus. In: 14th Symposium on Integrated Circuits and Systems - SBCCI 2001, 2001, Pirenópolis. 14th Symposium on Integrated Circuits and Systems - SBCCI 2001, 2001.

• COELHO JUNIOR, C. J. N. ; CARVALHO, H. S. ; CONWAY, J. ; SILVA JR, D. C. ; MATA, J. M. . Mobile Monitoring of Biomedical Signals: Technologies and Applications. In: ICSECIT - Intl. Conference on System Engineering, Communications and Information Technologies, 2001, Punta Arenas. ICSECIT - Intl. Conference on System Engineering, Communications and Information Technologies, 2001.

• CARVALHO, H. S. ; COELHO JUNIOR, C. J. N. ; SILVA JR, D. C. ; FERNANDES, A. O. . A Multiparametric Cardiac Controller System. In: II Latin American Congress of Artificial Organs and Biomaterials, 2001, Belo Horizonte. Proceedings of the II Latin American Congress of Artificial Organs and Biomaterials, 2001.

• OLIVEIRA, S. ; COELHO JUNIOR, C. J. N. ; LOUREIRO, A. A. F. . Telefonia IP para Ambientes Móveis Usáveis. In: Simpósio Brasileiro de Redes de Computadores (SBRC), 2001, Florianópolis. 19o. Simpósio Brasileiro de Redes de Computadores (SBRC), 2001.

• CONWAY, J. ; COELHO JUNIOR, C. J. N. ; SILVA JR, D. C. ; FERNANDES, A. O. ; CARVALHO, H. S. . Wearable Computer as a Multi-parametric Monitor for Physiological Signals. In: BIBE, 2000, Washington D.C.. BIBE 2000, 2000.

• CONTE, T. ; COELHO JUNIOR, C. J. N. ; MOTA, E. . Survey on Object Oriented Techniques for Embedded Systems. In: XV International Conference on Microeletronics and Packaging, 2000, Manaus. XV International Conference on Microeletronics and Packaging, 2000.

• PEREIRA, C. L. ; DUARTE, R. G. ; COELHO JUNIOR, C. J. N. ; SILVA JR, D. C. ; FERNANDES, A. O. ; AMBRÓSIO, L. L. ; CANAAN, L. H. . JADE: An Embedded Systems Specification, Code Generation and Optimization Tool . In: SBCCI XIII BRAZILIAN SYMPOSIUM ON INTEGRATED CIRCUIT DESIGN, 2000, Manaus. SBCCI XIII BRAZILIAN SYMPOSIUM ON INTEGRATED CIRCUIT DESIGN, 2000.

• ALBUQUERQUE, J. ; COELHO JUNIOR, C. J. N. . Avaliando o Hyperquicksort Utilizando uma NOW. In: 2a. Semana de Ciência da Computação da UFLA, 1999, Lavras. Anais da 2a. Semana de Ciência da Computação da UFLA, 1999.

• ALBUQUERQUE, J. ; COELHO JUNIOR, C. J. N. ; PAULA FILHO, W. P. ; FERNANDES, A. O. . Using PSP on Undergraduate Computer Science Program. In: 28th. International Conference of the Argentine Informatics and Operations Research Society (SADIO), 1999, Buenos Aires. Proceedings of the 28th. International Conference of the Argentine Informatics and Operations Research Society (SADIO). Buenos Aires, Argentina, 1999. p. 1-6.

• ALBUQUERQUE, J. ; COELHO JUNIOR, C. J. N. ; SILVA JUNIOR, D. C. ; FERNANDES, A. O. . System-Level Design Explorations. In: 4th International Conference on Microelectronics and Packaging, 1999, Campinas. Proceedings of the 4th International Conference on Microelectronics and Packaging, 1999. p. 332-342.

• ALBUQUERQUE, J. ; COELHO JUNIOR, C. J. N. ; CAVALCANTI, C. F. ; SILVA JUNIOR, D. C. ; FERNANDES, A. O. . System-level Partitioning Under Uncertainty. In: IEEE International Workshop on Hardware/Software Codesign, 1999, Roma, 1999. p. 198-202.

• MENDES, C. L. ; FERNANDES, Antonio Otavio ; COELHO JUNIOR, C. J. N. . SupsWeb: Gerenciamento de Nobreaks baseado na Web. In: Simposium Brasileiro de Telecomunicações, 1999, Rio de Janeiro, 1999.

• OLIVEIRA, M. P. ; FERNANDES, A. O. ; COELHO JUNIOR, C. J. N. . Deadline: Um Núcleo Multi-Tarefas Tolerante a Falhas para Sistemas de Tempo Real. In: VIII Simpósio de Computação Tolerante à Falhas, 1999, Campinas, 1999. p. 49-53.

• COELHO JUNIOR, C. J. N. ; SILVA JR, D. C. ; FERNANDES, A. O. . Hardware Software Codesign. In: SBCCI98 XI BRAZILIAN SYMPOSIUM ON INTEGRATED CIRCUIT DESIGN, 1998. BUZIOS, RJ. p. 2-9.

• TAVARES, R. C. M. ; COELHO JUNIOR, C. J. N. ; ARAUJO, A. A. ; FERNANDES, A. O. . Implementation Of An Edge Detection Algorithm In A Reconfigurable Computing System. In: SBCCI98 XI BRAZILIAN SYMPOSIUM ON INTEGRATED CIRCUIT DESIGN, 1998. p. 38-41.

• QUEIROZ, M. S. ; COELHO JUNIOR, C. J. N. ; SILVA JR, D. C. ; FERNANDES, A. O. . Rapid Prototyping Of Microcontroller Embedded Systems Using Esterel. In: XII SBMICRO/ICMP 98, 1998. CURITIBA, PR. v. I. p. 340-347.

• R, C. A. ; S JR, F. ; COELHO JUNIOR, C. J. N. ; FERNANDES, A. O. . JavaScope: Instrumentacao e Gerenciamento Virtuais Utilizando A World Wide Web. In: XXV SEMISH, 1998. BELO HORIZONTE, MG.

• ALBUQUERQUE, J. ; MEIRA, S. ; COELHO JUNIOR, C. J. N. . Practical Limits Of The Psp Model. In: SYMPOSIUM ON SOFTWARE TECHNOLOGY - SOST 27TH INTERNATIONAL CONFERENCE OF THE ARGENTINE INFORMATICS AND OPERATIONS RESEARCH SOCIETY (SADIO), 1998. BUENOS AIRES, ARGENTINA.

• MACEDO, E. M. ; S, G. P. ; COELHO JUNIOR, C. J. N. ; RIBEIRO-NETO, B. A. ; LUNA, H. P. L. ; MATEUS, G. R. ; BARBOSA, L. H. R. ; OLIVEIRA, F. F. ; SALLES, J. P. ; MENEZES, V. M. . Visualization Of Telecommunications Geographical Data. In: XXI AM/FM INTERNATIONAL, 1998. SAN JOSE, CA, USA. p. 677-685.

• BARRETO, R. S. ; COELHO JUNIOR, C. J. N. ; FERNANDES, A. O. . A Implementação de Uma Arquitetura de Suporte À Alta Disponibilidade de Objetos. In: SBAC/PAD, 1998. A Implementação de uma Arquitetura de Suporte à Alta Disponibilidade de Objetos. Búzios, RJ.

• SILVA JR, D. C. ; COELHO JUNIOR, C. J. N. ; FERNANDES, A. O. . System-Level Design. In: XII SBMICRO/ICMP 98, 1998. XII SBMICRO/ICMP 98. CURITIBA, PR. v. I. p. 81-91.

• MIANA, F. ; NATTRODT, P. ; MELO, J. C. ; FERNANDES, A. O. ; COELHO JUNIOR, C. J. N. . Mixed Ternary Logic And Symbolic Simulation In Hw/Sw Co-Simulation In Absence Of Information. In: VII SASIMI, 1997. OSAKA, JAPAO. p. 118-122.

• MIANA, F. ; PADRAO, W. ; OLIVEIRA, J. ; FERNANDES, A. O. ; MELO, J. C. ; COELHO JUNIOR, C. J. N. . A Rapid Reconfigurable Vliw Coprocessor For Ternary Emulation Of Digital Designs. In: I WORKSHOP EM ARQUITETURAS RECONFIGURAVEIS, 1997. CAMPOS DO JORDAO, SP, BRASIL. p. 20-29.

• TAVARES, R. ; COELHO JUNIOR, C. J. N. ; FERNANDES, A. O. ; COELHO JR, C. ; KITAJIMA, J. P. W. . Um Sistema de Baixo Custo Para Prototipacao de Arquiteturas Reconfiguraveis. In: I WORKSHOP EM ARQUITETURAS RECONFIGURAVEIS, 1997. CAMPOS DO JORDAO, SP, BRASIL. p. 30-39.

• COELHO JR, C. ; COELHO JUNIOR, C. J. N. ; FERNANDES, A. O. ; MICHELI, G. . Reducing Coding Style Effects In High-Level Specifications. In: X BRAZILIAN SYMPOSIUM ON INTEGRATED CIRCUIT DESIGN (SBCCI), 1997. GRAMADO, RS, BRASIL.

• MIANA, F. ; NATTRODT, P. ; MELO, J. C. ; FERNANDES, A. O. ; COELHO JUNIOR, C. J. N. . Mixed Symbolic and Ternary Logic Simulation Techniques for the Verification of Processor-Based Systems. In: Simpósio Brasileiro de Arquitetura de Computadores (SBAC), 1997, 1997.

• MACEDO, A. ; OLIVEIRA, D. V. ; CAMPOS, R. L. ; FERNANDES, A. O. ; COELHO JUNIOR, C. J. N. ; KITAJIMA, J. P. W. . Um Co-processador para Pesquisa Binária em Arquivo Invertido Utilizando FPGA's. In: I Workshop em Arquiteturas Reconfiguráveis, 1997, Campos do Jordão, 1997.

• JAIN, J. ; COELHO JUNIOR, C. J. N. ; NARAYAN, A. ; COELHO JR, C. ; KHATRI, S. ; SANGIOVANNI-VINCENTELLI, A. ; BRAYTON, R. ; FUJITA, M. . Decomposition Techniques For Efficient Robdd Construction. In: FORMAL METHODS IN COMPUTER-AIDED DESIGN, 1996. LECTURE NOTES IN COMPUTER SCIENCE 1166. PALO ALTO, CA, USA. p. 419-434.

• III, V. M. ; COELHO JUNIOR, C. J. N. ; SAKAMOTO, T. ; MICHELI, G. . Synthesis From Mixed Specifications. In: EURODAC, 1996. GENEBRA, SUICA. p. 114-119.

• COELHO JUNIOR, C. J. N. ; OLIVEIRA, M. ; MIRANDA, M. ; GONÇALVES, C. ; MIANA, F. ; FERNANDES, A. O. . Rapid Prototyping Of Embedded I/O Subsystems. In: CONGRESSO DA SBMICRO, 1996. AGUAS DE LINDOIA, SP, BRASIL.

• BENINI, L. ; VUILLOD, P. ; COELHO JUNIOR, C. J. N. ; MICHELI, G. . Synthesis of Low-Power Partially Clocked Systems from High-Level Specifications. In: ISSS, 1996, 1996.

• III, V. M. ; COELHO JUNIOR, C. J. N. ; MICHELI, G. . A Multiple Paradigm Front-End For Hardware-Software Synthesis. In: WORKSHOP ON HIGH-LEVEL SYNTHESIS ALGORITHMS, TOOLS AND DESIGN (HILES), 1995. PALO ALTO, CA, USA. p. 95-101.

• COELHO JUNIOR, C. J. N. ; MICHELI, G. . Analysis And Synthesis Of Concurrent Digital Circuits Using Control-Flow Expressions. In: WORKSHOP ON HIGH-LEVEL SYNTHESIS ALGORITHMS, TOOLS AND DESIGN (HILES), 1995. PALO ALTO, CA, USA. p. 151-198.

• COELHO JR, C. ; COELHO JUNIOR, C. J. N. ; MICHELI, G. . Software Synchronization Using Control-Flow Expressions. In: WORKSHOP ON HIGH-LEVEL SYNTHESIS ALGORITHMS, TOOLS AND DESIGN (HILES), 1995. PALO ALTO, CA, USA. p. 148-150.

• COELHO JUNIOR, C. J. N. ; YANG, J. ; III, V. M. ; MICHELI, G. . Redesigning Hardware-Software Systems. In: THIRD INTERNATIONAL WORKSHOP ON HARDWARE-SOFTWARE CODESIGN, 1994. GRENOBLE, FRANCE.

• COELHO JUNIOR, C. J. N. ; CHEN, K. C. ; FUJITA, M. . Formal Verification Of Verilog Descriptions. In: INTERNATIONAL COMPUTER SYMPOSIUM, 1994. HSINCHU, TAIWAN. p. 1024-1029.

• COELHO JUNIOR, C. J. N. ; MICHELI, G. . Dynamic Scheduling and Synchronization Synthesis of Concurrent Digital Systems under System-Level Constraints. In: International Conference on Computer-Aided Design - ICCAD'94, 1994, 1994.

• COELHO JUNIOR, C. J. N. ; KU, D. ; MICHELI, G. . An Algebra for Modeling Concurrent Digital Systems. In: ACM International Workshop on Timing Issues in the Specification and Synthesis of Digital Systems, 1993, 1993.

• GUPTA, R. ; COELHO JUNIOR, C. J. N. ; MICHELI, G. . Synthesis and Simulation of Digital Systems Containing Interacting Hardware and Software Components. In: Design Automation Conference, 1992, 1992.

• GUPTA, R. ; COELHO JUNIOR, C. J. N. ; MICHELI, G. . Program Implementation Schemes for Hardware-Software Systems. In: Proc. of the ACM Workshop on Hardware-Software Codesign, 1992, 1992.

• COELHO JUNIOR, C. J. N. . Interface Optimization for Concurrent Systems under Timing Constraints Using Interface Matching. In: Proc. of the International High-Level Synthesis Workshop, 1992, 1992.

• COELHO JUNIOR, C. J. N. ; MATA, J. . PALETA - Um Sistema para Geracao de Bibliotecas de Celulas. In: V Congresso da Sociedade Brasileira de Microeletronica V SBMicro, 1990, 1990.

• VINICIUS COELHO DE ALMEIDA ; BRENO AUGUSTO DIAS VITORINO ; LUIZ FILIPE MENEZES VIEIRA ; MARCOS AUGUSTO MENEZES VIEIRA ; FERNANDES, Antonio Otavio ; SILVA JUNIOR, D. C. ; COELHO JUNIOR, C. J. N. . Microkernel for Nodes of Wireless Sensor Networks. In: SBCCI Student Forum, 2003, Sao Paulo. Student Forum 2003, 2003.

• BRENO AUGUSTO DIAS VITORINO ; LUIZ FILIPE MENEZES VIEIRA ; MARCOS AUGUSTO MENEZES VIEIRA ; VINICIUS COELHO DE ALMEIDA ; FERNANDES, Antonio Otavio ; SILVA JUNIOR, D. C. ; COELHO JUNIOR, C. J. N. . Middleware for Wireless Sensor Networks. In: SBCCI Student Forum, 2003, Sao Paulo. Student Forum 2003, 2003.

• MARCIA CAROLINA MARRA DE OLIVEIRA ; FERNANDES, Antonio Otavio ; NACIF, Jose Augusto Miranda ; COELHO JUNIOR, C. J. N. . XROACH: A TOOL FOR GENERATION OF EMBEDDED ASSERTIONS. In: SBCCI Student Forum, 2003, Sao Paulo. Student Forum 2003, 2003.

• CARVALHO, H. S. ; COELHO JUNIOR, C. J. N. ; HEINZELMAN, W. B. ; NACIF, J. A. ; MOREIRA, L. F. E. ; FERNANDES, A. O. . Mobile and Reconfigurable EKG Monitoring System. In: International Congress on Biological and Medical Engineering, 2002, Cingapura. International Congress on Biological and Medical Engineering, 2002.

• ALBUQUERQUE, J. ; COELHO JUNIOR, C. J. N. . Particionamento Hardware/Software Usando Programação Linear Estocástica. In: Anais do V Encontro Regional da Sociedade Brasileira de Matemática Aplicada e Computacional, 1999, Belo Horizonte. Anais do V Encontro Regional da Sociedade Brasileira de Matemática Aplicada e Computacional, 1999. p. 33.

• ALBUQUERQUE, J. ; COELHO JUNIOR, C. J. N. . A Stochastic Model For Risk Analysis In Hardware/Software Codesign. In: XXI CNMAC - CONGRESSO NACIONAL DE MATEMATICA APLICADA E COMPUTACIONAL, 1998. MG.

• SILVA, F. M. ; COELHO JUNIOR, C. J. N. . Utilização de Dispositivos Programáveis para Ensino de Sistemas Lógicos e para Projeto Integrados de Hardware e Software. In: VI Semana de Iniciação Científica da UFMG, 1997, 1997.

• OLIVEIRA, S. ; COELHO JUNIOR, C. J. N. . Especificação e Desenvolvimento de Device Driver para Placas de Rede Ethernet e Fast Ethernet. In: VI Semana de Iniciação Científica da UFMG, 1997, 1997.

• SANTOS, D. A. S. ; PÁDUA, C. I. P. S. ; COELHO JUNIOR, C. J. N. ; SIQUEIRA, J. . SIMSEL - Simplificador Sintático de Expressões Lógicas. In: VI Semana de Iniciação Científica da UFMG, 1997, 1997.

• COELHO JUNIOR, C. J. N. . Gravador de Eprom. In: I SEMINARIO ESTADUAL DE PRODUCAO E INICIACAO CIENTIFICA, 1988. BELO HORIZONTE, MINAS GERAIS. p. 0-0.

• COELHO JUNIOR, C. J. N. . Controlador Grafico de Media Resolucao. In: I SEMINARIO ESTADUAL DE PRODUCAO E INICIACAO CIENTIFICA, 1988. BELO HORIZONTE, MINAS GERAIS. p. 0-0.

• Safe, Georgia Penido ; COELHO JUNIOR, C. J. N. ; Vieira, Luiz Filipe M. ; Do Val, Celina Gomes ; Nacif, Jose Augusto ; FERNANDES, Antonio Otavio . Selection of formal verification heuristics for parallel execution. International Journal on Software Tools for Technology Transfer (Print) , 2011.

• COELHO JUNIOR, C. J. N. ; MACEDO, E. ; OLIVEIRA, F. ; LUNA, H. ; PROSDOCIMI, K. ; BARBOSA, L. ; ALVIM, S. ; MENEZES, V. . Sistema SEFE-Geo 2.0, Especificação de Requisitos. Belo Horizonte: Relatório Técnico DCC.004/97, 1997 (Publicação de Relatório Técnico - Divulgação Científica (Classificação CNCT, inexistente para CNPq &).

• COELHO JUNIOR, C. J. N. ; OLIVEIRA, F. ; BARBOSA, L. ; CARNEIRO, T. . Plano de Desenvolvimeto do Sistema SEFE-Geo 2.0. Belo Horizonte: Relatório Técnico DCC.012/97, 1997 (Publicação de Relatório Técnico - Divulgação Científica (Classificação CNCT, inexistente para CNPq &).

• MIANA, F. ; COELHO JUNIOR, C. J. N. ; FERNANDES, A. O. . RAM Testing Algorithms Library in C. Relatório Técnico DCC.018/97, 1997 (Publicação de Relatório Técnico - Divulgação Científica (Classificação CNCT, inexistente para CNPq &).

• COELHO JUNIOR, C. J. N. . Analysis and Synthesis of Concurrent Digital Circuits Using Control-Flow Expressions. Stanford: Stanford University, 1996 (Publicação de Relatório Técnico - Divulgação Científica (Classificação CNCT, inexistente para CNPq &).

• OLIVEIRA, M. P. ; COELHO JUNIOR, C. J. N. ; CAMPOS, M. . Um Sistema Modular Baseado em Microprocessadores. Belo Horizonte: Relatório Técnico DCC.033/96, 1996 (Publicação de Relatório Técnico - Divulgação Científica (Classificação CNCT, inexistente para CNPq &).

• JAIN, J. ; NARAYAN, A. ; COELHO JUNIOR, C. J. N. ; KHATRI, S. ; SANGIOVANNIVINCENTELLI, A. ; BRAYTON, R. ; FUJITA, M. . Combining Top-down and Bottom-up approaches for ROBDD Construction. Berkeley: University of California Berkeley Technical Report UCB/ERL M95/30, 1995 (Publicação de Relatório Técnico - Divulgação Científica (Classificação CNCT, inexistente para CNPq &).

• COELHO JUNIOR, C. J. N. . GARAPA - Um Gerador de Celulas de Altura Padrão para Projeto de Circuitos Integrados 1990 (Publicação de Relatório Técnico - Divulgação Científica (Classificação CNCT, inexistente para CNPq &).

Outras produções

Projetos de pesquisa

• 2003 - Atual

  Projeto Tropical Bio Miner - Construção de Base de Dados de Extratos, Moléculas e Proteínas Tropicais para Bioinformática a partir de Informações Estruturadas e Não-Estruturadas na Web. Aprovado no Edital CNPq 04/2003/Bioinformática. Processo CNPq 40.1979, Descrição: Este trabalho objetiva a pesquisa de novas ferramentas para criar bases de dados de extratos, moléculas e protéinas apropriados para a indústria farmacêutica. Estas bases de dados demandam um enorme esforço de manutenção. A fim de montarmos as bases de dados descritas neste projetos, pretendemos pesquisar de forma automática bases de dados existentes, publicações e bases de patentes existentes no Brasil e no mundo. Estas bases anotadas permitirão o rápido teste via molucular docking de novos alvos. A fim de validarmos esta técnica, pretendemos extender a base de extratos tropicais da Biominas para anotá-la com base em informações descobertas na Web. Estes dados serão validados utilizando a base resultante para a busca de alvos para o S. mansoni, após a anotação de dados de sua estrutura e anotação funcional.. , Situação: Em andamento; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (0) / Especialização: (0) / Mestrado acadêmico: (0) / Mestrado profissional: (0) / Doutorado: (0) . , Integrantes: Claudionor Jose Nunes Coelho Junior - Coordenador / Alberto Henrique Frade Laender - Integrante / Guilherme Correa de Oliveira - Integrante / François Artiguenave - Integrante / Hao Chi Wong - Integrante., Financiador(es): Fundação Biominas - Cooperação / Fundação Oswaldo Cruz - Cooperação.

• 2003 - Atual

  Projeto: Sistemas de Computação Integrados em Chips. Aprovado no Edital Universal CNPq 01/2002. Processo CNPQ 47.5513/2003-7. Coordenador do Projeto., Descrição: O projeto visa o desenvolvimento de novas metodologias de implementação de Sistemas de Computação Integrados em Chip. Tais sistemas podem se apresentar de duas maneiras: sistemas embutidos (as vezes chamados de sistemas embarcados) quando usam componentes de prateleira e são implentados em placas de circuito impresso; e SoC (systems-on-chip) quando todos os componentes estão integrados em um único "chip" ou circuito integrado. Para realizar sistemas embutidos são usados microcontroladores comerciais, para implementar SoCs são usados componentes descritos em linguagens de escrição de hardware, chamados de macros, IP (intellectual property), ou VC (virtual components). Novas metodologias se fazem necessárias visto que o paradigma usado para o projeto de sistemas embutidos ou sistemas digitais não são mais suficientes. Novas técnicas de especificação e descrição de macros virtuais são necessárias e precisam ser exploradas. Outro problema que se apresenta é a forma em que estes componentes se comunicam entre si e que possam permitir o seu re-uso, fator fundamental para a sua aceitação comercial.. , Situação: Em andamento; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (0) / Especialização: (0) / Mestrado acadêmico: (0) / Mestrado profissional: (0) / Doutorado: (0) . , Integrantes: Claudionor Jose Nunes Coelho Junior - Coordenador / Diogenes Cecilio da Silva Junior - Integrante.

• 2002 - Atual

  Projeto: ARGO - DCC. Aprovado no Edital CT-INFO: FINEP 01/2002. Processo CNPq 68.0032/2003-7., Descrição: O objetivo deste projeto é desenvolver uma ferramenta de modelagem UML baseada no projeto opne-source ArgoUML, implementando uma interace para que permita o acréscimo de Plug-ins de forma que a ferramenta atenda as necessidades do mercado. A codificação será feita inteiramente em Java e deverá permitir intercâmibio com outras ferrametnas de modelagem de mercado, importando e exportando projetos dentro de padrões XMI e XML.. , Situação: Em andamento; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (3) / Especialização: (1) / Mestrado acadêmico: (5) / Mestrado profissional: (0) / Doutorado: (1) . , Integrantes: Claudionor Jose Nunes Coelho Junior - Coordenador., Financiador(es): Incubadora de Empresas de Base Tecnológica Em Informática de Belo Horizonte - Cooperação / Mobile Solution Technology - Cooperação.

Prêmios