William E. Warner

According to our database, William E. Warner authored at least 4 papers between 1995 and 2001.

Collaborative distances:

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

2001

Optimizing Symbolic Model Checking for Statecharts.

William Chan, Richard J. Anderson, Paul Beame, David H. Jones, David Notkin, William E. Warner

IEEE Trans. Software Eng., 2001

1999

Decoupling Synchronization from Local Control for Efficient Symbolic Model Checking of Statecharts.

William Chan, Richard J. Anderson, Paul Beame, David H. Jones, David Notkin, William E. Warner

Proceedings of the 1999 International Conference on Software Engineering, 1999

1996

Lessons Learned from a Trial Application of Requirements Modeling Using Statecharts.

C. R. Nobe, William E. Warner

Proceedings of the 2nd International Conference on Requirements Engineering, 1996

1995

An industry response to comprehensive enterprise information systems management.

William E. Warner

Proceedings of the Integrated Network Management IV, 1995