Seguir
Raimundo Barreto
Raimundo Barreto
Professor of Computer Science, Universidade Federal do Amazonas
Dirección de correo verificada de icomp.ufam.edu.br
Título
Citado por
Citado por
Año
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
1002018
Um relato de experiência do uso da técnica computação desplugada
A Vieira, O Passos, R Barreto
Anais do XXI Workshop sobre Educação em Computação, 671-680, 2013
582013
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
512008
A survey of Model Driven Engineering in robotics
E de Araújo Silva, E Valentin, JRH Carvalho, R da Silva Barreto
Journal of Computer Languages 62, 101021, 2021
502021
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
412007
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
382015
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
372017
Understanding programming bugs in ANSI-C software using bounded model checking counter-examples
H Rocha, R Barreto, L Cordeiro, AD Neto
Integrated Formal Methods: 9th International Conference, IFM 2012, Pisa …, 2012
362012
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
362009
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
352008
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
322009
Robust RSSI-based indoor positioning system using K-means clustering and Bayesian estimation
B Pinto, R Barreto, E Souto, H Oliveira
IEEE Sensors Journal 21 (21), 24462-24470, 2021
312021
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, ...
Petri Nets and Other Models of Concurrency-ICATPN 2006: 27th International …, 2006
302006
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
292010
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
272004
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
262006
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
252015
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
222013
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
222011
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
202007
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20