​
Login / Signup
Charles T. Cook
Publication Activity (10 Years)
Years Active: 2012-2015
Publications (10 Years): 0
Top Topics
Web Documents
Environmental Data
Formal Specification
Mathematical Modeling
Top Venues
ISEC
COM.Geo
ITiCSE
ICSR
</>
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)