Mounira Kezadri Hamiaz

Publication Activity (10 Years)

Years Active: 2014-2016
Publications (10 Years): 1

Top Topics

Generation Method

Regression Analysis

Linear Regression

Top Venues

Formal Aspects Comput.

Publications

Mounira Kezadri Hamiaz, Marc Pantel, Xavier Thirioux, Benoît Combemale
Correct-by-construction model driven engineering composition operators. Formal Aspects Comput. 28 (3) (2016)
Mounira Kezadri Hamiaz, Marc Pantel, Benoît Combemale, Xavier Thirioux
A Formal Framework to Prove the Correctness of Model Driven Engineering Composition Operators. ICFEM (2014)
Mounira Kezadri Hamiaz, Marc Pantel, Benoît Combemale, Xavier Thirioux
Correct-by-construction model composition: Application to the Invasive Software Composition method. FESCA (2014)