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
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Scenario-based verification in presence of variability using a synchronous approach
Jean-Vivien Millo
,
Frédéric Mallet
,
Anthony Coadou
,
S. Ramesh
Journal articles
hal-00913955v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Compositional Verification of Software Product Lines
Jean-Vivien Millo
,
S. Ramesh
,
Shankara Narayanan Krishna
,
Ganesh Khandu Narwane
Conference papers
istex
hal-00799108v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
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
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
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
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
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.
Journal articles
hal-02372530v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Predicting thermal shape recovery of crosslinked polymer networks from linear viscoelasticity
Julie Diani
,
Pierre Gilormini
,
Carole Fredy
,
Ingrid Rousseau
Journal articles
hal-00755434v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
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.
Journal articles
hal-00755438v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
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.
Journal articles
hal-01342351v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More