Map2Check: Using Symbolic Execution and Fuzzing: (Competition Contribution)

por Rocha, Herbert, Menezes, Rafael, Cordeiro, Lucas C., Barreto, Raimundo
Publicado 2020

FuSeBMC: A White-Box Fuzzer for Finding Security Vulnerabilities in C Programs (Competition Contribution)

por Alshmrany, Kaled M., Menezes, Rafael S., Gadelha, Mikhail R., Cordeiro, Lucas C.
Publicado 2021

Formal synthesis of non-fragile state-feedback digital controllers considering performance requirements for step response

por Cavalcante, Thiago, Bessa, Iury, Lima Filho, Eddie B. de, Cordeiro, Lucas C.
Publicado 2022

ESBMC: Scalable and Precise Test Generation based on the Floating-Point Theory: (Competition Contribution)

por Gadelha, Mikhail R., Menezes, Rafael, Monteiro, Felipe R., Cordeiro, Lucas C., Nicole, Denis
Publicado 2020

Automated formal synthesis of provably safe digital controllers for continuous plants

por Abate, Alessandro, Bessa, Iury, Cordeiro, Lucas, David, Cristina, Kesseli, Pascal, Kroening, Daniel, Polgreen, Elizabeth
Publicado 2019

Efficacy, safety, and immunogenicity of a biosimilar recombinant human follicle-stimulating hormone (Folitime(®)) vs. Gonal-f(®) in women undergoing ovarian stimulation for IVF: A...

por Pasqualini, Agustín, Ruhlmann, Claudio, Botti, Gustavo Angel, Estofán, Daniel Eduardo, Pasqualini, Sergio, Inciarte, Florencia, Ruhlmann, Felicitas, Lopez, Carla, Palena, Celina, Klimovsky, Ezequiel, Federico, Andrea, Gonzalez, Eliseo, Cordeiro, Lucas, Lago, Nestor
Publicado 2021