Annette Bunker

According to our database, Annette Bunker authored at least 6 papers between 1998 and 2007.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2007

Improving Translation of Live Sequence Charts to Temporal Logic.

Rahul Kumar, Eric G. Mercer, Annette Bunker

Proceedings of the Seventh International Workshop on Automated Verification of Critical Systems, 2007

2005

Live sequence charts applied to hardware requirements specification and verification.

Annette Bunker, Ganesh Gopalakrishnan, Konrad Slind

Int. J. Softw. Tools Technol. Transf., 2005

2004

Applying a Visual Specification Language to Hardware Protocol Verification.

Annette Bunker

PhD thesis, 2004

Formal hardware specification languages for protocol compliance verification.

Annette Bunker, Ganesh Gopalakrishnan, Sally A. McKee

ACM Trans. Design Autom. Electr. Syst., 2004

2001

Using live sequence charts for hardware protocol specification and compliance verification.

Annette Bunker, Ganesh Gopalakrishnan

Proceedings of the Sixth IEEE International High-Level Design Validation and Test Workshop 2001, 2001

1998

Alexandria: A Tool for Hierarchical Verification.

Annette Bunker, Trent N. Larson, Michael D. Jones, Phillip J. Windley

Proceedings of the Formal Methods in Computer-Aided Design, 1998