William E. Warner

Publication Activity (10 Years)

Years Active: 1995-2001
Publications (10 Years): 0

Publications

William Chan, Richard J. Anderson, Paul Beame, David H. Jones, David Notkin, William E. Warner
Optimizing Symbolic Model Checking for Statecharts. IEEE Trans. Software Eng. 27 (2) (2001)
William Chan, Richard J. Anderson, Paul Beame, David H. Jones, David Notkin, William E. Warner
Decoupling Synchronization from Local Control for Efficient Symbolic Model Checking of Statecharts. ICSE (1999)
C. R. Nobe, William E. Warner
Lessons Learned from a Trial Application of Requirements Modeling Using Statecharts. ICRE (1996)
William E. Warner
An industry response to comprehensive enterprise information systems management. Integrated Network Management (1995)