William E. Warner

An industry response to comprehensive enterprise information systems management

William E. Warner, 1995, Integrated Network Management.

Lessons learned from a trial application of requirements modeling using statecharts

William E. Warner, C. R. Nobe, 1996, Proceedings of the Second International Conference on Requirements Engineering.

Optimizing Symbolic Model Checking for Statecharts

David Notkin, Richard J. Anderson, Paul Beame, 2001, IEEE Trans. Software Eng..

Decoupling synchronization from local control for efficient symbolic model checking of statecharts

David Notkin, Richard J. Anderson, Paul Beame, 1999, Proceedings of the 1999 International Conference on Software Engineering (IEEE Cat. No.99CB37002).

Decoupling Synchronization from Logic for Efficient Symbolic Model Checking of Statecharts

David Notkin, Richard J. Anderson, Paul Beame, 1998 .

Representation of cohesion in small combat unit during a combat incident

William E. Warner, 2004 .