DSValidator: an automated counterexample reproducibility tool for digital systems by Chaves, L, Bessa, I, Cordeiro, L, Kroening, D

SMT-based verification applied to non-convex optimization problems by Araujo, R, Bessa, I, Cordeiro, L, Filho, J

Verifying Digital Systems with MATLAB by Chaves, L, Bessa, I, Cordeiro, L, Kroening, D, Filho, E

Counterexample guided inductive optimization applied to mobile robots path planning by Araújo, R, Ribeiro, A, Bessa, I, Cordeiro, L, Chaves Filho, J

Formal non-fragile stability verification of digital control systems with uncertainty by Bessa, I, Ismail, H, Palhares, R, Cordeiro, L, Chaves Filho, J

Verifying digital systems with MATLAB by Chaves, L, Bessa, I, Cordeiro, L, Kroening, D, Lima Filho, E

OptCE: A counterexample-guided inductive optimization solver by Albuquerque, H, Araújo, R, Bessa, I, Cordeiro, L, de Lima Filho, E

Automated formal synthesis of provably safe digital controllers for continuous plants by Abate, A, Bessa, I, Cordeiro, L, David, C, Kesseli, P, Kroening, D, Polgreen, E

Sound and automated synthesis of digital stabilizing controllers for continuous plants by Abate, A, Bessa, I, Cattaruzza, D, Cordeiro, L, David, C, Kesseli, P, Kroening, D

Automated formal synthesis of digital controllers for state-space physical plants by Abate, A, Bessa, I, Cattaruzza, D, Cordeiro, L, David, C, Kesseli, P, Kroening, D, Polgreen, E

DSSynth: An automated digital controller synthesis tool for physical plants by Abate, A, Bessa, I, Cattaruzza, D, Chaves, L, Cordeiro, L, David, C, Kesseli, P, Kroening, D, Polgreen, E