| Model to integration of RFID into wireless sensor network for tracking and monitoring animals DP Pereira, WRA Dias, M de Lima Braga, R da Silva Barreto, ... 2008 11th IEEE International Conference on Computational Science and …, 2008 | 41 | 2008 |
| Um relato de experiência do uso da técnica computação desplugada A Vieira, O Passos, R Barreto Anais do XXI WEI, 670-679, 2013 | 36 | 2013 |
| Energy consumption and execution time estimation of embedded system applications G Callou, P Maciel, E Tavares, E Andrade, B Nogueira, C Araujo, ... Microprocessors and Microsystems 35 (4), 426-440, 2011 | 29 | 2011 |
| Assessing the communication performance of wireless sensor networks in rainforests CMS Figueiredo, EF Nakamura, AD Ribas, TRB de Souza, RS Barreto 2009 2nd IFIP Wireless Days (WD), 1-6, 2009 | 29 | 2009 |
| Analyzing software performance and energy consumption of embedded systems by probabilistic modeling: An approach based on coloured petri nets MNO Junior, S Neto, P Maciel, R Lima, A Ribeiro, R Barreto, E Tavares, ... International Conference on Application and Theory of Petri Nets, 261-281, 2006 | 28 | 2006 |
| Model Checking Embedded C Software Using k-Induction and Invariants H Rocha, H Ismail, L Cordeiro, R Barreto Embedded Software Verification and Debugging, 159-182, 2017 | 26 | 2017 |
| A novel greedy forward algorithm for routing data toward a high speed sink in wireless sensor networks HABF Oliveira, RS Barreto, AL Fontao, AAF Loureiro, EF Nakamura 2010 proceedings of 19th international conference on computer communications …, 2010 | 26 | 2010 |
| A time Petri net approach for finding preruntime schedules in embedded hard real-time systems R Barreto, S Cavalcante, P Maciel 24th International Conference on Distributed Computing Systems Workshops …, 2004 | 26 | 2004 |
| Understanding programming bugs in ANSI-C software using bounded model checking counter-examples H Rocha, R Barreto, L Cordeiro, AD Neto International Conference on Integrated Formal Methods, 128-142, 2012 | 25 | 2012 |
| An agile development methodology applied to embedded control software under stringent hardware constraints L Cordeiro, C Mar, E Valentin, F Cruz, D Patrick, R Barreto, V Lucena ACM SIGSOFT Software Engineering Notes 33 (1), 5, 2008 | 25 | 2008 |
| Mapping live sequence chart to coloured petri nets for analysis and verification of embedded systems L Amorim, P Maciel, M Nogueira, R Barreto, E Tavares ACM SIGSOFT Software Engineering Notes 31 (3), 1-25, 2006 | 25 | 2006 |
| Selection of Beauveria bassiana (Bals.) Vuill. and Metarhizium anisopliae (Metsch.) Sorok. for the control of the mite Mononychellus tanajoa (Bondar) RS Barreto, EJ Marques, MGC Gondim Jr, JV Oliveira Scientia Agricola 61 (6), 659-664, 2004 | 24 | 2004 |
| On the use of scrum for the management of practcal projects in graduate courses L Pinto, R Rosa, C Pacheco, C Xavier, R Barreto, V Lucena, M Caxias, ... 2009 39th IEEE Frontiers in Education Conference, 1-6, 2009 | 22 | 2009 |
| Agile development methodology for embedded systems: A platform-based design approach L Cordeiro, R Barreto, R Barcelos, M Oliveira, V Lucena, P Maciel 14th Annual IEEE International Conference and Workshops on the Engineering …, 2007 | 20 | 2007 |
| Localization prediction in vehicular ad hoc networks LN Balico, AAF Loureiro, EF Nakamura, RS Barreto, RW Pazzi, ... IEEE Communications Surveys & Tutorials 20 (4), 2784-2803, 2018 | 17 | 2018 |
| Characterizing usability inspection methods through the analysis of a systematic mapping study extension L Rivero, R Barreto, T Conte CLEI Electronic Journal 16 (1), 12-12, 2013 | 15 | 2013 |
| A formal model for performance and energy evaluation of embedded systems B Nogueira, P Maciel, E Tavares, E Andrade, R Massa, G Callou, ... EURASIP Journal on Embedded Systems 2011 (1), 316510, 2011 | 15 | 2011 |
| Estimating sustainability impact, total cost of ownership and dependability metrics on data center infrastructures G Callou, P Maciel, F Magnani, J Figueiredo, E Sousa, E Tavares, B Silva, ... Proceedings of the 2011 IEEE International Symposium on Sustainable Systems …, 2011 | 15 | 2011 |
| A methodology for mapping live sequence chart to coloured Petri net L Amorim, P Maciel, M Nogueira, R Barreto, E Tavares 2005 IEEE International Conference on Systems, Man and Cybernetics 4, 2999-3004, 2005 | 15 | 2005 |
| Rapid improvement of students' soft-skills based on an agile-process approach E Valentin, JRH Carvalho, R Barreto 2015 IEEE Frontiers in Education Conference (FIE), 1-9, 2015 | 14 | 2015 |
