Ganesh Khandu Narwane

Most-cited papers

1. Compositional Verification of Software Product Lines

   J. Millo, S. Ramesh, S. Krishna, Ganesh Khandu Narwane

   2013International Conference on Integrated Formal Methods27 citations

   Semantic Scholar

   Save

2. Tracing SPLs precisely and efficiently

   S. Mohalik, S. Ramesh, J. Millo, S. Krishna +1 more

   2012Software Product Lines Conference19 citations

   Semantic Scholar

   Save

3. Compositional modeling and analysis of automotive feature product lines

   S. Krishna, Ganesh Khandu Narwane, S. Ramesh, Ashutosh Trivedi

   2015Design Automation Conference5 citations

   Semantic Scholar

   Save

4. Compositional Verification of Evolving Software Product Lines

   J. Millo, S. Ramesh, S. Krishna, Ganesh Khandu Narwane

   2012arXiv.org2 citations

   Semantic Scholar

   Save

5. Design variability verification in Software Product Lines

   Ganesh Khandu Narwane, J. Millo, S. Krishna, S. Ramesh

   2019Sādhanā0 citations Open access

   Semantic Scholar

   Save

6. A Cost Effective Approach for Analyzing Software Product Lines

   Ganesh Khandu Narwane, S. Krishna, A. Bhattacharjee

   2014International Conference on Distributed Computing and Internet Technology0 citations

   Semantic Scholar

   Save

7. Compositional Verication of Evolving SPL

   J. Millo, S. Ramesh, S. Krishna, Ganesh Khandu Narwane

   20120 citations

   Semantic Scholar

   Save

8. SPLEnD : SPL Engine for Design Verification

   Ganesh Khandu Narwane, S. Krishna, J. Millo, S. Ramesh

   20120 citations

   Semantic Scholar

   Save

9. Formalizing Traceability and Derivability in Software Product Lines

   S. Krishna, Ganesh Khandu Narwane, S. Ramesh, S. Mohalik +1 more

   2012arXiv.org0 citations

   Semantic Scholar

   Save