Charles P. Shelton

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

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2011
Functional and Nonfunctional Design Verification for Embedded Software Systems.
Advances in Computers, 2011

A practical ontology framework for static model analysis.
Proceedings of the 11th International Conference on Embedded Software, 2011

2010
Automatic Requirement Extraction from Test Cases.
Proceedings of the Runtime Verification - First International Conference, 2010

2009
Scalable Semantic Annotation Using Lattice-Based Ontologies.
Proceedings of the Model Driven Engineering Languages and Systems, 2009

Validating Automotive Control Software Using Instrumentation-Based Verification.
Proceedings of the ASE 2009, 2009

CAMEL: A Tool for Collaborative Distributed Software Design.
Proceedings of the 4th IEEE International Conference on Global Software Engineering, 2009

2005
Designing software architectures to achieve quality attribute requirements.
IEE Proceedings - Software, 2005

2004
Experience Using an Expert System to Assist an Architect in Designing for Modifiability.
Proceedings of the 4th Working IEEE / IFIP Conference on Software Architecture (WICSA 2004), 2004

Improving System Dependability with Functional Alternatives.
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.
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.
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.
Proceedings of the 2000 International Conference on Dependable Systems and Networks (DSN 2000) (formerly FTCS-30 and DCCA-8), 2000


  Loading...