Travelled to:1 × France
1 × Germany
1 × New Zealand
1 × USA
Collaborated with:M.Lindvall R.Cleaveland G.Dennis D.Ganesan D.McComas M.Bartholomew A.Ray I.Morschhaeuser C.P.Shelton C.Martin
Talks about:softwar (2) architectur (1) instrument (1) redesign (1) maintain (1) interact (1) behavior (1) product (1) flexibl (1) control (1)
Person: Christopher Ackermann
DBLP: Ackermann:Christopher
Contributed to:
2009
2009
2009
2009Wrote 4 papers:
- ASE-2009-RayMACSM #using #validation #verification
- Validating Automotive Control Software Using Instrumentation-Based Verification (AR, IM, CA, RC, CPS, CM), pp. 15–25.
- CSMR-2009-AckermannLD #case study #flexibility #maintenance
- Redesign for Flexibility and Maintainability: A Case Study (CA, ML, GD), pp. 259–262.
- SPLC-2009-GanesanLAMB #architecture #design #product line #verification
- Verifying architectural design rules of the flight software product line (DG, ML, CA, DM, MB), pp. 161–170.
- WCRE-1999-AckermannLC99a #behaviour #interactive
- Recovering Views of Inter-System Interaction Behaviors (CA, ML, RC), pp. 53–61.