| * | 2009 |
|---|
| 3 | EE | Randal E. Bryant,
Daniel Kroening,
Joël Ouaknine,
Sanjit A. Seshia,
Ofer Strichman,
Bryan A. Brady:
An abstraction-based decision procedure for bit-vector arithmetic.
STTT 11(2): 95-104 (2009) |
| 2007 |
|---|
| 2 | EE | Susmit Jha,
Bryan A. Brady,
Sanjit A. Seshia:
Symbolic Reachability Analysis of Lazy Linear Hybrid Automata.
FORMATS 2007: 241-256 |
| 1 | EE | Randal E. Bryant,
Daniel Kroening,
Joël Ouaknine,
Sanjit A. Seshia,
Ofer Strichman,
Bryan A. Brady:
Deciding Bit-Vector Arithmetic with Abstraction.
TACAS 2007: 358-372 |
