Landslide stability analysis based on generalized information entropy S Yufeng, J Fengxiang 2009 international conference on environmental science and information …, 2009 | 57 | 2009 |
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 | 46 | 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 | 40 | 2013 |
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 | 38 | 2018 |
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 | 38 | 2011 |
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 | 30 | 2017 |
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 |
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 | 28 | 2012 |
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 |
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 | 28 | 2006 |
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 | 27 | 2008 |
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 | 25 | 2004 |
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 | 24 | 2007 |
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 | 23 | 2009 |
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 | 20 | 2011 |
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 | 18 | 2013 |
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 | 17 | 2015 |
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 | 16 | 2015 |
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 | 16 | 2007 |