Skip to Main content Skip to Navigation


...
hal-00743981v1  Journal articles
Yliès FalconeJean-Claude FernandezThierry JéronHervé MarchandLaurent Mounier. More testable properties
International Journal on Software Tools for Technology Transfer, Springer Verlag, 2012, 14 (4), pp.407-437. ⟨10.1007/s10009-011-0220-z⟩
hal-00724508v1  Conference papers
Omar ChebaroMickaël DelahayeNikolai Kosmatov. Testing Inexecutable Conditions on Input Pointers in C Programs with SANTE
ICSSEA 2012 - 24th International Conference on Software & Systems Engineering and their Applications, Oct 2012, Paris, France. pp.1-7
hal-00953273v1  Conference papers
Taha TrikiYves LedruLydie Du BousquetFrédéric DadeauJulien Botella. Nouveaux mécanismes de filtrage de tests basés sur le modèle
Actes des Quatrièmes journées nationales du Groupement De Recherche CNRS du Génie de la Programmation et du Logiciel, 2012, Rennes, France. pp.179-180
hal-01769223v1  Conference papers
Bertrand FrechedeMarc GardegarontThomas LemaireXuguang WangPhilippe Beillas. Design of a physiological spinal posture predictor in the piper project
ISB 2017 - XXVI Conference of the International Society of Biomechanics, Jul 2017, Brisbane, Australia. 1 p
...
hal-02325612v1  Journal articles
Julien ThurinRomain BrossierLudovic Métivier. Ensemble-based uncertainty estimation in Full Waveform Inversion
Geophysical Journal International, Oxford University Press (OUP), 2019, 219 (3), pp.1613-1635. ⟨10.1093/gji/ggz384⟩
...
hal-01262376v1  Journal articles
Guillaume CordonnierJean BraunMarie-Paule CaniBedrich BenesEric Galin et al.  Large Scale Terrain Generation from Tectonic Uplift and Fluvial Erosion
Computer Graphics Forum, Wiley, 2016, Proc. EUROGRAPHICS 2016, 35 (2), pp.165-175. ⟨10.1111/cgf.12820⟩
hal-01059677v1  Conference papers
Akram IdaniNicolas Stouls. When a Formal Model Rhymes with a Graphical Notation
Human-Oriented Formal Methods 2014, Sep 2014, Grenoble, France
hal-00930964v1  Journal articles
Jack DongarraBernard Tourancheau. Selected papers of the Workshop on Clusters, Clouds and Grids for Scientific Computing (CCGSC)
International Journal of High Performance Computing Applications, SAGE Publications, 2011, 25 (3), pp.259-260. ⟨10.1177/1094342011414550⟩
hal-00954076v1  Conference papers
Éric Gaussier. Apprentissage pour la Recherche d'Information
Ecole d'Automne en Recherche d'Information et Applications, 2010, Lyon, France