Lennon C. Chaves

Publication Activity (10 Years)

Years Active: 2016-2019
Publications (10 Years): 7

Top Topics

Control Software

Multiresolution

Unmanned Aerial Vehicles

Top Venues

IEEE Trans. Reliab.

J. Syst. Softw.

Publications

Lennon C. Chaves, Hussama Ibrahim Ismail, Iury Valente de Bessa, Lucas C. Cordeiro, Eddie Batista de Lima Filho
2.0. J. Syst. Softw. 153 (2019)
Lennon C. Chaves, Iury Bessa, Lucas C. Cordeiro, Daniel Kroening
DSValidator: An Automated Counterexample Reproducibility Tool for Digital Systems. HSCC (2018)
Lennon C. Chaves, Iury Bessa, Hussama Ismail, Adriano Bruno dos Santos Frutuoso, Lucas C. Cordeiro, Eddie Batista de Lima Filho
DSVerifier-Aided Verification Applied to Attitude Control Software in Unmanned Aerial Vehicles. IEEE Trans. Reliab. 67 (4) (2018)
Lennon C. Chaves, Iury Bessa, Lucas C. Cordeiro, Daniel Kroening, Eddie Batista de Lima Filho
Verifying Digital Systems with MATLAB. CoRR (2017)
Lennon C. Chaves, Iury Bessa, Lucas C. Cordeiro, Daniel Kroening, Eddie Batista de Lima Filho
Verifying digital systems with MATLAB. ISSTA (2017)
Alessandro Abate, Iury Bessa, Dario Cattaruzza, Lennon C. Chaves, Lucas C. Cordeiro, Cristina David, Pascal Kesseli, Daniel Kroening, Elizabeth Polgreen
DSSynth: an automated digital controller synthesis tool for physical plants. ASE (2017)
Lennon C. Chaves, Iury Bessa, Lucas C. Cordeiro
DSValidator: An Automated Counterexample Reproducibility Tool for Digital Systems (Tool Demonstration). CoRR (2016)