Specification engineering and modular verification using a web-integrated verifying compiler. - Charles T. Cook; Heather K. Harton; Hampton Smith; Murali Sitaraman (ICSE, 2012)

A systematic approach to teaching abstraction and mathematical modeling. - Charles T. Cook; Svetlana Drachova-Strang; Jason O. Hallstrom; Joseph E. Hollingsworth; David Pokrass Jacobs; Joan Krone; Murali Sitaraman (ITiCSE, 2012)

Monitoring Sensor Measurement Anomalies of Streaming Environmental Data Using a Local Correlation Score. - Ian Taylor; Julia L. Sharp; David L. White; Jason O. Hallstrom; Gene W. Eidson; J. Barr von Oehsen; Edward B. Duffy; Charles V. Privette III; Charles T. Cook; Aravindh Sampath; Gyanas Radhakrishnan (COM.Geo, 2013)

Specification and reasoning in SE projects using a Web IDE. - Charles T. Cook; Svetlana Drachova-Strang; Yu-Shan Sun; Murali Sitaraman; Jeffrey C. Carver; Joseph E. Hollingsworth (CSEE&T, 2013)

A Language for Building Verified Software Components. - Gregory Kulczycki; Murali Sitaraman; Joan Krone; Joseph E. Hollingsworth; William F. Ogden; Bruce W. Weide; Paolo Bucci; Charles T. Cook; Svetlana Drachova-Strang; Blair Durkee; Heather K. Harton; Wayne D. Heym; et al. (ICSR, 2013)

A web-integrated verifying compiler for RESOLVE: a research perspective. - Daniel Welch 001; Charles T. Cook; Yu-Shan Sun; Murali Sitaraman (ISEC, 2014)

Experience report: evolution of a web-integrated software development and verification environment. - Charles T. Cook; Yu-Shan Sun; Murali Sitaraman (Softw. Pract. Exp., 2015)