Travelled to:1 × France
1 × United Kingdom
Collaborated with:P.Alexander P.Baraona V.Ha D.D.Cofer H.Rueß B.Dutertre
Talks about:decomposit (1) summari (1) softwar (1) report (1) induct (1) featur (1) experi (1) vspec (1) proof (1) brief (1)
Person: Murali Rangarajan
DBLP: Rangarajan:Murali
Contributed to:
2004
1999Wrote 2 papers:
- 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.
- FM-v2-1999-AlexanderRB #summary
- A Brief Summary of VSPEC (PA, MR, PB), pp. 1068–1086.