| 2005 |
|---|
| 4 | EE | Annette Bunker,
Ganesh Gopalakrishnan,
Konrad Slind:
Live sequence charts applied to hardware requirements specification and verification.
STTT 7(4): 341-350 (2005) |
| 2004 |
|---|
| 3 | | Konrad Slind,
Annette Bunker,
Ganesh Gopalakrishnan:
Theorem Proving in Higher Order Logics, 17th International Conference, TPHOLs 2004, Park City, Utah, USA, September 14-17, 2004, Proceedings
Springer 2004 |
| 2 | EE | Annette Bunker,
Ganesh Gopalakrishnan,
Sally A. McKee:
Formal hardware specification languages for protocol compliance verification.
ACM Trans. Design Autom. Electr. Syst. 9(1): 1-32 (2004) |
| 1998 |
|---|
| 1 | EE | Annette Bunker,
Trent N. Larson,
Michael D. Jones,
Phillip J. Windley:
Alexandria: A Tool for Hierarchical Verification.
FMCAD 1998: 515-522 |
