Charles P. Shelton

Publication Activity (10 Years)

Years Active: 2000-2011
Publications (10 Years): 0

Publications

Arnab Ray, Christopher Ackermann, Rance Cleaveland, Charles P. Shelton, Chris Martin
Functional and Nonfunctional Design Verification for Embedded Software Systems. Adv. Comput. 83 (2011)
Ben Lickly, Charles P. Shelton, Elizabeth Latronico, Edward A. Lee
A practical ontology framework for static model analysis. EMSOFT (2011)
Christopher Ackermann, Rance Cleaveland, Samuel Huang, Arnab Ray, Charles P. Shelton, Elizabeth Latronico
Automatic Requirement Extraction from Test Cases. RV (2010)
Arnab Ray, Iris Morschhaeuser, Christopher Ackermann, Rance Cleaveland, Charles P. Shelton, Chris Martin
Validating Automotive Control Software Using Instrumentation-Based Verification. ASE (2009)
Man-Kit Leung, Thomas Mandl, Edward A. Lee, Elizabeth Latronico, Charles P. Shelton, Stavros Tripakis, Ben Lickly
Scalable Semantic Annotation Using Lattice-Based Ontologies. MoDELS (2009)
Marcelo Cataldo, Charles P. Shelton, Yongjoon Choi, Yun-Yin Huang, Vytesh Ramesh, Darpan Saini, Liang-Yun Wang
CAMEL: A Tool for Collaborative Distributed Software Design. ICGSE (2009)
Felix Bachmann, Leonard J. Bass, Mark Klein, Charles P. Shelton
Designing software architectures to achieve quality attribute requirements. IEE Proc. Softw. 152 (4) (2005)
Felix Bachmann, Leonard J. Bass, Mark Klein, Charles P. Shelton
Experience Using an Expert System to Assist an Architect in Designing for Modifiability. WICSA (2004)
Charles P. Shelton, Philip Koopman
Improving System Dependability with Functional Alternatives. DSN (2004)
Charles P. Shelton, Philip Koopman, William Nace
A Framework for Scalable Analysis and Design of System-wide Graceful Degradation in Distributed Embedded Systems. WORDS (2003)
Charles P. Shelton, Philip Koopman
Using Architectural Properties to Model and Measure Graceful Degradation. WADS (2002)
Charles P. Shelton, Philip Koopman, Kobey Devale
Robustness Testing of the Microsoft Win32 API. DSN (2000)