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-01217564v1  Journal articles
Anh Tuan GiangAnthony BussonAlain LambertDominique Gruyer. Capacity of IEEE 802.11p based VANET: models, simulations and experimentations
IEEE Transactions on Vehicular Technology, Institute of Electrical and Electronics Engineers, 2015, 15p. ⟨10.1109/TVT.2015.2474156⟩
hal-00922261v1  Conference papers
Anh Tuan GiangAnthony BussonAlain LambertDominique Gruyer. Topology Control in VANET and Capacity Estimation
2013 IEEE Vehicular Networking Conference (VNC), Dec 2013, BOSTON, United States. ⟨10.1109/vnc.2013.6737600⟩
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-01245436v1  Journal articles
R RiediPaulo Gonçalves. A strong Tauberian theorem for characteristic functions
Applied and Computational Harmonic Analysis, Elsevier, 2015, 39, pp.6. ⟨10.1016/j.acha.2015.03.007⟩
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
inria-00615962v1  Conference papers
P. KolesikCéline FouardStefen ProhaskaA. Mcneill. Automated method for non-destructive 3D visualisation of plant root architecture using X-ray tomography
4th International Workshop on Functional-Structural Plant Models, 2004, Montpellier, France, France. pp.27
inria-00615970v1  Conference papers
Céline FouardGrégoire MalandainStefen ProhaskaMalte WesterhoffFrancis Cassot et al.  Skeletonization by blocks for large datasets: application to brain microcirculation
International Symposium on Biomedical Imaging: From Nano to Macro (ISBI'04), IEEE, 2004, Arlington, VA, USA, United States
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
hal-00783167v1  Conference papers
Olivier ChenuYohan PayanPetra HlavackovaMarek BuckiBruno Diot et al.  System for pressure sore prevention: a user-centered design
EPUAP'2011 - 14th Annual Meeting of the European Pressure Ulcer Advisory Panel, 2011, Oporto, Portugal. pp.2
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