Travelled to:1 × United Kingdom
2 × USA
Collaborated with:A.Gacek J.Backes K.Slind M.W.Whalen C.Zhou R.Kumar D.Bhatt K.Schloegel V.Ha M.Rangarajan H.Rueß B.Dutertre
Talks about:interconnect (1) architectur (1) decomposit (1) stateflow (1) framework (1) simulink (1) hierarch (1) specifi (1) softwar (1) resolut (1)
Person: Darren D. Cofer
DBLP: Cofer:Darren_D=
Contributed to:
2014
2007
2004Wrote 3 papers:
- HILT-2014-GacekBCSW #architecture #assurance #modelling #named
- Resolute: an assurance case language for architecture models (AG, JB, DDC, KS, MWW), pp. 19–28.
- SEKE-2007-ZhouKBSC #framework #requirements #specification
- A Framework of Hierarchical Requirements Patterns for Specifying Systems of Interconnected Simulink/Stateflow Modules (CZ, RK, DB, KS, DDC), pp. 179–184.
- ICSE-2004-HaRCRD #case study #composition #experience #induction #proving #realtime
- Feature-Based Decomposition of Inductive Proofs Applied to Real-Time Avionics Software: An Experience Report (VH, MR, DDC, HR, BD), pp. 304–313.