Charles P. Shelton

According to our database, Charles P. Shelton authored at least 12 papers between 2000 and 2011.

Collaborative distances:

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

2011

Functional and Nonfunctional Design Verification for Embedded Software Systems.

Arnab Ray, Christopher Ackermann, Rance Cleaveland, Charles P. Shelton, Chris Martin

Adv. Comput., 2011

A practical ontology framework for static model analysis.

Ben Lickly, Charles P. Shelton, Elizabeth Latronico, Edward A. Lee

Proceedings of the 11th International Conference on Embedded Software, 2011

2010

Automatic Requirement Extraction from Test Cases.

Christopher Ackermann, Rance Cleaveland, Samuel Huang, Arnab Ray, Charles P. Shelton, Elizabeth Latronico

Proceedings of the Runtime Verification - First International Conference, 2010

2009

Scalable Semantic Annotation Using Lattice-Based Ontologies.

Man-Kit Leung, Thomas Mandl, Edward A. Lee, Elizabeth Latronico, Charles P. Shelton, Stavros Tripakis, Ben Lickly

Proceedings of the Model Driven Engineering Languages and Systems, 2009

Validating Automotive Control Software Using Instrumentation-Based Verification.

Arnab Ray, Iris Morschhaeuser, Christopher Ackermann, Rance Cleaveland, Charles P. Shelton, Chris Martin

Proceedings of the ASE 2009, 2009

CAMEL: A Tool for Collaborative Distributed Software Design.

Marcelo Cataldo, Charles P. Shelton, Yongjoon Choi, Yun-Yin Huang, Vytesh Ramesh, Darpan Saini, Liang-Yun Wang

Proceedings of the 4th IEEE International Conference on Global Software Engineering, 2009

2005

Designing software architectures to achieve quality attribute requirements.

Felix Bachmann, Leonard J. Bass, Mark Klein, Charles P. Shelton

IEE Proc. Softw., 2005

2004

Experience Using an Expert System to Assist an Architect in Designing for Modifiability.

Felix Bachmann, Leonard J. Bass, Mark Klein, Charles P. Shelton

Proceedings of the 4th Working IEEE / IFIP Conference on Software Architecture (WICSA 2004), 2004

Improving System Dependability with Functional Alternatives.

Charles P. Shelton, Philip Koopman

Proceedings of the 2004 International Conference on Dependable Systems and Networks (DSN 2004), 28 June, 2004

2003

A Framework for Scalable Analysis and Design of System-wide Graceful Degradation in Distributed Embedded Systems.

Charles P. Shelton, Philip Koopman, William Nace

Proceedings of the 8th IEEE International Workshop on Object-Oriented Real-Time Dependable Systems (WORDS 2003), 2003

2002

Using Architectural Properties to Model and Measure Graceful Degradation.

Charles P. Shelton, Philip Koopman

Proceedings of the Architecting Dependable Systems [the book is a result of the ICSE 2002 Workshop on Software Architectures for Dependable Systems], 2002

2000

Robustness Testing of the Microsoft Win32 API.

Charles P. Shelton, Philip Koopman, Kobey Devale

Proceedings of the 2000 International Conference on Dependable Systems and Networks (DSN 2000) (formerly FTCS-30 and DCCA-8), 2000