Selected Papers
LinkedIn profile available here.
Lennon Chaves received a Bachelor Degree and Master Degree in Computer Engineering from Federal University of Amazonas, in 2014 and 2018, respectively. In 2017, he was enrolled at Computer Science Department at University of Oxford, researching about Program Synthesis applied to Digital Controllers. In 2017, Mr. Chaves attended the Computer-Aided Verification Conference by participating in the Verification Mentoring Workshop at Heidelberg, Germany. He had also studied at Fundação Nokia de Ensino (Currently known as Fundação Matias Machline), where he could learn about logic and programming during his High School. His interests are focused on the field of Software Testing, Systems Model Checking, Automated Testing, Program Synthesis, and Software Enginnering. Currently, Mr. Chaves is working as Software Test Engineer at SIDIA, an Institute of Science and Technology in Brazil.[Full CV]
Research Topics
Recent Papers
His list of publications can be seen from DBLP, and Google Scholar.
1. Chaves, L. C., Ismail, H. I., Bessa, I. V., Cordeiro, L. C., De Lima Filho, E. B. Verifying Fragility in Digital Systems with Uncertainties using DSVerifier v2.0. In Journal of Systems and Software, v.153, pp. 22-43, 2019. DOI: http://dx.doi.org/10.1016/j.jss.2019.03.015
2. Chaves, L., Bessa, I., Ismail, H., Frutuoso, A., Cordeiro, L., Lima Filho, E. DSVerifier-Aided Verification Applied to Attitude Control Software in Unmanned Aerial Vehicles. In IEEE Transactions on Reliability, 2018. DOI: 10.1109/TR.2018.2873260.
3. Chaves, L., Bessa, I., Cordeiro, L., Kroening, D DSValidator: An Automated Counterexample Reproducibility Tool for Digital Systems. In 21st ACM International Conference on Hybrid Systems: Computation and Control (HSCC 2018), pp. 253-258. [Presentation]
4. Chaves, L., Bessa, I., Cordeiro, L., Kroening, D., Lima Filho, E. Verifying Digital Systems with MATLAB. In 26th ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA), pp. 388-391. [Presentation] [Poster]
5. Abate, A., Bessa, I., Cattaruzza, D., Chaves, L., Cordeiro, L., David, C., Kesseli, P., Kroening, D., Polgreen, E. DSSynth: An Automated Digital Controller Synthesis Tool for Physical Plants. In 32nd IEEE/ACM International Conference on Automated Software Engineering (ASE), pp. 919-924, 2017. [Presentation] [Poster]
6. Fernandes, P. ; Chaves, L. C. ; Bonifácio, B. ; Conte, T. WE QT Tool: Uma Ferramenta de Apoio a Inspeção de Usabilidade de Aplicações Web. In: X Brazilian Symposium on Human Factors in Computer Systems. (IHC 2011).[Poster]
7. Gomes, M. ; Santos, D. ; Chaves, L. C. ; Castro, A. ; Vaz, V. ; Travassos, G. ; Conte, T. WDP-RT: Uma técnica de leitura para inspeção de usabilidade de aplicações Web. In: VI ESELAW – Experimental Software Engineering Latin American Workshop, 2009, São Carlos. (ESELAW 2009).
Chaves, L. C. Formal Verification Applied to Attitude Control Software of Unmanned Aerial Vehicles. M.Sc. Thesis, Federal University of Amazonas, 2018.
Chaves, L. C. ProtectMe: An Android Application to Prevent Domestic Violence. B.Sc. Thesis, Federal University of Amazonas, 2015.
1. Chaves, L., Bessa, I., Cordeiro, L., Kroening, D. DSValidator: An Automated Counterexample Reproducibility Tool for Digital Systems. Available at https://arxiv.org/abs/1610.07066
2. Chaves, L., Conte, T., Uma Técnica Automatizada para Inspeção de Usabilidade de Aplicações Web. In: Institutional Scientific Initiation Program, Federal University of Amazonas, 2011
1. Chaves, L. Software Verification in Digital Controllers Applied to Unmnanned Aerial Vehicles. In: Test Day, SIDIA Institute of Science and Technology, 2019 (portuguese)