Denis Bueno

According to our database, Denis Bueno authored at least 6 papers between 2013 and 2021.

Collaborative distances:

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

2021

Software Model Checking with Uninterpreted Functions.

Denis Bueno

PhD thesis, 2021

2020

EUFicient Reachability in Software with Arrays.

Denis Bueno, Arlen Cox, Karem A. Sakallah

Proceedings of the 2020 Formal Methods in Computer Aided Design, 2020

2019

euforia: Complete Software Model Checking with Uninterpreted Functions.

Denis Bueno, Karem A. Sakallah

Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2019

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

Proceedings of the Human Interface and the Management of Information. Visual Information and Knowledge Management, 2019

2017

Improving performance of CDCL SAT solvers by automated design of variable selection heuristics.

Marketa Illetskova, Alex R. Bertels, Joshua M. Tuggle, Adam Harter, Samuel Richter, Daniel R. Tauritz, Samuel Mulder, Denis Bueno, Michelle Leger, William M. Siever

Proceedings of the 2017 IEEE Symposium Series on Computational Intelligence, 2017

2013

Detecting Traditional Packers, Decisively.

Denis Bueno, Kevin J. Compton, Karem A. Sakallah, Michael D. Bailey

Proceedings of the Research in Attacks, Intrusions, and Defenses, 2013