Lennon C. Chaves

According to our database, Lennon C. Chaves authored at least 6 papers between 2016 and 2019.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2019

Verifying fragility in digital systems with uncertainties using DSVerifier <i>v</i>2.0.

Lennon C. Chaves, Hussama Ibrahim Ismail, Iury Valente de Bessa, Lucas C. Cordeiro, Eddie Batista de Lima Filho

J. Syst. Softw., 2019

2018

DSVerifier-Aided Verification Applied to Attitude Control Software in Unmanned Aerial Vehicles.

Lennon C. Chaves, Iury Bessa, Hussama Ismail, Adriano Bruno dos Santos Frutuoso, Lucas C. Cordeiro, Eddie Batista de Lima Filho

IEEE Trans. Reliab., 2018

DSValidator: An Automated Counterexample Reproducibility Tool for Digital Systems.

Lennon C. Chaves, Iury Bessa, Lucas C. Cordeiro, Daniel Kroening

Proceedings of the 21st International Conference on Hybrid Systems: Computation and Control (part of CPS Week), 2018

2017

DSSynth: an automated digital controller synthesis tool for physical plants.

Alessandro Abate, Iury Bessa, Dario Cattaruzza, Lennon C. Chaves, Lucas C. Cordeiro, Cristina David, Pascal Kesseli, Daniel Kroening, Elizabeth Polgreen

Proceedings of the 32nd IEEE/ACM International Conference on Automated Software Engineering, 2017

Verifying digital systems with MATLAB.

Lennon C. Chaves, Iury Bessa, Lucas C. Cordeiro, Daniel Kroening, Eddie Batista de Lima Filho

Proceedings of the 26th ACM SIGSOFT International Symposium on Software Testing and Analysis, Santa Barbara, CA, USA, July 10, 2017

2016

DSValidator: An Automated Counterexample Reproducibility Tool for Digital Systems (Tool Demonstration).

Lennon C. Chaves, Iury Bessa, Lucas C. Cordeiro

CoRR, 2016