Name
Title | Citations | PageRank | Year |
|---|---|---|---|
| Learning conditional abstractions | 5 | 0.42 | 2011 |
| Counterexample-guided SMT-driven optimal buffer sizing | 3 | 0.38 | 2011 |
| ATLAS: Automatic Term-level abstraction of RTL designs | 5 | 0.50 | 2010 |
| Symbolic reachability analysis of lazy linear hybrid automata | 18 | 0.85 | 2007 |