Barreto Raimundo
Barreto Raimundo
Professor of Computer Science, Universidade Federal do Amazonas
Verified email at
TitleCited byYear
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, ...
Computational Science and Engineering, 2008. CSE'08. 11th IEEE International …, 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
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
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
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
Computer Communications and Networks (ICCCN), 2010 Proceedings of 19th …, 2010
Assessing the communication performance of wireless sensor networks in rainforests
CMS Figueiredo, EF Nakamura, AD Ribas, TRB de Souza, RS Barreto
Wireless Days (WD), 2009 2nd IFIP, 1-6, 2009
A time Petri net approach for finding preruntime schedules in embedded hard real-time systems
R Barreto, S Cavalcante, P Maciel
Distributed Computing Systems Workshops, 2004. Proceedings. 24th …, 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
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
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
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
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
Agile development methodology for embedded systems: A platform-based design approach
L Cordeiro, R Barreto, R Barcelos, M Oliveira, V Lucena, P Maciel
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, ...
Frontiers in Education Conference, 2009. FIE'09. 39th IEEE, 1-6, 2009
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
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, ...
Sustainable Systems and Technology (ISSST), 2011 IEEE International …, 2011
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, 2, 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, 2007
A methodology for mapping live sequence chart to coloured Petri net
L Amorim, P Maciel, M Nogueira, R Barreto, E Tavares
Systems, Man and Cybernetics, 2005 IEEE International Conference on 4, 2999-3004, 2005
Mapping UML interaction overview diagram to time petri net for analysis and verification of embedded real-time systems with energy constraints
E Andrade, P Maciel, G Callou, B Nogueira
Computational Intelligence for Modelling Control & Automation, 2008 …, 2008
The system can't perform the operation now. Try again later.
Articles 1–20