533 results  save search

hal-01953299v1  Conference papers
Kalou Cabrera CastillosHélène WaeselynckVirginie Wiels. Show Me New Counterexamples: A Path-Based Approach
8th IEEE International Conference on Software Testing, Verification, and Validation (ICST 2015), Apr 2015, Graz, Austria. ⟨10.1109/ICST.2015.7102606⟩
inria-00638936v1  Journal articles
Claire PagettiJulien ForgetFrédéric BoniolMikel CordovillaDavid Lesens. Multi-task implementation of multi-periodic synchronous programs
Discrete Event Dynamic Systems, Springer Verlag, 2011, 21 (3), pp.307-338
hal-01251780v1  Journal articles
Jorge PrendesMarie ChabertFrédéric PascalAlain GirosJean-Yves Tourneret. Performance assessment of a recent change detection method for homogeneous and heterogeneous images
Revue Française de Photogrammétrie et de Télédétection, Société Française de Photogrammétrie et de Télédétection, 2015
hal-01852318v1  Conference papers
Joseph MorlierDimitri Bettebghor. Compressed sensing applied to modeshapes reconstruction
XXX Conference and exposition on structural dynamics (IMAC 2012), Jan 2012, Jacksonville, FL, United States. pp.1-8, ⟨10.1007/978-1-4614-2425-3_1⟩
hal-01058205v1  Conference papers
J. VincentP. BorderiesV. GobinJean-René Poirier. Modelling the Effects of Realistic Environments in the Nearfield and Farfield of Low Frequency Antennas with 3D FDTD Method
IEEE International Conference on Numerical Electromagnetic Modelling and Optimization - NEMO 2014, May 2014, PAVIE, Italy
hal-00800980v1  Conference papers
Julien ForgetFrédéric BoniolEmmanuel GrolleauDavid LesensClaire Pagetti. Scheduling Dependent Periodic Tasks Without Synchronization Mechanisms
16th IEEE Real-Time and Embedded Technology and Applications Symposium, Apr 2010, Stockholm, Sweden. pp.301--310
hal-00800975v1  Conference papers
Rémy WyssFrédéric BoniolJulien ForgetClaire Pagetti. A synchronous language with partial delay specification for real-time systems programming
10th Asian Symposium on Programming Languages and Systems, Dec 2012, Kyoto, Japan. pp.223-238
hal-00800990v1  Conference papers
Julien ForgetFrédéric BoniolDavid LesensClaire Pagetti. Implementing Multi-Periodic Critical Systems: from Design to Code Generation
FM-09 Workshop on Formal Methods for Aerospace, Nov 2009, Eindhoven, Netherlands. pp.34-48
hal-00703723v1  Conference papers
Suman Kumar MajiHussein YahiaOriol PontJoel SudreThierry Fusco et al.  Towards Multiscale Reconstruction of Perturbated Phase from Hartmann-Shack Acquisitions
IEEE NASA/ESA Conference on Adaptive Hardware and Systems (AHS-2012), Jun 2012, Nuremberg, Germany
hal-01104184v1  Conference papers
Jorge PrendesMarie ChabertFrédéric PascalAlain GirosJean-Yves Tourneret. A multivariate statistical model for multiple images acquired by homogeneous or heterogeneous sensors
2014 IEEE International Conference on Acoustics, Speech and Signal Processing (ICASSP 2014) , May 2014, Florence, Italy. ⟨10.1109/ICASSP.2014.6854628⟩
hal-01853226v1  Conference papers
Lokman BennaniPhilippe VilledieuMichel Salaün. Two Dimensional Model of an Electro-Thermal Ice Protection System
5th AIAA Atmospheric and Space Environments Conference, Jun 2013, San Diego, CA, United States. pp.2013-2936, ⟨10.2514/6.2013-2936 ⟩
hal-00802695v1  Conference papers
Julien ForgetFrédéric BoniolDavid LesensClaire Pagetti. A Multi-Periodic Synchronous Data-Flow Language
11th IEEE High Assurance Systems Engineering Symposium, Dec 2008, Nanjing, China. pp.251-260
hal-01854765v1  Conference papers
Jorge César Brändle de MottaP CostaJ DerksenC PengL.-P Wang et al.  Particle laden turbulent flow: comparison of fully resolved approaches
Turbulence and Interactions (TI2018), Jun 2018, Les trois-Ilets, France
hal-00353606v1  Conference papers
Gabriel VasileJean-Philippe OvarlezFrédéric PascalCéline TisonLionel Bombrun et al.  Normalized Coherency Matrix Estimation Under the SIRV Model. Alpine Glacier Polsar Data Analysis
2008 IEEE International Geoscience and Remote Sensing Symposium (IGARSS 2008), Jul 2008, Boston, MA, United States. ⟨10.1109/IGARSS.2008.4778796⟩
hal-00353966v1  Directions of work or proceedings
Caroline ThierryAndré ThomasGérard Bel. La simulation pour la gestion des chaînes logistiques
Hermès Science Publications - Lavoisier, pp.386, 2008
hal-00353967v1  Book sections
Caroline ThierryGérard BelAndré Thomas. Introduction - La simulation pour la gestion des chaînes logistiques
Caroline Thierry, André Thomas, Gérard Bel. La simulation pour la gestion des chaînes logistiques, Hermès Science Publications - Lavoisier, pp.1-36, 2008, Traité IC2, série systèmes automatisés
hal-01953487v1  Journal articles
Alexandru-Robert GuduvanHélène WaeselynckVirginie WielsGuy DurrieuYann Fusero et al.  Test Languages for In-the-Loop Avionics Tests
Journal of Aerospace Information Systems, American Institute of Aeronautics and Astronautics, 2015, 12 (4), pp.374-391. ⟨10.2514/1.I010151⟩
hal-01355067v1  Conference papers
Alexandru RusuSabine MorenoYoko WatanabeMathieu RognantMichel Devy. State lattice generation and nonholonomic path planning for a planetary exploration rover
65th International Astronautical Congress 2014 (IAC 2014), Sep 2014, Toronto, Canada. pp.953
hal-00935725v3  Conference papers
Nicolas LerméFrançois MalgouyresEmmanuelle ThouinDominique Hamoir. Numerical study of an optimization problem for mosaic active imaging
2014 IEEE International Conference on Image Processing (ICIP), Oct 2014, Paris, France. pp.1723-1727, ⟨10.1109/ICIP.2014.7025345⟩