Accéder directement au contenu Accéder directement à la navigation

hal-00635555v1  Communication dans un congrès
Amine RajiPhilippe DhaussyBenoît Baudry. Formal Extension of Use Cases for Context-Aware Verification
MoDeVVA 2011 - Model-Driven Engineering, Verification, and Validation: Integrating Verification and Validation in MDE, Oct 2011, Wellington, New Zealand
hal-00470523v1  Communication dans un congrès
Philippe DhaussyPierre-Yves PillainStephen CreffAmine RajiYves Le Traon et al.  Evaluating Context Descriptions and Property Definition Patterns for Software Formal Validation
Model Driven Engineering Languages and Systems (Models'09), Oct 2009, Denver, United States. pp.438-452, ⟨10.1007/978-3-642-04425-0⟩
inria-00555044v1  Communication dans un congrès
Benoit BaudryPierre BazexJean-Charles DalbinPhilippe DhaussyHubert Dubois et al.  Trust in MDE Components: the DOMINO Experiment
SD4RCES workshop in conjunction with SAFECOMP 2010, 2010, Vienna, Austria
hal-00829962v1  Communication dans un congrès
Michel GrediacFrédéric SurClaudiu BadulescuJean-Denis Mathias. Improving the spatial resolution of the grid method with deconvolution
PhotoMechanics - International conference on full-field measurement techniques and their applications in experimental solid mechanics - 2013, May 2013, Montpellier, France
hal-00830091v1  Communication dans un congrès
Michel GrediacFrédéric SurClaudiu BadulescuJean-Denis Mathias. Deconvolving Strain Maps Obtained With the Grid Method
SEM Annual Conference & Exposition on Experimental and Applied Mechanics - 2013, Jun 2013, Lombard, Illinois, United States. pp.21-26, ⟨10.1007/978-3-319-00768-7_4⟩