Travelled to:
1 × Italy
1 × USA
Collaborated with:
P.Sampath S.Ramesh
Talks about:
uncertainti (1) interact (1) automot (1) specif (1) resolv (1) formal (1) featur (1) evolv (1)
Person: Silky Arora
DBLP: Arora:Silky
Contributed to:
Wrote 2 papers:
- RE-2012-AroraSR #feature model #interactive #nondeterminism
- Resolving uncertainty in automotive feature interactions (SA, PS, SR), pp. 21–30.
- RE-2011-SampathAR #evolution #specification
- Evolving specifications formally (PS, SA, SR), pp. 5–14.