Charles P. Shelton

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