Travelled to:1 × Brazil
1 × Canada
1 × Finland
Collaborated with:S.Ramesh S.N.Krishna G.K.Narwane A.Goknil I.Kurtev S.Mohalik
Talks about:metamodel (1) composit (1) approach (1) softwar (1) product (1) multipl (1) requir (1) reason (1) precis (1) effici (1)
Person: Jean-Vivien Millo
DBLP: Millo:Jean=Vivien
Contributed to:
2013
2013
2012Wrote 3 papers:
- EDOC-2013-GoknilKM #approach #metamodelling #modelling #multi #reasoning #requirements
- A metamodeling approach for reasoning on multiple requirements models (AG, IK, JVM), pp. 159–166.
- IFM-2013-MilloRKN #composition #product line #verification
- Compositional Verification of Software Product Lines (JVM, SR, SNK, GKN), pp. 109–123.
- SPLC-2012-MohalikRMKN
- Tracing SPLs precisely and efficiently (SM, SR, JVM, SNK, GKN), pp. 186–195.