Login / Signup
Denis Bueno
Publication Activity (10 Years)
Years Active: 2013-2020
Publications (10 Years): 4
Top Topics
Propositional Satisfiability
Data Flow
Automated Design
Sat Solvers
Top Venues
VMCAI
SSCI
FMCAD
RAID
</>
Publications
</>
Denis Bueno
,
Arlen Cox
,
Karem A. Sakallah
EUFicient Reachability in Software with Arrays.
FMCAD
(2020)
Karin M. Butler
,
Michelle Leger
,
Denis Bueno
,
Christopher Cuellar
,
Michael J. Haass
,
Timothy Loffredo
,
Geoffrey Reedy
,
Julian Tuminaro
Creating a User-Centric Data Flow Visualization: A Case Study.
HCI (4)
(2019)
Denis Bueno
,
Karem A. Sakallah
euforia: Complete Software Model Checking with Uninterpreted Functions.
VMCAI
(2019)
Marketa Illetskova
,
Alex R. Bertels
,
Joshua M. Tuggle
,
Adam Harter
,
Samuel Richter
,
Daniel R. Tauritz
,
Samuel A. Mulder
,
Denis Bueno
,
Michelle Leger
,
William M. Siever
Improving performance of CDCL SAT solvers by automated design of variable selection heuristics.
SSCI
(2017)
Denis Bueno
,
Kevin J. Compton
,
Karem A. Sakallah
,
Michael Bailey
Detecting Traditional Packers, Decisively.
RAID
(2013)