Deprecated: preg_replace(): The /e modifier is deprecated, use preg_replace_callback instead in /home/storage/b/b7/0d/ufam-automation/public_html/lucascordeiro/libraries/joomla/filter/input.php on line 652

Deprecated: preg_replace(): The /e modifier is deprecated, use preg_replace_callback instead in /home/storage/b/b7/0d/ufam-automation/public_html/lucascordeiro/libraries/joomla/filter/input.php on line 654

Deprecated: preg_replace(): The /e modifier is deprecated, use preg_replace_callback instead in /home/storage/b/b7/0d/ufam-automation/public_html/lucascordeiro/libraries/joomla/filter/input.php on line 652

Deprecated: preg_replace(): The /e modifier is deprecated, use preg_replace_callback instead in /home/storage/b/b7/0d/ufam-automation/public_html/lucascordeiro/libraries/joomla/filter/input.php on line 654

Strict Standards: Only variables should be assigned by reference in /home/storage/b/b7/0d/ufam-automation/public_html/lucascordeiro/plugins/system/jblibrary/jblibrary.php on line 51

Strict Standards: Only variables should be assigned by reference in /home/storage/b/b7/0d/ufam-automation/public_html/lucascordeiro/plugins/system/jblibrary/jblibrary.php on line 134
Research

Deprecated: preg_replace(): The /e modifier is deprecated, use preg_replace_callback instead in /home/storage/b/b7/0d/ufam-automation/public_html/lucascordeiro/libraries/joomla/filter/input.php on line 652

Deprecated: preg_replace(): The /e modifier is deprecated, use preg_replace_callback instead in /home/storage/b/b7/0d/ufam-automation/public_html/lucascordeiro/libraries/joomla/filter/input.php on line 654

Research

Research Area

- Bounded (and Unbounded) Model Checking

- Automated Testing and Verification

- Embedded Real-Time Systems / Cyber-physical systems

- Satisfiability Modulo Theories

Journal Publications

2017

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.

2. Sousa, F. R. M., Garcia, M. A. P., Cordeiro, L. C., Lima Filho, E. B. Bounded Model Checking of C++ Programs based on the Qt Cross-Platform Framework. In Software Testing, Verification and Reliability, v.27(3), pp. 1-24, 2017. The final publication is available at John Wiley via DOI. [Pdf]

3.  Gadelha, M. Y. R., Ismail, H. I., Cordeiro, L. C. Handling Loops in Bounded Model Checking of C Programs via k-Induction. In International Journal on Software Tools for Technology Transfer,  v.19(1), pp. 97-114, 2017. The final publication is available at Springer via DOI. [Pdf]

4. Bessa, I. V., Ismail, H. I., Palhares, R. M., Cordeiro, L. C., Chaves Filho, J. E. Formal Non-Fragile Stability Verification of Digital Control Systems with Uncertainty. In IEEE Transactions on Computers, v.66(3), pp. 545-552, 2017. The final publication is available at IEEE Xplore via DOI. [Pdf]

2016

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

6. Trindade, A. B., Degelo, R. F., dos Santos, E. G., Ismail, H. I., da Silva, H. C., Cordeiro, L. C. Multi-Core Model Checking and Maximum Satisfiability Applied to Hardware-Software Partitioning. In International Journal of Embedded Systems (to appear), Inderscience, 2016. [Pdf]

7. Abreu, R. B., Gadelha, M. Y. R., Cordeiro, L. C., Lima Filho, E. B., Silva Jr., W. S. Bounded Model Checking for Fixed-Point Digital Filters. In Journal of The Brazilian Computer Society, v.22, n.1, pp. 1-20, 2016. [Pdf]

8. Cordeiro, L. C. and Lima Filho, E. B.  SMT-Based Context-Bounded Model Checking for Embedded Systems: Challenges and Future Trends. In Software Engineering Notes, v.41, n.3, pp. 1-6, 2016. [Pdf]

9. Bessa, I. V., Ismail, H. I., Cordeiro, L. C., Chaves Filho, J. E. Verification of fixed-point digital controllers using direct and delta forms realizations. In Design Automation for Embedded Systems, v. 20, n. 2, pp. 95-126, 2016. The final publication is available at Springer via DOI. [Pdf]

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.

2015

11. Morse, J, Cordeiro, L. C., Nicole, D., Fischer, B. Model Checking LTL Properties over C Programs with Bounded Traces. In Journal of Software and Systems Modeling, Springer, v. 13, n. 1, pp. 65-81, 2015. [Pdf]

2014

12. Morse, J., Cordeiro, L. C., Nicole, D., Fischer, B. Applying Symbolic Bounded Model Checking to the 2012 RERS Greybox Challenge. In International Journal on Software Tools for Technology Transfer,  v. 16, n. 5, pp. 519-529, 2014. The final publication is available at Springer via DOI[Pdf]

2013

13. Rosa, R., Lucena Jr., V., Cordeiro, L. C., Chaves Filho, J. Dynamic and Automated Product Derivation for Consumer Electronics Software Applications. In IEEE Transactions on Consumer Electronics, v. 59, pp. 883-891, 2013. [Pdf]

2012

14. Cordeiro, L. C., Fischer, B., MARQUES-SILVA, J. P. SMT-Based Bounded Model Checking for Embedded ANSI-C Software. In IEEE Transactions on Software Engineering, v. 38, pp. 957-974, 2012. [Pdf]

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.

2008

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.

2007

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.

2004

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.

Book Chapter Publications

1. Rocha, H. O., Ismail, H. I., Cordeiro, L. C., Barreto, R. S. Model Checking Embedded C Software Using k-Induction and Invariants. In: Markus Winterholer; Djones Lettnin. (Org.). Embedded Software Verification and Debugging. 1ed.: Springer, 2017, v. 1, p. 159-182. [Pdf] [DOI]

Conference/Workshop Publications

2017

1. Abate, A., Bessa, I.; Cattaruzza, D., Cordeiro, L., David, C., Kesseli, P., Kroening, D., Polgreen, E. Automated Formal Synthesis of Digital Controllers for State-Space Physical Plants. In 29th International Conference on Computer-Aided Verification (CAV), pp. 1-16, 2017 (to appear).

2. Abate, A., Bessa, I., Cattaruzza, D., Cordeiro, L., David, C., Kesseli, P., Kroening, D. Sound and Automated Synthesis of Digital Stabilizing Controllers for Continuous Plants. In 20th ACM International Conference on Hybrid Systems: Computation and Control (HSCC), pp. 197-206, 2017. [Pdf] [Presentation]

3. Rocha, W., Rocha, H., Ismail, H., Cordeiro, L., Fischer, B. DepthK: A k-Induction Verifier Based on Invariant Inference for C Programs. In 23th Intl. Conf. on Tools and Algorithms for the Construction and Analysis of Systems (TACAS), LNCS 10206, pp. 360-364, 2017. [Pdf] [Presentation]

2016

4. Pereira, P. A., Albuquerque, H., Marques, H., Silva, I., Carvalho, C. B., Santos, V., Ferreira, R. S., Cordeiro, L. C. Verifying CUDA Programs using SMT-Based Context-Bounded Model Checking. In ACM Symposium on Applied Computing (SAC), Software Verification and Testing, pp. 1648-1653, 2016. [Pdf[Presentation]

5. Rocha, H. O., Cordeiro L. C., Barreto, R. S. Hunting Memory Bugs in C Programs with Map2Check (Competition Contribution). In 22th Intl. Conf. on Tools and Algorithms for the Construction and Analysis of Systems (TACAS), LNCS 9636. pp. 934-937, 2016. [Pdf[Presentation]

6. Garcia, M. A. P., Sousa, F. R. M., Cordeiro, L. C., Lima Filho, E. B. ESBMCQtOM: A Bounded Model Checking Tool to Verify Qt Applications. In 23rd International SPIN symposium on Model Checking of Software (SPIN), LNCS 9641, pp. 97-103, 2016. [Pdf[Presentation]

7. Pereira, P. A., Sousa, F. R., Cordeiro, L. C., Costa Filho, C. F. F., Costa, M. G. F. Complementary Training Programme for Electrical and Computer Engineering Students Through an Industrial-Academic Collaboration. In 46th Annual Frontiers in Education Conference (FIE), pp. 1-9, 2016. [Pdf[Presentation]

8.  Araujo, R., Bessa, I. V., Cordeiro, L. C., Chaves Filho, J. E. SMT-based Verification Applied to Non-convex Optimization Problems. In VI Brazilian Symposium on Computing Systems Engineering (SBESC), pp. 1-8, 2016. [Pdf] [Presentation]

9. Souza, A. S., Cordeiro, L. C., Januário, F. A. P. Verificação de Programas Multi-Threads Baseados no Framework Multiplataforma Qt. In: IV Encontro Regional de Engenharia (ENCOENG), p. 131-140, 2016[Pdf]

2015

10. Ismail, H. I., Bessa, I. V., Cordeiro, L. C., Chaves Filho, J. E., Lima Filho, E. B. DSVerifier: A Bounded Model Checking Tool for Digital Systems. In 22nd International SPIN Symposium on Model Checking of Software (SPIN), LNCS 9232, p. 126-131, 2015. [Pdf] [Presentation]

11. Rocha, H. O., Barreto, R. S., Cordeiro, L. C., Memory Management Test-Case Generation of C Programs using Bounded Model Checking. In 13th International Conference on Software Engineering and Formal Methods (SEFM), LNCS  9276, p. 251-267, 2015. [Pdf[Presentation]

12. 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.

13. Trindade, A. B., Ismail, H. I., Cordeiro, L. C. Multi-Core Model Checking to Hardware-Software Partitioning in Embedded Systems. In V Brazilian Symposium on Computing Systems Engineering (SBESC), pp. 102-105, 2015. [Pdf[Presentation]

14. Alves, E. H. S., Cordeiro, L. C., Lima Filho, E. B. Fault Localization in Multi-Threaded C Programs using Bounded Model Checking. In V Brazilian Symposium on Computing Systems Engineering (SBESC), pp. 96-101, 2015. [Pdf[Presentation]

15. Rocha, H., Ismail, H. I., Cordeiro, L. C., Barreto, R. S. Model Checking Embedded C Software using k-Induction and Invariants. In V Brazilian Symposium on Computing Systems Engineering (SBESC), pp. 90-95, 2015. [Pdf[Presentation] (SBC Best Paper Award)

16. Sousa, F. R. M., Cordeiro, L. C., Lima Filho, E. B., Bounded Model Checking of C++ Programs Based on the Qt Framework. To appear in IEEE 4th Global Conference on Consumer Electronics (GCCE), pp. 179-180, 2015. [Pdf[Poster]

17. Pereira, P. A., Albuquerque, H., Marques, H., Silva, I., Santos, V., Carvalho, C. B., Ferreira, R. S., Cordeiro, L. C. Verificação de Kernels em Programas CUDA usando Bounded Model Checking. To appear in XV Brazilian Symposium on High-Performance Computing (WSCAD-SSC), pp. 24-35, 2015. [Pdf[Presentation]

18. Rodrigues, F., Cordeiro, L. C., Lima Filho, E. B. Verificação de Programas C++ Baseados no Framework Multiplataforma Qt. In IV Encontro Regional de Computação e Sistemas de Informação (ENCOSIS), p. 181-190, 2015[Pdf] [Presentation]

19. Lima, M. S., Silva, E. S., Cordeiro, L. C. Verificação de Modelos Aplicada aos Filtros Espaciais em Processamento Digital de Imagens. In IV Encontro Regional de Computação e Sistemas de Informação (ENCOSIS), p. 136-145, 2015. [Pdf]

2014

20. Bessa, I. V., Ismail, H. I., Cordeiro, L. C., Chaves Filho, J. E. Verification of Delta Form Realization in Fixed-Point Digital Controllers Using Bounded Model Checking. In IV Simpósio Brasileiro de Engenharia de Sistemas Computacionais (SBESC), pp. 49-54, 2014. [Pdf]

21. Januario, F. A. P., Cordeiro, L. C., Lima Filho, E. B. ; Lucena Jr., V. F. BMCLua: Verificação de Programas Lua em Aplicações Interativas de TV Digital. In IV Simpósio Brasileiro de Engenharia de Sistemas Computacionais (SBESC), pp. 1-6, 2014. [Pdf]

22. Trindade, A. B., Cordeiro, L. C. Aplicando Verificação de Modelos para o Particionamento de Hardware/Software. In IV Simpósio Brasileiro de Engenharia de Sistemas Computacionais, 2014, Manaus, Brasil. SBESC'14, 2014. p. 1-6. [Pdf]

23. Rosa, R. E. V. S., Cordeiro, L. C., Lucena Jr., V. F. A Secondary Screen Architecture to Accurately Capture Viewers' Interactions in an iTV Environment. In IEEE 3rd Global Conference on Consumer Electronics (GCCE), pp. 264-265, 2014. [Pdf] [Presentation]

24. Januario, F. A. P., Cordeiro, L. C., Lima Filho, E. B., Lucena Jr., V. F. BMCLua: Verification of Lua Programs in Digital TV Interactive Applications. In IEEE 3rd Global Conference on Consumer Electronics (GCCE), pp. 707-708, 2014. [Pdf] [Presentation]

25. Bessa, I., Abreu, R., Cordeiro,  L. C., Chaves Filho, J. E. SMT-Based Bounded Model Checking of Fixed-Point Digital Controllers. In the 40th Annual Conference of the IEEE Industrial Electronics Society,  pp. 295-301, 2014. [Pdf] [Presentation]

26. Morse, J., Ramalho, M., Cordeiro, L. C., Nicole, D. and Fischer, B. ESBMC 1.22 (Competition Contribution). In the 20th Intl. Conf. on Tools and Algorithms for the Construction and Analysis of Systems (TACAS), v. 8413, pp. 405-407, 2014. [Pdf] [Presentation]

2013

27. Ramalho, M., Cordeiro, L. C., Cavalcante, A., Lucena Jr, V. Verificação Baseada em Indução Matemática de Programas C/C++. In the 3rd Brazilian Symposium on Computing Systems Engineering (SBESC), 2013. [Pdf]

28. Silva, V. Cordeiro, L. C., Lucena Jr, V. Verificação de Aplicações AmI Usando Java PathFinder. In the 3rd Brazilian Symposium on Computing Systems Engineering (SBESC), 2013. [Pdf]

29. Abreu, R., Cordeiro, L. C., Lima Filho, E. Verifying Fixed-Point Digital Filters using SMT-Based Bounded Model Checking. In 31st Brazilian Symposium on Telecommunications (SBrT), 2013. [Pdf[e-Poster]

30. Januario, F., Cordeiro, L. C., Lima Filho, E. B. Verificação de Códigos Lua Utilizando BMCLua. In 31st Brazilian Symposium on Telecommunications (SBrT), 2013. [Pdf] [Presentation]

31. Freitas, M., Ramalho, M., Cordeiro, L. C., Silva Jr., W., Lima Filho, E. Verificação de Propriedades de Filtros Digitais Implementados com Aritmética de Ponto FixoIn 31st Brazilian Symposium on Telecommunications (SBrT), 2013. [Pdf[e-Poster]

32. Ramalho, M., Lopes, M., Rodrigues, F., Marques, H., Cordeiro, L. C., Fischer, B. SMT-Based Bounded Model Checking of C++ Programs. In 20th Intl. Conf. and Workshops on the Engineering of Computer-Based Systems (ECBS), pp. 147-156, IEEE, 2013. [Pdf] [Presentation]

33. MORSE, J., Cordeiro, L. C., NICOLE, D., Fischer, B. Handling Unbounded Loops with ESBMC 1.20 (Competition Contribution). In 19th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS), v. 7795, pp. 619-622, Springer, 2013. [Pdf] [Presentation]

2012

34. Cohen, D., BARRETO, R. S., Oliveira, H., Cordeiro, L. C. A car racing based strategy for the Dynamic Voltage and Frequency Scaling technique. In 21st International Symposium on Industrial Electronics (ISIE), pp. 774-779, IEEE, 2012. [Presentation]

35. Cordeiro, L. C., MORSE, J., NICOLE, D., Fischer, B. Context-Bounded Model Checking with ESBMC 1.17. In 18th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS), v.7214., pp. 533-536, Springer, 2012. [Pdf] [Presentation]

36. Lima, F. S., Cordeiro, L. C., Souza, R. C. R. Sistema de Monitoramento a Distância para Unidade de Célula a Combustível In VIII Congresso Brasileiro de Planejamento Energético (SBPE) , 2012. [Pdf]

37. Rocha, H., BARRETO, R. S., Cordeiro, L. C., Dias-Neto, A. C. Understanding Programming Bugs in ANSI-C Software Using Bounded Model Checking Counter-Examples. In 9th International Conference on Integrated Formal Methods (iFM), v.7321, pp. 128-142, Springer, 2012. [Pdf] [Presentation]

2011

38. 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.

39. MORSE, J., Cordeiro, L. C., NICOLE, D., Fischer, B. Context-Bounded Model Checking of LTL Properties for ANSI-C Software. In 9th International Conference on Software Engineering and Formal Methods (SEFM), v. 7041, pp. 302-317, Springer, 2011. [Pdf] [Presentation]

40. LUCENA JUNIOR, V., Neto, J., CHAVES FILHO, J. E., SILVA JUNIOR, W. S., Cordeiro, L. C. Gift Young Engineers: An Extra-Curricular Initiative for Updating Computer and Electrical Engineering Courses. In 41st ASEE/IEEE Frontiers in Education Conference (FIE),  pp. 1-6, IEEE, 2011. [Pdf]

41. BARRETO, R. S., Cordeiro, L. C., Fischer, B. Verifying Embedded C Software with Timing Constraints using an Untimed Model Checker. In Brazilian Symposium on Computing System Engineering (SBESC), pp. 89-100, IEEE, 2011. [Pdf] [Presentation]

42. Cordeiro, L. C., Fischer, B. Verifying Multi-threaded Software using SMT-based Context-Bounded Model Checking. In ACM/IEEE 33rd International Conference on Software Engineering (ICSE), pp.331-340, IEEE/ACM, 2011. [Pdf[Presentation] (ACM SIGSOFT Distinguished Paper Award)

2010

43. Cordeiro, L. C., Fischer, B. Bounded Model Checking of Multi-threaded Software using SMT solvers. In 8th International Workshop on Satisfiability Modulo Theories (SMT), 2010. [Presentation]

44. 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.

45. 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.

46. Cordeiro, L C. SMT-Based Bounded Model Checking for Multi-threaded Software in Embedded Systems. In ACM/IEEE 32nd International Conference on Software Engineering (ICSE), Doctoral Symposium, v.2. pp. 373-376, IEEE/ACM, 2010. [Presentation]

2009

47. 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.

48. 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.

2008

49. 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.

50. 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.

51. 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.

52. Cruz, F. T., BARRETO, R. S., Cordeiro, L. C., MACIEL, P. Towards a Model-Driven Engineering Approach for Developing Embedded Hard Real-Time Software. In 23rd ACM Symposium on Applied Computing, Real-Time Systems Track (SAC RTS) pp. 308-314, 2008. (ACM SIGAPP Best Paper Award)

53. 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.

2007

54. 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.

55. 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.

2005

56. 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.

2004

57. J.T.D. Alkmin, A.C. de Melo Junior, E.C. da Paz, N.S. Campelo, F.C.R Souza, Cordeiro, L. C., CARVALHO, J. S., A.F. Aragão. Comparação entre mapas de isorresistividades elétricas aparentes do solo superficial de Manaus, a partir de séries de dados completos e estatísticos. In I Simpósio Regional da Sociedade Brasileira de Geofísica (SBGf), 2004. [Pdf]

2003

58. J.T.D. Alkmin, A.C. de Melo Junior, F.C.R Souza, N.S. Campelo, Cordeiro, L. C., E.C. da Paz, A.F. Aragão. Malhas de Aterramento do Sistema Elétrico da Manaus Energia: um Estudo de Caso. In II Congresso de Inovação Tecnológica em Energia Elétrica, 2003, Salvador. II Congresso de Inovação Tecnológica em Energia Elétrica, 2003. [Pdf]

Ph.D. Thesis

Cordeiro, L. C. SMT-Based Bounded Model Checking of Multi-threaded Software in Embedded Systems. University of Southampton, 2011. [Pdf] [Ppt]

M.Sc. Thesis

Cordeiro, L. C. TXM - Uma Metodologia de Desenvolvimento de HW/SW Ágil para Sistemas Embarcados. Federal University of Amazonas, 2007. [Pdf] [Ppt]

B.Sc. Thesis

Cordeiro, L. C. Developing Real-Time Applications with LEGO Mindstorms. Federal University of Amazonas, 2004. [Pdf]

Technical Reports

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].

2. Cordeiro, L. C. Development of a Bluetooth-based communication and control infrastructure for mobile robots, University of Stuttgart, 2004. [Pdf]

Technical Presentations

1. Cordeiro, L. C. Model Checking Embedded Systems. University of Stuttgart, 2013. [Presentation]

2. Cordeiro, L. C. Model Checking Embedded Systems. University of Southampton, 2013. [Presentation]

3. Cordeiro, L. C. (2007). Semiformal Verification of Embedded Software in Medical Devices Considering Stringent Hardware Constraints. Presented at the ICESS 2009. [Presentation]

4. Cordeiro, L. C. (2007). Uma Metodologia de Desenvolvimento de HW/SW Ágil para Sistemas Embarcados. Presented at the Third Academic Conference of Information Technology at ESBAM. [Presentation]

5. Cordeiro, L. C. (2006). Particionamento de sistemas embarcados baseado em programação linear inteira. Presented for the master students at the Federal University of Amazonas. [Presentation]

6. Cordeiro, L. C. (2006). Metodologia de Desenvolvimento Ágil Scrum: O Caso XMPM. Presented at the Science and Technology Conference of Amazonas State. [Presentation]

Ph.D. Supervisions

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 ProgramFederal University of Amazonas, 2015 (co-supervisor).

M.Sc. Supervisions

 

1. Garcia, M. A. P. Verificação de Programas C++ Baseados no Framework Cross-Platform QtIn: 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-FixoIn: 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 CheckingIn: Master of Science in Electrical Engineering Program, Federal University of Amazonas, 2015 (supervisor).

4. Trindade, A. B. Aplicando Verificação Formal Baseada nas Teorias do Módulo da Satisfabilidade para o Particionamento de Hardware/Software em Sistemas Embarcados. In: Master of Science in Electrical Engineering Program, Federal University of Amazonas, 2015 (supervisor). [Resumo]

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).

B.Sc. Supervisions

1. Sousa, F. R., Verificação de Controladores Digitais de Ponto Fixo Representados por Espaço de EstadosIn: Institutional Scientific Initiation Program, Federal University of Amazonas, 2015 (supervisor).

2. Albuquerque, H. F. Modelo Operacional CUDA para Verificação de ProgramasIn: 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 CIn: 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).