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-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
hal-00954024v1  Conference papers
Philippe MulhemDelphine Verbyst. Utilisation des liens entre documents structurés pour la recherche d'information
Actes de la conférence CORIA, 2009, Giens, France. pp.319-331
hal-01990304v1  Journal articles
Pierre AboulkerZhentao LiStéphan Thomassé. Excluding clocks
Electronic Notes in Discrete Mathematics, Elsevier, 2015, 50, pp.103-108
hal-00944484v1  Journal articles
Pablo ArrighiJonathan Grattage. Intrinsically universal n-dimensional quantum cellular automata
Journal of Computer and System Sciences, Elsevier, 2012, 78 (6), pp.1883-1898
...
hal-00758626v1  Journal articles
Benjamin LecouteuxGeorges LinaresYannick EstèveGuillaume Gravier. Dynamic Combination of Automatic Speech Recognition Systems by Driven Decoding
IEEE Transactions on Audio, Speech and Language Processing, Institute of Electrical and Electronics Engineers, 2013
inria-00539042v1  Conference papers
Gautier StaufferGuillaume MassonnetChristophe RapineJean-Philippe Gayon. A simple and fast 2-approximation algorithm for the one warehouse multi-retailer problem
Proceedings of the ACM-SIAM Symposium on Discrete Algorithms (SODA) 2011, Jan 2011, San Francisco, United States
...
inria-00117175v1  Journal articles
Christophe Barrera-EsteveFlorent BergeretCharles DossalEmmanuel GobetAsma Meziou et al.  Numerical methods for the pricing of Swing options: a stochastic control approach
Methodology and Computing in Applied Probability, Springer Verlag, 2006, Methodology and Computing in Applied Probability, 8 (4), pp.517-540
...
hal-00000840v1  Conference papers
Fabien GaucherErwan JahierFlorence MaraninchiBertrand Jeannet. Automatic State Reaching for Debugging Reactive Programs
the Fifth International Workshop on Automated Debugging (AADEBUG 2003), Sep 2003, Ghent, France
...
hal-00712942v1  Journal articles
Laurence DuchienYves Ledru. Défis pour le Génie de la Programmation et du Logiciel GDR CNRS GPL
Revue des Sciences et Technologies de l'Information - Série TSI : Technique et Science Informatiques, Lavoisier, 2012, 31 (3), pp.397-413
inria-00510114v1  Conference papers
Emmanuel PromayonPierre BaconnierClaude Puech. Physically Based Deformations Constrained in Displacements and Volume
Computer Graphics Forum (Proc. of Eurographics '96), 1996, Poitiers, France. pp.155-164
...
tel-00390299v1  Habilitation à diriger des recherches
William Triggs. Reconstruction monoculaire du mouvement humain, et autres travaux 2000-2004
Interface homme-machine [cs.HC]. Institut National Polytechnique de Grenoble - INPG, 2005
inria-00544599v1  Journal articles
Rémi RonfardMarc Sigelle. Relaxation d'images de classification et modèles de la physique statistique
Traitement du Signal, Lavoisier, 1992, 9 (6), pp.449-458