Tracing SPLs precisely and efficiently. - Swarup Mohalik; S. Ramesh 002; Jean-Vivien Millo; Shankara Narayanan Krishna; Ganesh Khandu Narwane (SPLC (1), 2012)

Formalizing Traceability and Derivability in Software Product Lines - Shankara Narayanan Krishna; Ganesh Khandu Narwane; S. Ramesh 002; Swarup Mohalik; Jean-Vivien Millo (CoRR, 2012)

Compositional Verification of Evolving Software Product Lines - Jean-Vivien Millo; S. Ramesh 002; Shankara Narayanan Krishna; Ganesh Khandu Narwane (CoRR, 2012)

Compositional Verification of Software Product Lines. - Jean-Vivien Millo; S. Ramesh 002; Shankara Narayanan Krishna; Ganesh Khandu Narwane (IFM, 2013)

A Cost Effective Approach for Analyzing Software Product Lines. - Ganesh Khandu Narwane; Shankara Narayanan Krishna; Anup Kumar Bhattacharjee (ICDCIT, 2014)

Compositional modeling and analysis of automotive feature product lines. - Shankara Narayanan Krishna; Ganesh Khandu Narwane; S. Ramesh 002; Ashutosh Trivedi 001 (DAC, 2015)

Traceability Analyses between Features and Assets in Software Product Lines. - Ganesh Khandu Narwane; José Angel Galindo; Shankara Narayanan Krishna; David Benavides 001; Jean-Vivien Millo; S. Ramesh 002 (Entropy, 2016)