Travelled to:
1 × New Zealand
1 × Norway
1 × USA
Collaborated with:
F.Bachmann L.J.Bass M.Klein A.Ray I.Morschhaeuser C.Ackermann R.Cleaveland C.Martin M.Leung T.Mandl E.A.Lee E.Latronico S.Tripakis B.Lickly
Talks about:
use (3) base (2) instrument (1) architect (1) softwar (1) scalabl (1) ontolog (1) control (1) automot (1) system (1)
Person: Charles P. Shelton
DBLP: Shelton:Charles_P=
Contributed to:
Wrote 3 papers:
- ASE-2009-RayMACSM #using #validation #verification
- Validating Automotive Control Software Using Instrumentation-Based Verification (AR, IM, CA, RC, CPS, CM), pp. 15–25.
- MoDELS-2009-LeungMLLSTL #ontology #scalability #semantics #using
- Scalable Semantic Annotation Using Lattice-Based Ontologies (MKL, TM, EAL, EL, CPS, ST, BL), pp. 393–407.
- WICSA-2004-BachmannBKS #architecture #design #experience #using
- Experience Using an Expert System to Assist an Architect in Designing for Modifiability (FB, LJB, MK, CPS), pp. 281–284.