Felipe R. Monteiro
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
5
Venues
5
Active years
2016–2022
Best venue rank
A*
Where they publish
Papers
5 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2022 | ICST | Summary of Model Checking C++ Programs. | Felipe R. Monteiro, Mikhail R. Gadelha, Lucas C. Cordeiro |
| 2020 | FASE | ESBMC: Scalable and Precise Test Generation based on the Floating-Point Theory - (Competition Contribution). | Mikhail Y. R. Gadelha, Rafael Menezes, Felipe R. Monteiro, Lucas C. Cordeiro, Denis A. Nicole |
| 2020 | ICSE | Code-level model checking in the software development workflow. | Nathan Chong, Byron Cook, Konstantinos Kallas, Kareem Khazem, Felipe R. Monteiro, Daniel Schwartz-Narbonne, Serdar Tasiran, Michael Tautschnig, Mark R. Tuttle |
| 2019 | TACAS | ESBMC v6.0: Verifying C Programs Using k-Induction and Invariant Inference - (Competition Contribution). | Mikhail Y. R. Gadelha, Felipe R. Monteiro, Lucas C. Cordeiro, Denis A. Nicole |
| 2016 | FIE | Complementary training programme for electrical and computer engineering students through an industrial-academic collaboration. | Felipe R. Monteiro, Phillipe A. Pereira, Lucas C. Cordeiro, Cicero Ferreira Fernandes Costa Filho, Marly Guimares Fernandes Costa |