Charles T. Cook

Publication Activity (10 Years)

Years Active: 2012-2015
Publications (10 Years): 0

Top Topics

Environmental Data

Formal Specification

Mathematical Modeling

Top Venues

Publications

Charles T. Cook, Yu-Shan Sun, Murali Sitaraman
Experience report: evolution of a web-integrated software development and verification environment. Softw. Pract. Exp. 45 (6) (2015)
Daniel Welch, Charles T. Cook, Yu-Shan Sun, Murali Sitaraman
A web-integrated verifying compiler for RESOLVE: a research perspective. ISEC (2014)
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
Monitoring Sensor Measurement Anomalies of Streaming Environmental Data Using a Local Correlation Score. COM.Geo (2013)
Charles T. Cook, Svetlana Drachova-Strang, Yu-Shan Sun, Murali Sitaraman, Jeffrey C. Carver, Joseph E. Hollingsworth
Specification and reasoning in SE projects using a Web IDE. CSEE&T (2013)
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, Dustin Hoffman, Hampton Smith, Yu-Shan Sun, Aditi Tagore, Nighat Yasmin, Diego Zaccai
A Language for Building Verified Software Components. ICSR (2013)
Charles T. Cook, Svetlana Drachova-Strang, Jason O. Hallstrom, Joseph E. Hollingsworth, David Pokrass Jacobs, Joan Krone, Murali Sitaraman
A systematic approach to teaching abstraction and mathematical modeling. ITiCSE (2012)
Charles T. Cook, Heather K. Harton, Hampton Smith, Murali Sitaraman
Specification engineering and modular verification using a web-integrated verifying compiler. ICSE (2012)