Denis Bueno
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
4
Venues
4
Active years
2013–2020
Best venue rank
B
Where they publish
Papers
4 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2020 | FMCAD | EUFicient Reachability in Software with Arrays. | Denis Bueno, Arlen Cox, Karem A. Sakallah |
| 2019 | HCI | Creating a User-Centric Data Flow Visualization: A Case Study. | Karin M. Butler, Michelle Leger, Denis Bueno, Christopher Cuellar, Michael J. Haass, Timothy Loffredo, Geoffrey Reedy, Julian Tuminaro |
| 2019 | VMCAI | euforia: Complete Software Model Checking with Uninterpreted Functions. | Denis Bueno, Karem A. Sakallah |
| 2013 | RAID | Detecting Traditional Packers, Decisively. | Denis Bueno, Kevin J. Compton, Karem A. Sakallah, Michael D. Bailey |