| 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 | 66 | 2018 |
| 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 | 50 | 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 | 46 | 2013 |
| 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 | 33 | 2017 |
| 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 | 33 | 2012 |
| 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 | 32 | 2015 |
| 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 | 32 | 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 | 32 | 2007 |
| 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), 1-10, 2008 | 31 | 2008 |
| 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 | 31 | 2006 |
| 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 | 30 | 2009 |
| 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 | 29 | 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 | 27 | 2004 |
| 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 | 26 | 2006 |
| A prediction-based routing algorithm for vehicular ad hoc networks LN Balico, HABF Oliveira, RS Barreto, AAF Loureiro, RW Pazzi 2015 IEEE symposium on computers and communication (ISCC), 365-370, 2015 | 22 | 2015 |
| 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 | 22 | 2013 |
| 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 | 18 | 2011 |
| TXM: an agile HW/SW development methodology for building medical devices L Cordeiro, R Barreto, R Barcelos, M Oliveira, V Lucena, P Maciel ACM SIGSOFT Software Engineering Notes 32 (6), 4-es, 2007 | 17 | 2007 |
| 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 | 17 | 2005 |
| Formal verification of UML sequence diagrams in the embedded systems context E Cunha, M Custódio, H Rocha, R Barreto 2011 Brazilian Symposium on Computing System Engineering, 39-45, 2011 | 16 | 2011 |
