| Interprocedural Context-Unbounded Program Analysis Using Observation Sequences | 0 | 0.34 | 2021 |
| Reverse-Engineering Deep Neural Networks Using Floating-Point Timing Side-Channels | 1 | 0.34 | 2020 |
| Identifying volatile numeric expressions in numeric computing applications. | 0 | 0.34 | 2019 |
| IJIT: An API for Boolean Program Analysis with Just-in-Time Translation (Extended Technical Report). | 0 | 0.34 | 2017 |
| Symbolic Execution for Checking the Accuracy of Floating-Point Programs | 2 | 0.38 | 2015 |
| Lost in Abstraction: Monotonicity in Multi-Threaded Programs (Extended Technical Report). | 1 | 0.36 | 2014 |
| Lost in Abstraction: Monotonicity in Multi-threaded Programs. | 3 | 0.40 | 2014 |
| Make it real: Effective floating-point reasoning via exact arithmetic | 7 | 0.54 | 2014 |
| The FMCAD graduate student forum | 1 | 0.41 | 2013 |
| Efficient coverability analysis by proof minimization | 14 | 0.67 | 2012 |
| Context-aware counter abstraction | 6 | 0.52 | 2010 |
| A lazy approach to symmetry reduction | 1 | 0.36 | 2010 |
| Finding Lean Induced Cycles in Binary Hypercubes | 1 | 0.36 | 2009 |
| Strengthening properties using abstraction refinement | 4 | 0.40 | 2009 |
| Biologically inspired compliant control of a monopod designed for highly dynamic applications | 1 | 0.45 | 2009 |
| Extending Symmetry Reduction by Exploiting System Architecture | 2 | 0.39 | 2009 |
| Sviss: symbolic verification of symmetric systems | 9 | 0.52 | 2008 |
| Craig Interpolation for Quantifier-Free Presburger Arithmetic | 2 | 0.38 | 2008 |
| Adaptive Symmetry Reduction | 5 | 0.45 | 2007 |
| Reducing model checking of the few to the one | 7 | 0.58 | 2006 |
| Dynamic Symmetry Reduction | 23 | 1.08 | 2005 |
| Efficient Reduction Techniques for Systems with Many Components | 13 | 0.63 | 2005 |
