Charles T. Cook

According to our database, Charles T. Cook authored at least 7 papers between 2012 and 2015.

Collaborative distances:

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

2015

Experience report: evolution of a web-integrated software development and verification environment.

Charles T. Cook, Yu-Shan Sun, Murali Sitaraman

Softw. Pract. Exp., 2015

2014

A web-integrated verifying compiler for RESOLVE: a research perspective.

Daniel Welch, Charles T. Cook, Yu-Shan Sun, Murali Sitaraman

Proceedings of the 7th India Software Engineering Conference, Chennai, 2014

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, Dustin Hoffman, Hampton Smith, Yu-Shan Sun, Aditi Tagore, Nighat Yasmin, Diego Zaccai

Proceedings of the Safe and Secure Software Reuse, 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

Proceedings of the 26th International Conference on Software Engineering Education and Training, 2013

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

Proceedings of the Fourth International Conference on Computing for Geospatial Research and Application, 2013

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

Proceedings of the Annual Conference on Innovation and Technology in Computer Science Education, 2012

Specification engineering and modular verification using a web-integrated verifying compiler.

Charles T. Cook, Heather K. Harton, Hampton Smith, Murali Sitaraman

Proceedings of the 34th International Conference on Software Engineering, 2012