Lennon Chaves
Título
Citado por
Citado por
Año
WDP-RT: Uma técnica de leitura para inspeção de usabilidade de aplicações Web
M Gomes, DV Santos, L Chaves, A Castro, VT Vaz, A Soares, ...
VI Experimental Software Engineering Latin American Workshop (ESELAW 2009) 1 …, 2009
172009
Verifying digital systems with MATLAB
L Chaves, I Bessa, L Cordeiro, D Kroening, E Lima
Proceedings of the 26th ACM SIGSOFT International Symposium on Software …, 2017
122017
DSSynth: an automated digital controller synthesis tool for physical plants
A Abate, I Bessa, D Cattaruzza, L Chaves, L Cordeiro, C David, P Kesseli, ...
2017 32nd IEEE/ACM International Conference on Automated Software …, 2017
102017
DSVerifier-aided verification applied to attitude control software in unmanned aerial vehicles
L Chaves, IV Bessa, H Ismail, AB dos Santos Frutuoso, L Cordeiro, ...
IEEE Transactions on Reliability 67 (4), 1420-1441, 2018
72018
Verifying fragility in digital systems with uncertainties using DSVerifier v2. 0
LC Chaves, HI Ismail, IV Bessa, LC Cordeiro, EB de Lima Filho
Journal of Systems and Software 153, 22-43, 2019
42019
Dsvalidator: An automated counterexample reproducibility tool for digital systems
L Chaves, I Bessa, L Cordeiro, D Kroening
Proceedings of the 21st International Conference on Hybrid Systems …, 2018
42018
Formal verification applied to attitude control software of unmanned aerial vehicles
LC Chaves
Universidade Federal do Amazonas, 2018
12018
WE-QT tool: uma ferramenta de apoio a inspeção de usabilidade de aplicações web
P Fernandes, L Chaves, B Bonifácio, T Conte
Anais Estendidos do X Simpósio Brasileiro sobre Fatores Humanos em Sistemas …, 2011
12011
Técnica Automatizada para Inspeção de Aplicações Web
LC Chaves
Universidade Federal do Amazonas, 2011
2011
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–9