Critical Embedded Systems Institute

• Grant number: 08/57870-9
• Support Opportunities: Research Projects - Thematic Grants
• Start date: March 01, 2009
• End date: February 28, 2014
• Field of knowledge: Physical Sciences and Mathematics - Computer Science - Computing Methodologies and Techniques
• Agreement: CNPq - INCTs
• Principal Investigator: Jose Carlos Maldonado
• Grantee: Jose Carlos Maldonado
• Host Institution: Instituto de Ciências Matemáticas e de Computação (ICMC). Universidade de São Paulo (USP). São Carlos , SP, Brazil
• City of the host institution: São Carlos
• Associated research grant(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 - Wireless sensor and vehicular ad hoc networks: algorithms and protocols, AV.EXT
• Associated scholarship(s): 13/05750-8 - Structural Testing of Concurrent Programs as a Web Service Composition, BP.MS; 13/16352-3 - Dynamic generation and analysis of the state space of Petri nets using interactive CPN tools software, BP.IC; 12/14043-0 - Robotic software architecture, human-robot interfaces and people's quality of life, BE.PQ; + associated scholarships 11/04416-1 - Development of a plug-and-play engine to smart sensors arrays in Unmanned Aerial Systems, BP.MS; 11/19051-9 - Applying structural testing model for concurrent programs in Java, BP.IC; 11/06022-0 - A contribution to the architectural design of robotic systems based on service-oriented architecture, BP.DR; 11/06086-9 - Service Oriented Architecture for Safety-Critical Complex Embedded Systems - A Case Study Focused in Avionics, BP.DR; 10/04001-3 - Subsidies for the Application of State Machine Based Test Case Generation Methods, BP.MS; 10/17005-7 - 3D Visualization of Training Simulation for mobile devices, BP.IC; 10/02839-0 - Distributed applications testing: challenges in message passing paradigm, BE.PQ; 09/17720-0 - Autonomous systems for communication in UAVs using DTN., BP.DR; 09/18430-6 - Information System for Integrated Access Provisioning, BP.PD; 09/04959-5 - Critical System Project to Transmit Video on Unmanned Aerial Vehicle Link, BP.MS - associated scholarships

Abstract

The creation of a Critical Embedded Systems Institute is proposed in this project. The general objective of this institute is to raise the knowledge, competence and quality of this country in the development of this type of system. We consider that this is a very important technology to support the development of strategic areas for Brazil, such as environment, security and defense, and agriculture. This project is comprehensive and encompasses research groups of nine Brazilian universities and seven companies. The main specific goals are the development of research for the construction of critical embedded systems, emphasizing mobile autonomic vehicles, and the construction of at least two prototypes of this type of vehicle: one aerial and one terrestrial. The aim is that they are transferred to the associated companies and that they will take care of their fabrication and commercialization. Other relevant goals are the production of a methodology that documents all the knowledge generated in the project and that this document is used for training personnel in this area; production of master and Ph.D. graduates; and publication of scientific and technological papers in conferences and journals of the area, as well as patents. (AU)

Scientific publications

(53)

(References retrieved automatically from Web of Science and SciELO through information on FAPESP grants and their corresponding numbers as mentioned in the publications by the authors)

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)

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)

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)

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)

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)

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)

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)

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)

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)

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)

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)

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. 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)

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; 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)

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)

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)

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)