Leandro B. Becker
AuthID: R-00F-9KB
1
TITLE: Formal Verification of AADL Models Using UPPAAL
AUTHORS: Goncalves, FS; Pereira, D; Tovar, E ; Becker, LB;
PUBLISHED: 2017, SOURCE: 7th Brazilian Symposium on Computing Systems Engineering (SBESC) in 2017 VII BRAZILIAN SYMPOSIUM ON COMPUTING SYSTEMS ENGINEERING (SBESC), VOLUME: 2017-November
AUTHORS: Goncalves, FS; Pereira, D; Tovar, E ; Becker, LB;
PUBLISHED: 2017, SOURCE: 7th Brazilian Symposium on Computing Systems Engineering (SBESC) in 2017 VII BRAZILIAN SYMPOSIUM ON COMPUTING SYSTEMS ENGINEERING (SBESC), VOLUME: 2017-November
2
TITLE: RadiaLE: A framework for designing and assessing link quality estimators in wireless sensor networks Full Text
AUTHORS: Nouha Baccour; Anis Koubaa ; Maissa Ben Jamaa; Denis do Rosario; Habib Youssef; Mario Alves ; Leandro B Becker;
PUBLISHED: 2011, SOURCE: AD HOC NETWORKS, VOLUME: 9, ISSUE: 7
AUTHORS: Nouha Baccour; Anis Koubaa ; Maissa Ben Jamaa; Denis do Rosario; Habib Youssef; Mario Alves ; Leandro B Becker;
PUBLISHED: 2011, SOURCE: AD HOC NETWORKS, VOLUME: 9, ISSUE: 7
3
TITLE: Brazilian Symposium on Computing System Engineering, SBESC 2011, Florianopolis, Brazil, November 7-11, 2011
AUTHORS: Antônio Augusto Fröhlich; Leandro Buss Becker;
PUBLISHED: 2011, SOURCE: SBESC
AUTHORS: Antônio Augusto Fröhlich; Leandro Buss Becker;
PUBLISHED: 2011, SOURCE: SBESC
INDEXED IN: 
DBLP
DBLP4
TITLE: F-LQE: A Fuzzy Link Quality Estimator for Wireless Sensor Networks
AUTHORS: Nouha Baccour; Anis Koubaa ; Habib Youssef; Maissa Ben Jamaa; Denis do Rosario; Mario Alves ; Leandro B Becker;
PUBLISHED: 2010, SOURCE: 7th European Conference on Wireless Sensor Networks in WIRELESS SENSOR NETWORKS, PROCEEDINGS, VOLUME: 5970
AUTHORS: Nouha Baccour; Anis Koubaa ; Habib Youssef; Maissa Ben Jamaa; Denis do Rosario; Mario Alves ; Leandro B Becker;
PUBLISHED: 2010, SOURCE: 7th European Conference on Wireless Sensor Networks in WIRELESS SENSOR NETWORKS, PROCEEDINGS, VOLUME: 5970
5
TITLE: A TestBed for the evaluation of link quality estimators in wireless sensor networks
AUTHORS: Baccour, N; Ben Jamaa, M; Do Rosario, D; Koubaa, A ; Youssef, H; Alves, M ; Becker, LB;
PUBLISHED: 2010, SOURCE: 2010 ACS/IEEE International Conference on Computer Systems and Applications, AICCSA 2010 in 2010 ACS/IEEE International Conference on Computer Systems and Applications, AICCSA 2010
AUTHORS: Baccour, N; Ben Jamaa, M; Do Rosario, D; Koubaa, A ; Youssef, H; Alves, M ; Becker, LB;
PUBLISHED: 2010, SOURCE: 2010 ACS/IEEE International Conference on Computer Systems and Applications, AICCSA 2010 in 2010 ACS/IEEE International Conference on Computer Systems and Applications, AICCSA 2010
INDEXED IN: 
Scopus 
CrossRef
Scopus CrossRef6
TITLE: Special track on Real-Time Systems: editorial message
AUTHORS: Paulo Martins; Leandro Buss Becker;
PUBLISHED: 2008, SOURCE: Proceedings of the 2008 ACM Symposium on Applied Computing (SAC), Fortaleza, Ceara, Brazil, March 16-20, 2008
AUTHORS: Paulo Martins; Leandro Buss Becker;
PUBLISHED: 2008, SOURCE: Proceedings of the 2008 ACM Symposium on Applied Computing (SAC), Fortaleza, Ceara, Brazil, March 16-20, 2008
INDEXED IN: DBLP
DBLP