Source: http://ufam-automation.net/lucascordeiro/index.php/en/english-research
Timestamp: 2019-04-19 19:25:54+00:00

Document:
1. Alves, E. H. S., Cordeiro, L. C., Lima Filho, E. B. A Method to Localize Faults in Concurrent C Programs. In Journal of Software and Systems (to appear), Elsevier, 2017.
5. Pereira, P. , Albuquerque, H., Silva, I., Marques, H., Rodrigues, F., Ferreira, R. S., Cordeiro, L. C. SMT-Based Context-Bounded Model Checking for CUDA Programs. In Concurrency and Computation: Practice and Experience (to appear), 2016. The final publication is available at John Wiley via DOI.
10. Trindade, A. B. and Cordeiro, L. C. Applying SMT-based Verification to Hardware/Software Partitioning in Embedded Systems. In Design Automation for Embedded Systems, v. 20, n. 1, pp. 1-19, 2016. The final publication is available at Springer via DOI.
15. Freitas, M., Valenzuela, V., Gadelha, M., SILVA JUNIOR, W. S., Cordeiro, L. C., LUCENA JUNIOR, V. A Distributed Extension of the Hybrid PRS System using Video Processing to Command a Robot via Bluetooth. In International journal of computer science and network security, v. 12, pp. 29-35, 2012.
16. Cordeiro, L. C., MAR, C. A. A., VALENTIN, E. B., Cruz, F. T., PATRICK, D. O., BARRETO, R. S., LUCENA JUNIOR, V. An Agile Development Methodology Applied to Embedded Control Software under Stringent Hardware Constraints. In Software Engineering Notes, v. 33, pp. 24, 2008.
17. Cordeiro, L. C., BARRETO, R. S., BARCELOS, R. F., OLIVEIRA, M., LUCENA JUNIOR, V., MACIEL, P. TXM: An Agile HW/SW Development Methodology for Building Medical Devices. In Software Engineering Notes, v. 32, pp. 28, 2007.
18. Cordeiro, L. C., A.C. de Melo Junior, D.S. Paz Jr., E.C. da Paz, F.C.R Souza; J.T.D. Alkmin, A.F. Aragão, N.S. Campelo. Mapas de isorresistividades elétricas aparentes do solo superficial da cidade de Manaus. In Revista Brasileira de Geociências, 2004.
13. de Oliveira, R. R., Cordeiro, L. C., Lucena Jr., V. F. Hardware Reconfiguration Based on Broadcast Digital TV Signal. In IEEE International Conference on Consumer Electronics (ICCE), pp. 624-626, 2015.
39. CALDAS, R. B., BARRETO, R. S., Cordeiro, L. C., Campos, S. A Formal Method for Modeling, Verification and Synthesis of Embedded Reactive Systems. In IADIS International Conference APPLIED COMPUTING (AC), pp. 379-386, 2011.
45. Cordeiro, L. C., Fischer, B., MARQUES-SILVA, J. P. Continuous Verification of Large Embedded Software using SMT-Based Bounded Model Checking. In 17th International Conference and Workshops on Engineering of Computer-Based Systems (ECBS), pp. 160-169, IEEE, 2010.
46. Rocha, H., Cordeiro, L. C., BARRETO, R. S., Netto, José. Exploiting Safety Properties in Bounded Model Checking for Test Cases Generation of C Programs. In 4th Brazilian Workshop on Systematic and Automated Software Testing (SAST), pp. 121-130, 2010.
48. Cordeiro, L. C., Fischer, B., CHEN, H., MARQUES-SILVA, J. P. Semiformal Verification of Embedded Software in Medical Devices Considering Stringent Hardware Constraints. In 6th International Conference on Embedded Software and Systems (ICESS), pp. 396-403, IEEE, 2009.
49. Cordeiro, L. C., Fischer, B., MARQUES-SILVA, J. P. SMT-Based Bounded Model Checking for Embedded ANSI-C Software. In 24th IEEE/ACM International Conference on Automated Software Engineering (ASE), pp. 137-148, 2009.
50. Cordeiro, L. C., MAR, C. A. A., VALENTIN, E. B., Cruz, F. T., PATRICK, D. O., BARRETO, R. S., LUCENA JUNIOR, V. A Platform-Based Software Design Methodology for Embedded Control Systems: An Agile Toolkit. In Proceedings of the Agility in the Software Process Workshop of the 15th Annual IEEE International Conference and Workshops on the Engineering of Computer Based Systems (ECBS), pp.408 - 417, IEEE, 2008.
51. Cruz, F. T., BARRETO, R. S., Cordeiro, L. C., MACIEL, P. ezRealtime: A Domain-Specific Modeling Tool for Embedded Hard Real-Time Software Synthesis. In Design, Automation and Test in Europe (DATE), pp. 1510-1515, 2008.
52. Teófilo, M., Cordeiro, L. C., BARRETO, R. S., Pereira, J. R. Mandos: A User Interaction Method in Embedded Applications for Mobile Telephony. In 1st International Conference on Advances in Computer-Human Interaction, (ACHI), pp. 271-276, IEEE, 2008.
54. Cordeiro, L. C., BARRETO, R. S., OLIVEIRA, M. Towards a Semiformal Development Methodology for Embedded Systems. In 3rd Intenational Conference on Evaluation of Novel Approaches to Software Engineering (ENASE), pp. 5-12, INSTICC, 2008.
55. Cordeiro, L. C., BARRETO, R. S., BARCELOS, R. F., OLIVEIRA, M., LUCENA JUNIOR, V., MACIEL, P. Agile Development Methodology for Embedded Systems: A Platform-Based Desing Approach. In 14th International Conference and Workshop on the Engineering of Computer Based Systems (ECBS), pp. 195 - 202, IEEE, 2007.
56. Cordeiro, L. C., Becker, C. O., BARRETO, R. S. Applying Scrum and Organizational Patterns to Multi Site Software Development. In 6th Latin American Conference on Pattern Languages of Programming (SugarLoafPlop), pp. 46 - 67, SBC, 2007.
57. Cordeiro, L. C., Louzado, D. A. Aplicando Padrões de Gerência de Configuração de Software em Projetos Geograficamente Distribuídos. In 5º Conferência Latino-Americana em Linguagem de Padrões para Programação (SugarLoafPlop), Pattern Applications, p.207 - 221, SBC, 2005.
1. Cordeiro, L.C. Aquisição de Dados de Processo de um Gasogênio à Carvão Vegetal para Geração de Energia Elétrica. Department of Electricity, Federal University of Amazonas, 2004. [Pdf].
1. Rocha, H. O. Verificação de Sistemas de Software baseada em Transformações de Código usando Bounded Model Checking. In: Doctor of Science in Informatics Program, Federal University of Amazonas, 2015 (co-supervisor).
1. Garcia, M. A. P. Verificação de Programas C++ Baseados no Framework Cross-Platform Qt. In: Master of Science in Electrical Engineering Program, Federal University of Amazonas, 2016 (supervisor).
2. Ismail, H. I. Verificação de Modelos Aplicada ao Projeto de Controladores Digitais Implementados em Processadores de Ponto-Fixo. In: Master of Science in Electrical Engineering Program, Federal University of Amazonas, 2015 (supervisor).
3. Januário, F. A. P. BMCLua: Metodologia para Verificação de Códigos Lua Utilizando Bounded Model Checking. In: Master of Science in Electrical Engineering Program, Federal University of Amazonas, 2015 (supervisor).
5. Abreu, R. B. Avaliação de Projetos de Filtros Digitais de Ponto-Fixo usando Teorias do Módulo da Satisfatibilidade. In: Master of Science in Electrical Engineering Program , Federal University of Amazonas, 2014 (supervisor).
6. Gadelha, M. Y. R. Verificação Baseada em Indução Matemática para Programas C++ . In: Master of Science in Electrical Engineering Program, Federal University of Amazonas, 2013 (supervisor).
1. Sousa, F. R., Verificação de Controladores Digitais de Ponto Fixo Representados por Espaço de Estados. In: Institutional Scientific Initiation Program, Federal University of Amazonas, 2015 (supervisor).
2. Albuquerque, H. F. Modelo Operacional CUDA para Verificação de Programas. In: Bachelor of Science in Computer Engineering, Federal University of Amazonas, 2016 (supervisor).
3. Alves, E. H. S. Um Método para Localizar Falhas em Software Concorrente em C. In: Bachelor of Science in Computer Engineering, Federal University of Amazonas, 2015 (supervisor).
4. Sousa, F. R. Verificação de Programas C++ que Usam o Framework Multiplataforma QT. In: Institutional Scientific Initiation Program, Federal University of Amazonas, 2013 (supervisor).

References: v. 
 V. 
 v. 
 V. 
 v. 
 v. 
 V. 
 V.