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

Filter your results

9 Results
Structure: Internal structure identifier : 206310
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

Scenario-based verification in presence of variability using a synchronous approach

Jean-Vivien Millo , Frédéric Mallet , Anthony Coadou , S. Ramesh
Frontiers of Computer Science, 2013, 7 (5), pp.650-672. ⟨10.1007/s11704-013-3094-6⟩
Journal articles hal-00913955v1

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

Tracing SPLs precisely and efficiently

Swarup Mohalik , S. Ramesh , Jean-Vivien Millo , Shankara Narayanan Krishna , Ganesh Narwane et al.
SPLC '12 - Proceedings of the 16th International Software Product Line Conference, Sep 2012, Salvador, Brazil. pp.186-195, ⟨10.1145/2362536.2362562⟩
Conference papers hal-00799104v1

Relating Requirement and Design Variabilities

Jean-Vivien Millo , S. Ramesh
APSEC '12 - Proceedings of the 19th Asia-Pacific Software Engineering Conference 2012, Dec 2012, Hong-Kong, Hong Kong SAR China. pp.35-42, ⟨10.1109/APSEC.2012.67⟩
Conference papers hal-00799094v1

Numerical study on the application of biodiesel and bioethanol in a multiple injection diesel engine

Asgar Asadi , Omid Nouri Kadijani , Mohammad Hossein Doranehgard , Mehdi Vahabzadeh Bozorg , Qingang Xiong et al.
Renewable Energy, 2019, ⟨10.1016/j.renene.2019.11.088⟩
Journal articles hal-02372530v1
Image document

Predicting thermal shape recovery of crosslinked polymer networks from linear viscoelasticity

Julie Diani , Pierre Gilormini , Carole Fredy , Ingrid Rousseau
International Journal of Solids and Structures, 2012, 49 (5), p. 793-799. ⟨10.1016/j.ijsolstr.2011.11.019⟩
Journal articles hal-00755434v1
Image document

A torsion test for the study of the large deformation recovery of shape memory polymers

Julie Diani , Carole Fredy , Pierre Gilormini , Yannick Merckel , Gilles Regnier et al.
Polymer Testing, 2011, 30 (3), pp.335-341. ⟨10.1016/j.polymertesting.2011.01.008⟩
Journal articles hal-00755438v1
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