Travelled to:1 × Brazil
1 × Finland
1 × USA
Collaborated with:S.N.Krishna S.Ramesh J.Millo A.Trivedi S.Mohalik
Talks about:composit (2) product (2) line (2) softwar (1) automot (1) analysi (1) precis (1) featur (1) effici (1) verif (1)
Person: Ganesh Khandu Narwane
DBLP: Narwane:Ganesh_Khandu
Contributed to:
2015
2013
2012Wrote 3 papers:
- DAC-2015-KrishnaNRT #analysis #composition #modelling #product line
- Compositional modeling and analysis of automotive feature product lines (SNK, GKN, SR, AT), p. 6.
- IFM-2013-MilloRKN #composition #product line #verification
- Compositional Verification of Software Product Lines (JVM, SR, SNK, GKN), pp. 109–123.
- SPLC-2012-MohalikRMKN
- Tracing SPLs precisely and efficiently (SM, SR, JVM, SNK, GKN), pp. 186–195.