Search - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly

Filter your results

3 Results
authFullName_s : Ganesh Khandu Narwane

Compositional Verification of Software Product Lines

Jean-Vivien Millo , S. Ramesh , Shankara Narayanan Krishna , Ganesh Khandu Narwane
iFM 2013 - 10th International Conference on integrated Formal Methods, Jun 2013, Turku, Finland. pp.109-123, ⟨10.1007/978-3-642-38613-8_8⟩
Conference papers istex hal-00799108v1
Image document

Compositional Verification of Evolving SPL

Jean-Vivien Millo , S. Ramesh , Shankara Narayanan Krishna , Ganesh Khandu Narwane
[Research Report] RR-8125, INRIA. 2012, pp.34
Reports hal-00747533v1
Image document

Traceability analyses between features and assets in software product lines

Ganesh Khandu Narwane , José Angel Galindo Duarte , Shankara Narayanan Krishna , David Benavides , Jean-Vivien Millo et al.
Entropy, 2016, 18 (8), pp.269. ⟨10.3390/e18080269⟩
Journal articles hal-01342351v1