Instituto de Sistemas Embarcados Críticos (ISEC)

• Processo: 08/57870-9
• Modalidade de apoio: Auxílio à Pesquisa - Temático
• Vigência: 01 de março de 2009 - 28 de fevereiro de 2014
• Área do conhecimento: Ciências Exatas e da Terra - Ciência da Computação - Metodologia e Técnicas da Computação
• Convênio/Acordo: CNPq - INCTs
• Pesquisador responsável: Jose Carlos Maldonado
• Beneficiário: Jose Carlos Maldonado
• Instituição Sede: Instituto de Ciências Matemáticas e de Computação (ICMC). Universidade de São Paulo (USP). São Carlos , SP, Brasil
• Auxílios(s) vinculado(s): 13/12432-2 - 18th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA'2013), AR.EXT; 13/02325-4 - 13th International Conference on Computational Science (ICCS 2013), AR.EXT; 09/14615-1 - Redes de sensores sem fio e redes ad hoc veiculares: algoritmos e protocolos, AV.EXT
• Bolsa(s) vinculada(s): 13/05750-8 - Teste Estrutural de Programas Concorrentes como uma Composição de Serviços na Web, BP.MS; 13/16352-3 - Geração e análise dinâmica do espaço de estados de redes de Petri com uso interativo do software CPN tools, BP.IC; 12/14043-0 - Arquitetura de software para robôs, interfaces humano-robôs e a qualidade de vida das pessoas, BE.PQ; + mais bolsas vinculadas 11/04416-1 - Desenvolvimento de um mecanismo plug-and-play para arranjos de sensores inteligentes em sistemas aéreos não tripulados, BP.MS; 11/19051-9 - Aplicando o modelo de teste estrutural para programas concorrentes em Java, BP.IC; 11/06022-0 - Uma contribuição ao projeto arquitetural de sistemas robóticos baseados na arquitetura orientada a serviço, BP.DR; 11/06086-9 - Arquitetura Orientada a Serviços para Sistemas Embarcados Críticos Complexos - Um Estudo de Caso Focado em Aviônicos, BP.DR; 10/04001-3 - Subsídios para a Aplicação de Métodos de Geração de Casos de Testes Baseados em Máquinas de Estados, BP.MS; 10/17005-7 - Visualização 3D em Dispositivos Móveis para Simulações de Treinamento, BP.IC; 10/02839-0 - Teste de aplicações distribuídas: desafios usando o paradigma de passagem de mensagens, BE.PQ; 09/17720-0 - Sistemas autônomos para comunicação em VANTs por meio de DTN., BP.DR; 09/18430-6 - SIPAI: Sistema de Informação para Provimento de Acesso Integrado, BP.PD; 09/04959-5 - Projeto de Sistema Crítico para Transmissão de Vídeo em um Link de Comunicação para VANTs, BP.MS - menos bolsas vinculadas
• Assunto(s): Robótica Sistemas embarcados críticos Controle inteligente Softwares Veículos autônomos
• Palavra(s)-Chave do Pesquisador: Controle Inteligente | Robotica | Sistemas Embarcados Criticos | Software Embarcado | Voo Autonomo

Resumo

A criação de um Instituto de Sistemas Embarcados Críticos é proposta neste projeto. O objetivo geral desse instituto é elevar o nível de conhecimento, competência e qualidade no país sobre o desenvolvimento desse tipo de sistema, considerando que se trata de tecnologia importante para apoiar o desenvolvimento de áreas estratégicas do país, como a do meio ambiente, a de segurança e defesa e a de agricultura. O projeto é abrangente e envolve grupos de pesquisadores de nove universidades brasileiras e sete empresas. Os principais objetivos mais específicos são o desenvolvimento de pesquisas para a construção de sistemas embarcados críticos com ênfase para veículos autônomos móveis e a construção de pelo menos dois protótipos de veículo, um aéreo e um terrestre, com o objetivo de serem transferidos para as empresas associadas, visando a possível fabricação e comercialização. Outros objetivos relevantes são a produção de uma metodologia que documente esse conhecimento e possa ser usada para o treinamento de pessoal formado na área; a produção de mestres e doutores e produção intelectual na forma de artigos científicos apresentados e publicados em conferências e periódicos de boa qualidade, bem como de patentes. (AU)

Publicações científicas

(53)

(Referências obtidas automaticamente do Web of Science e do SciELO, por meio da informação sobre o financiamento pela FAPESP e o número do processo correspondente, incluída na publicação pelos autores)

BEDER, DELANO MEDEIROS; UEYAMA, JO; DE ALBUQUERQUE, JOAO PORTO; CHAIM, MARCOS LORDELLO. FlexFT: A Generic Framework for Developing Fault-Tolerant Applications in the Sensor Web. International Journal of Distributed Sensor Networks, 2013. (08/57870-9, 08/05346-4, 08/58161-1)

MENOTTI, RICARDO; CARDOSO, JOAO M. P.; FERNANDES, MARCIO M.; MARQUES, EDUARDO. LALP: A Language to Program Custom FPGA-Based Acceleration Engines. INTERNATIONAL JOURNAL OF PARALLEL PROGRAMMING, v. 40, n. 3, SI, p. 262-289, JUN 2012. (08/57870-9)

AGUIAR, ALEXANDRA; HESSEL, FABIANO. Current techniques and future trends in embedded system's virtualization. SOFTWARE-PRACTICE & EXPERIENCE, v. 42, n. 7, SI, p. 917-944, JUL 2012. (08/57870-9)

OLIVEIRA, LUCAS BUENO RUAS; LEROUX, ELENA; FELIZARDO, KATIA ROMERO; OQUENDO, FLAVIO; NAKAGAWA, ELISA YUMI. ArchSORS: A Software Process for Designing Software Architectures of Service-Oriented Robotic Systems. COMPUTER JOURNAL, v. 60, n. 9, p. 1363-1381, SEP 2017. (11/23316-8, 14/02244-7, 14/24734-6, 11/06022-0, 08/57870-9)

PESSIN, GUSTAVO; OSORIO, FERNANDO S.; SOUZA, JEFFERSON R.; UEYAMA, JO; COSTA, FAUSTO G.; WOLF, DENIS F.; DIMITROVA, DESISLAVA; BRAUN, TORSTEN; VARGAS, PATRICIA A.. INVESTIGATION ON THE EVOLUTION OF AN INDOOR ROBOTIC LOCALIZATION SYSTEM BASED ON WIRELESS NETWORKS. APPLIED ARTIFICIAL INTELLIGENCE, v. 27, n. 8, p. 743-758, SEP 14 2013. (08/57870-9, 08/05346-4)

CHAIM, MARCOS LORDELLO; ANDRIOLI DE ARAUJO, ROBERTO PAULO. An efficient bitwise algorithm for intra-procedural data-flow testing coverage. INFORMATION PROCESSING LETTERS, v. 113, n. 8, p. 293-300, APR 30 2013. (08/57870-9)

SHINZATO, PATRICK YURI; WOLF, DENIS FERNANDO. A Road Following Approach Using Artificial Neural Networks Combinations. JOURNAL OF INTELLIGENT & ROBOTIC SYSTEMS, v. 62, n. 3-4, p. 527-546, JUN 2011. (08/57870-9)

VILLAS, LEANDRO A.; BOUKERCHE, AZZEDINE; GUIDONI, DANIEL L.; DE OLIVEIRA, HORACIO A. B. F.; DE ARAUJO, REGINA BORGES; LOUREIRO, ANTONIO A. F.. An energy-aware spatio-temporal correlation mechanism to perform efficient data collection in wireless sensor networks. COMPUTER COMMUNICATIONS, v. 36, n. 9, p. 1054-1066, MAY 15 2013. (08/57870-9)

VILLAS, LEANDRO A.; BOUKERCHE, AZZEDINE; DE OLIVEIRA, HORACIO A. B. F.; DE ARAUJO, REGINA B.; LOUREIRO, ANTONIO A. F.. A spatial correlation aware algorithm to perform efficient data collection in wireless sensor networks. Ad Hoc Networks, v. 12, n. SI, p. 69-85, JAN 2014. (08/57870-9)

PESSIN, GUSTAVO; OSORIO, FERNANDO S.; SOUZA, JEFFERSON R.; COSTA, FAUSTO G.; UEYAMA, JO; WOLF, DENIS F.; BRAUN, TORSTEN; VARGAS, PATRICIA A.; JAYNE, C; YUE, S; et al. Evolving an Indoor Robotic Localization System Based on Wireless Networks. ENGINEERING APPLICATIONS OF NEURAL NETWORKS, v. 311, p. 2-pg., 2012-01-01. (08/57870-9)

DOS SANTOS, EDIMILSON BATISTA; TEODORO MENDES, CAIO CESAR; OSORIO, FERNANDO SANTOS; WOLF, DENIS FERNANDO; IEEE. Bayesian Networks for Obstacle Classification in Agricultural Environments. 2013 16TH INTERNATIONAL IEEE CONFERENCE ON INTELLIGENT TRANSPORTATION SYSTEMS - (ITSC), v. N/A, p. 6-pg., 2013-01-01. (11/21483-4, 08/57870-9)

ROCHA, RAFAELA V.; CAMPOS, MARCIO R.; BOUKERCHE, AZZEDINE; ARAUJO, REGINA B.; BOUKERCHE, A; CAHILL, V; ELSADDIK, A; THEODOROPOULOS, G; WALSHE, R. From Behavior Modeling to Communication, 3D Presentation and Interaction: an M&S life cycle for serious games for training. 2012 IEEE/ACM 16TH INTERNATIONAL SYMPOSIUM ON DISTRIBUTED SIMULATION AND REAL TIME APPLICATIONS (DS-RT), v. N/A, p. 8-pg., 2012-01-01. (08/57870-9, 10/07179-8)

SEMPREBOM, T.; ZOMER, G.; MILACK, A.; MONTEZ, C.; PINTO, A. R.; IEEE. (m,k)-Gur Game: Exploiting Message Discards in order to Increase the Lifetime and Spatial Diversity in Autonomic Wireless Sensor Networks. 2012 BRAZILIAN SYMPOSIUM ON COMPUTING SYSTEM ENGINEERING (SBESC 2012), v. N/A, p. 6-pg., 2012-01-01. (08/57870-9)

FORTALEZA, LUIZ LEANDRO; COSTA VIEIRA, SERGIO ROBERTO; MATOS JUNIOR, OLAVO OLIMPIO; PRIKLADNICKI, RAFAEL; CONTE, TAYANA; ARDIS, M; COWLING, T; BOHNER, S. Using Distributed Software Development in the Improvement of Communication and Collaboration Skills in SE Courses: An Observational Study. 2013 IEEE 26TH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING EDUCATION AND TRAINING (CSEE&T), v. N/A, p. 10-pg., 2013-01-01. (08/57870-9)

MARCON, CESAR; AMORY, ALEXANDRE; WEBBER, THAIS; BORTOLON, FELIPE T.; VOLPATO, THOMAS; MUNARETO, JADER; IEEE. An Implementation of a Distributed Fault-Tolerant Mechanism for 2D Mesh NoCs. RAPID SYSTEM PROTOTYPING: SHORTENING THE PATH FROM SPECIFICATION TO PROTOTYPE (RSP 2013), v. N/A, p. 6-pg., 2013-01-01. (08/57870-9)

AGUIAR, ALEXANDRA; HESSEL, FABIANO. Current techniques and future trends in embedded system's virtualization. SOFTWARE-PRACTICE & EXPERIENCE, v. 42, n. 7, p. 28-pg., 2012-07-01. (08/57870-9)

SEMPREBOM, TIAGO; PINTO, A. R.; MONTEZ, CARLOS; VASQUES, FRANCISCO; IEEE. Energy Consumption and Spatial Diversity Trade-off in Autonomic Wireless Sensor Networks: The (m, k)-Gur Game Approach. 2013 11TH IEEE INTERNATIONAL CONFERENCE ON INDUSTRIAL INFORMATICS (INDIN), v. N/A, p. 6-pg., 2013-01-01. (08/57870-9)

BEDER, DELANO MEDEIROS; UEYAMA, JO; DE ALBUQUERQUE, JOAO PORTO; CHAIM, MARCOS LORDELLO. FlexFT: A Generic Framework for Developing Fault-Tolerant Applications in the Sensor Web. INTERNATIONAL JOURNAL OF DISTRIBUTED SENSOR NETWORKS, v. N/A, p. 12-pg., 2013-01-01. (08/58161-1, 08/57870-9, 08/05346-4)

AGUIAR, ALEXANDRA; FILHO, SERGIO J.; MAGALHAES, FELIPE G.; CASAGRANDE, THIAGO D.; HESSEL, FABIANO; IEEE. Hellfire: A Design Framework for Critical Embedded Systems' Applications. PROCEEDINGS OF THE ELEVENTH INTERNATIONAL SYMPOSIUM ON QUALITY ELECTRONIC DESIGN (ISQED 2010), v. N/A, p. 8-pg., 2010-01-01. (08/57870-9)

BARRETO, RAIMUNDO; CORDEIRO, LUCAS; FISCHER, BERND; IEEE COMP SOC. Verifying Embedded C Software with Timing Constraints using an Untimed Bounded Model Checker. 2011 BRAZILIAN SYMPOSIUM ON COMPUTING SYSTEM ENGINEERING (SBESC), v. N/A, p. 7-pg., 2011-01-01. (08/57870-9)

RODRIGUES, DOUGLAS; ESTRELLA, JULIO C.; BRANCO, KALINKA R. L. J. C.. Analysis of Security and Performance Aspects in Service-Oriented Architectures. INTERNATIONAL JOURNAL OF SECURITY AND ITS APPLICATIONS, v. 5, n. 1, p. 18-pg., 2011-01-01. (08/57870-9)

SCHOABA, VAGNER; GOMES SIKANSI, FELIPE EDUARDO; PIGATTO, DANIEL FERNANDO; BRANCO, KALINKA CASTELO; BRANCO, LUIZ CASTELO. Digital Signature for Mobile Devices: A New Implementation and Evaluation. INTERNATIONAL JOURNAL OF FUTURE GENERATION COMMUNICATION AND NETWORKING, v. 4, n. 2, p. 14-pg., 2011-06-01. (08/57870-9, 10/07943-0)

COHEN, DAVID; VALENTIN, EDUARDO; BARRETO, RAIMUNDO; OLIVEIRA, HORACIO; CORDEIRO, LUCAS; IEEE. A Car Racing Based Strategy for the Dynamic Voltage and Frequency Scaling Technique. 2012 IEEE INTERNATIONAL SYMPOSIUM ON INDUSTRIAL ELECTRONICS (ISIE), v. N/A, p. 6-pg., 2012-01-01. (08/57870-9)

MORAES, FERNANDO; MOREIRA, MATHEUS; LUCAS, CARLO; CORREA, DAIRAN; CARDOSO, DOUGLAS; MAGNAGUAGNO, MAURICIO; CASTILHOS, GUILHERME; CALAZANS, NEY; IEEE. A Generic FPGA Emulation Framework. 2012 19th IEEE International Conference on Electronics, Circuits and Systems (ICECS), v. N/A, p. 4-pg., 2012-01-01. (08/57870-9)

MAEDA SAITO, PRISCILA TIEMI; SABATINE, RICARDO JOSE; WOLF, DENIS FERNANDO; BRANCO, KALINKA R. L. J. C.. An Analysis of Parallel Approaches for a Mobile Robotic Self-localization Algorithm. INTERNATIONAL JOURNAL OF FUTURE GENERATION COMMUNICATION AND NETWORKING, v. 2, n. 4, p. 15-pg., 2009-12-01. (08/57870-9)

PINTO, A. R.; MONTEZ, C.; ARAUJO, G.; VASQUES, F.; PORTUGAL, P.. An approach to implement data fusion techniques in wireless sensor networks using genetic machine learning algorithms. Information Fusion, v. 15, n. SI, p. 90-101, JAN 2014. (08/57870-9)

PINTO FERRAZ FABBRI, SANDRA CAMARGO; FELIZARDO, KATIA ROMERO; FERRARI, FABIANO CUTIGI; MONTORO HERNANDES, ELIS CRISTINA; OCTAVIANO, FABIO ROBERTO; NAKAGAWA, ELISA YUMI; MALDONADO, JOSE CARLOS. Externalising tacit knowledge of the systematic review process. IET Software, v. 7, n. 6, SI, p. 298-307, DEC 2013. (08/57870-9, 12/02524-4)

FERNANDES, LEANDRO C.; SOUZA, JEFFERSON R.; PESSIN, GUSTAVO; SHINZATO, PATRICK Y.; SALES, DANIEL; MENDES, CAIO; PRADO, MARCOS; KLASER, RAFAEL; MAGALHAES, ANDRE CHAVES; HATA, ALBERTO; et al. CaRINA Intelligent Robotic Car: Architectural design and applications. JOURNAL OF SYSTEMS ARCHITECTURE, v. 60, n. 4, p. 372-392, APR 2014. (08/57870-9)

FAICAL, BRUNO S.; COSTA, FAUSTO G.; PESSIN, GUSTAVO; UEYAMA, JO; FREITAS, HEITOR; COLOMBO, ALEXANDRE; FINI, PEDRO H.; VILLAS, LEANDRO; OSORIO, FERNANDO S.; VARGAS, PATRICIA A.; et al. The use of unmanned aerial vehicles and wireless sensor networks for spraying pesticides. JOURNAL OF SYSTEMS ARCHITECTURE, v. 60, n. 4, p. 393-404, APR 2014. (08/57870-9)

FILHO, GERALDO P. R.; UEYAMA, JO; VILLAS, LEANDRO A.; PINTO, ALEX R.; GONCALVES, VINICIUS P.; PESSIN, GUSTAVO; PAZZI, RICHARD W.; BRAUN, TORSTEN. NodePM: A Remote Monitoring Alert System for Energy Consumption Using Probabilistic Techniques. SENSORS, v. 14, n. 1, p. 848-867, JAN 2014. (12/22550-0, 08/57870-9, 12/11206-6)

VILLAS, LEANDRO APARECIDO; BOUKERCHE, AZZEDINE; RAMOS, HEITOR SOARES; FERNANDES DE OLIVEIRA, HORACIO A. B.; DE ARAUJO, REGINA BORGES; FERREIRA LOUREIRO, ANTONIO ALFREDO. DRINA: A Lightweight and Reliable Routing Approach for In-Network Aggregation in Wireless Sensor Networks. IEEE TRANSACTIONS ON COMPUTERS, v. 62, n. 4, p. 676-689, APR 2013. (08/57870-9)

SOUZA, PAULO S. L.; SOUZA, SIMONE R. S.; ZALUSKA, ED. Structural testing for message-passing concurrent programs: an extended test model. CONCURRENCY AND COMPUTATION-PRACTICE & EXPERIENCE, v. 26, n. 1, p. 21-50, JAN 2014. (10/02839-0, 08/57870-9)

SALES, DANIEL O.; CORREA, DIOGO O.; FERNANDES, LEANDRO C.; WOLF, DENIS F.; OSORIO, FERNANDO S.. Adaptive finite state machine based visual autonomous navigation system. ENGINEERING APPLICATIONS OF ARTIFICIAL INTELLIGENCE, v. 29, p. 152-162, MAR 2014. (08/57870-9)

SOUZA, PAULO S. L.; SANTANA, REGINA H. C.; SANTANA, MARCOS J.; ZALUSKA, ED; FAICAL, BRUNO S.; ESTRELLA, JULIO C.. Load Index Metrics for an Optimized Management of Web Services: A Systematic Evaluation. PLoS One, v. 8, n. 7, JUL 16 2013. (10/02839-0, 08/57870-9)

QUEIROZ, ROSSANA BAPTISTA; BRAUN, ADRIANA; MOREIRA, JULIANO LUCAS; COHEN, MARCELO; MUSSE, SORAIA RAUPP; THIELO, MARCELO RESENDE; SAMADANI, RAMIN; ALLBECK, J; BADLER, N; BICKMORE, T; et al. Reflecting User Faces in Avatars. INTELLIGENT VIRTUAL AGENTS, IVA 2010, v. 6356, p. 7-pg., 2010-01-01. (08/57870-9)

MAEDA SAITO, PRISCILA TIEMI; WOLF, DENIS FERNANDO; MENDONCA, BRUNO ALEXANDRE; BRANCO, KALINKA R. L. J. C.; SABATINE, RICARDO JOSE; SOHN, S; KWACK, KD; UM, K; LEE, GY; KO, F. A Parallel Approach for Mobile Robotic Self-localization. ICCIT: 2009 FOURTH INTERNATIONAL CONFERENCE ON COMPUTER SCIENCES AND CONVERGENCE INFORMATION TECHNOLOGY, VOLS 1 AND 2, v. N/A, p. 2-pg., 2009-01-01. (08/57870-9)

RODRIGUES, DOUGLAS; PIRES, RAYNER DE MELO; MARCONATO, EMERSON ALBERTO; AREIAS, CRISTIANA; CUNHA, JOAO CARLOS; CASTELO BRANCO, KALINKA R. L. J.; VIEIRA, MARCO. Service-Oriented Architectures for a Flexible and Safe Use of Unmanned Aerial Vehicles. IEEE INTELLIGENT TRANSPORTATION SYSTEMS MAGAZINE, v. 9, n. 1, p. 97-109, SPR 2017. (14/12134-4, 11/06086-9, 08/57870-9, 11/04416-1, 12/08498-5)

SILVA, NATASSYA B. F.; PIGATTO, DANIEL F.; MARTINS, PAULO S.; BRANCO, KALINKA R. L. J. C.. Case studies of performance evaluation of cryptographic algorithms for an embedded system and a general purpose computer. JOURNAL OF NETWORK AND COMPUTER APPLICATIONS, v. 60, p. 130-143, JAN 2016. (12/08498-5, 08/57870-9, 12/16171-6, 12/13641-1)

SHUBEITA, FAUZI DE M.; AMARAL, LEONARDO A.; MARCON, CESAR; DELEPIANE DE VIT, ANTONIO RODRIGO; IEEE. WSN experiment and a grid-based network architecture proposal. 2012 BRAZILIAN SYMPOSIUM ON COMPUTING SYSTEM ENGINEERING (SBESC 2012), v. N/A, p. 4-pg., 2012-01-01. (08/57870-9)

ANDRADE, KLEBER DE O.; FERNANDES, GUILHERME; MARTINS, JOSE, JR.; ROMA, VIVIANE C.; JOAQUIM, RICARDO C.; CAURIN, GLAUCO A. P.; IEEE. Rehabilitation Robotics and Serious Games: An Initial Architecture for Simultaneous Players. 2013 ISSNIP BIOSIGNALS AND BIOROBOTICS CONFERENCE (BRC), v. N/A, p. 6-pg., 2013-01-01. (08/57870-9, 10/02613-1)

PINTO FERRAZ FABBRI, SANDRA CAMARGO; FELIZARDO, KATIA ROMERO; FERRARI, FABIANO CUTIGI; MONTORO HERNANDES, ELIS CRISTINA; OCTAVIANO, FABIO ROBERTO; NAKAGAWA, ELISA YUMI; MALDONADO, JOSE CARLOS. Externalising tacit knowledge of the systematic review process. IET Software, v. 7, n. 6, p. 10-pg., 2013-12-01. (12/02524-4, 08/57870-9)

PINTO, A. R.; MONTEZ, C.; ARAUJO, G.; VASQUES, F.; PORTUGAL, P.. An approach to implement data fusion techniques in wireless sensor networks using genetic machine learning algorithms. Information Fusion, v. 15, p. 12-pg., 2014-01-01. (08/57870-9)

COLTURATO, ADIMARA BENTIVOGLIO; GOMES, ANDRE BENJAMIN; PIGATTO, DANIEL FERNANDO; COLTURATO, DANIELLE BENTIVOGLIO; ROSCHILDT PINTO, ALEX SANDRO; CASTELO BRANCO, LUIZ HENRIQUE; FURTADO, EDSON LUIZ; JAQUIE CASTELO BRANCO, KALINKA REGINA LUCAS; ILIADIS, L; PAPADOPOULOS, H; et al. Pattern Recognition in Thermal Images of Plants Pine Using Artificial Neural Networks. ENGINEERING APPLICATIONS OF NEURAL NETWORKS, EANN 2013, PT I, v. 383, p. 8-pg., 2013-01-01. (12/08498-5, 08/57870-9)

MENOTTI, RICARDO; CARDOSO, JOAO M. P.; FERNANDES, MARCIO M.; MARQUES, EDUARDO; IEEE. On Using LALP to Map an Audio Encoder/Decoder on FPGAs. IEEE INTERNATIONAL SYMPOSIUM ON INDUSTRIAL ELECTRONICS (ISIE 2010), v. N/A, p. 6-pg., 2010-01-01. (08/57870-9)

OLIVEIRA, ALLAN; ARAUJO, REGINA; JARDINE, ANDREW; YAMAMOTO, S. Human-Centered Interfaces for Situation Awareness in Maintenance. HUMAN INTERFACE AND THE MANAGEMENT OF INFORMATION: INFORMATION AND KNOWLEDGE IN APPLICATIONS AND SERVICES, PT II, v. 8522, p. 12-pg., 2014-01-01. (08/57870-9)

MENOTTI, RICARDO; CARDOSO, JOAO M. P.; FERNANDES, MARCIO M.; MARQUES, EDUARDO. LALP: A Language to Program Custom FPGA-Based Acceleration Engines. INTERNATIONAL JOURNAL OF PARALLEL PROGRAMMING, v. 40, n. 3, p. 28-pg., 2012-06-01. (08/57870-9)

WACHTER, EDUARDO; ERICHSEN, AUGUSTO; AMORY, ALEXANDRE; MORAES, FERNANDO; PREAS, K. Topology-Agnostic Fault-Tolerant NoC Routing Method. DESIGN, AUTOMATION & TEST IN EUROPE, v. N/A, p. 6-pg., 2013-01-01. (08/57870-9)

CORDEIRO, RAFAEL A.; AZINHEIRA, JOSE R.; DE PAIVA, ELY C.; BUENO, SAMUEL S.; IEEE. Dynamic Modeling and Bio-Inspired LQR Approach for Off-Road Robotic Vehicle Path Tracking. 2013 16TH INTERNATIONAL CONFERENCE ON ADVANCED ROBOTICS (ICAR), v. N/A, p. 6-pg., 2013-01-01. (11/22964-6, 10/14295-4, 08/57870-9)

ANDRADE, KLEBER DE O.; MARTINS, JOSE, JR.; CAURIN, GLAUCO A. P.; JOAQUIM, RICARDO C.; FERNANDES, GUILHERME; DESAI, JP; JAY, LPS; ZOLLO, L. Relative Performance Analysis for Robot Rehabilitation Procedure with Two Simultaneous Users. 2012 4TH IEEE RAS & EMBS INTERNATIONAL CONFERENCE ON BIOMEDICAL ROBOTICS AND BIOMECHATRONICS (BIOROB), v. N/A, p. 5-pg., 2012-01-01. (08/57870-9)

ROCHA, RAFAELA V.; ARAUJO, REGINA B.; CAMPOS, MARCIO R.; BOUKERCHE, AZZEDINE; TURNER, SJ; CAI, W; SADDIK, AEI; LEES, M; ROBERTS, D. Understanding and Building Interoperable, Integrable and Composable Distributed Training Simulations. 14TH IEEE/ACM INTERNATIONAL SYMPOSIUM ON DISTRIBUTED SIMULATION AND REAL-TIME APPLICATIONS (DS-RT 2010), v. N/A, p. 8-pg., 2010-01-01. (08/57870-9)

BRANCO, KALINKA R. L. J. C.; PELIZZONI, JORGE MARQUES; NERIS, LUCIANO OLIVEIRA; TRINDADE JUNIOR, ONOFRE; OSORIO, FERNANDO SANTOS; WOLF, DENIS FERNANDO; IEEE. Tiriba - A New Approach of UAV based on Model Driven Development and Multiprocessors. 2011 IEEE INTERNATIONAL CONFERENCE ON ROBOTICS AND AUTOMATION (ICRA), v. N/A, p. 4-pg., 2011-01-01. (08/57870-9)

CUNHA, E.; CUSTODIO, M.; ROCHA, H.; BARRETO, R.; IEEE COMP SOC. Formal Verification of UML Sequence Diagrams in the Embedded Systems Context. 2011 BRAZILIAN SYMPOSIUM ON COMPUTING SYSTEM ENGINEERING (SBESC), v. N/A, p. 7-pg., 2011-01-01. (08/57870-9)

DOS SANTOS, EULANDA M.; SABOURIN, ROBERT; IEEE. Classifier Ensembles Optimization Guided by Population Oracle. 2011 IEEE CONGRESS ON EVOLUTIONARY COMPUTATION (CEC), v. N/A, p. 6-pg., 2011-01-01. (08/57870-9)