| 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 | 42 | 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 | 37 | 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 |
| 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 | 29 | 2006 |
| Seleção de Beauveria bassiana (Bals.) Vuill. e Metarhizium anisopliae (Metsch.) Sorok. para controle do ácaro Mononychellus tanajoa (Bondar) RS Barreto, EJ Marques, MGC Gondim Jr, JV Oliveira Scientia agrícola 61 (6), 659-664, 2004 | 29 | 2004 |
| 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 | 28 | 2017 |
| 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 | 27 | 2006 |
| 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 | 26 | 2012 |
| 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 |
| 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 | 26 | 2008 |
| 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 | 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 | 21 | 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 | 20 | 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 | 16 | 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 |
| 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 | 14 | 2007 |
