Skip to Main content Skip to Navigation
New interface


hal-00738772v1  Conference papers
Stephen CreffJoël ChampeauJean-Marc Jézéquel. Model-Based Product Line Evolution: an Incremental Growing by Extension
16th International Software Product Line Conference SPLC 2012, Sep 2012, El Salvador. pp.107-114
hal-01611031v1  Conference papers
Ewen ConanJulien BonnelThierry ChonavelBarbara Nicolas. Discrimination en immersion de sources ultra-basse fréquence à l'aide d'une antenne horizontale
SERENADE 2016 : Surveillance, étude et reconnaissance de l'environnement marin par acoustique discrète, Oct 2016, Brest, France
hal-01373425v1  Conference papers
Julien OgorNathalie DebeseBenoit ZerrThierry Garlan. Detection and description of sand dunes using a geomorphometric approach
Seabed and Sediment Acoustics: Measurements and Modelling, University of Bath, Sep 2015, Bath, United Kingdom
hal-01371498v1  Conference papers
Dominique MonnetLuc JaulinJordan NininAlexandre ChapoutotJulien Alexandre Dit Sandretto. Inner and Outer Computation of the Viability Kernel based on Interval Analysis
International Symposium on Set Membership - Applications, Reliability and Theory, Sep 2015, Manchester, United Kingdom
hal-01935907v1  Conference papers
Luc JaulinSergey Kumkov. Comparison of interval analysis methods and standard statistical ones in a problem of estimating experimental data with uncertainties
MSCMQ'2018 (Mathematics, Statistics and Computation to Support Measurement Quality 2018), D.I.Mendeleyev Institute for Metrology (Russia); COOMET, May 2018, Saint Petersbourg, Russia
hal-01006697v1  Conference papers
Philippe DhaussyCiprian Teodorov. Context-aware Veri cation of a Landing Gear System
ABZ 2014, Jun 2014, Toulouse, France. pp.52-65
hal-01702394v1  Conference papers
Thomas Le MézoLuc JaulinBenoit Zerr. Eulerian state estimation
10th Summer Workshop on Interval Methods 2017, SWIM 2017, Jun 2017, Manchester, United Kingdom
hal-00636875v1  Conference papers
Amine RajiPhilippe Dhaussy. Use Cases Modeling for Scalable Model-Checking
APSEC'11, Dec 2011, Minh City, Vietnam
hal-00635594v1  Conference papers
Papa Issa DialloJoël ChampeauVincent Leilde. Model Based Engineering for the support of Models of Computation: The Cometa Approach
International Workshop on Multi-Paradigm Modeling - MPM 2011, Oct 2011, Wellington, New Zealand. pp.ISSN 1863-2122
hal-00518550v1  Conference papers
Isabelle QuiduYann DupasLuc Jaulin. Theoretical optical flow for target position prediction on FLS images
Undewater Acoustic Measurements: Technologies & Results, Jun 2009, Nafplion, Greece. pp.Non renseigne
hal-00518521v1  Conference papers
Jean-Christophe CexusAbdel BoudraaAlexandre BaussardF.H. ArdeyehEhs Diop. 2D cross-phiB-energy operator for images analysis
4th International Symposium on Communications, Control and Signal Processing, ISCCSP, Mar 2010, Limassol, Cyprus. pp.Non renseigne
hal-00518871v1  Conference papers
Cornel IoanaK. FrezzaAndré Quinquis. Application of the Overcomplete Wavelet Transform for Underwater Transitory Signal Characterization
European Signal Processing Conference (EUSIPCO), address = Toulouse, France, year = 2002, month = September, pdf = 1, nat = 0,, 2002, France. pp.Non renseigne
hal-00518800v1  Conference papers
Cornel IoanaCedric GervaiseAndré QuinquisJ.-C. Le Gac. Motion estimation of underwater mobiles in a multipath channel using polynomial phase signal modelling
ECUA, address = Delpht, The Netherlands, year = 2004, month = 5-8 July, pdf = 1, nat = 0,, 2004, France. pp.Non renseigne
hal-00518844v1  Conference papers
Emanuel RadoiBrigitte HoeltzenerFabrice Pellen. Improving the Radar Target Classification Results by Decision Fusion
RADAR 2003, address = Adelaide, Austria, year = 2003, month = September, nat = 0, keyword = FAD,, 2003, France. pp.Non renseigne
hal-00518848v1  Conference papers
Emanuel RadoiAndré QuinquisP. Saulais. Analysis and Simulation of Sea Clutter at High Range Resolution and Low Grazing Angles
IGARSS 2003, address = Toulouse, France, year = 2003, month = July, nat = 0,, 2003, France. pp.Non renseigne
hal-00518636v1  Conference papers
M. LhommeauLuc JaulinL. Hardouin. Inner and outer approximation of capture basins using interval analysis
ICINCO, address = Angers, France, year = 2007, month = 9-12 May, pdf = 1, nat = 0,, 2007, France. pp.Non renseigne
hal-00518638v1  Conference papers
Arnaud JarrotCornel IoanaCedric GervaiseAndré Quinquis. A time-frequency characterization framework for signals issued from underwater sipersive environments
IEEE International Conference on Acoustics, Speech and Speech Processing, address = Honolulu, USA, year = 2007, month = 15-20 April, pdf = 1, nat = 0,, 2007, France. pp.Non renseigne
hal-00518838v1  Conference papers
D. GaucherCedric Gervaise. Feasibility of passive oceanic acoustic tomography : a Cramer Rao bounds approach
OCEANS, address = San Diego, USA, year = 2003, month = 22-26 September, nat = 0,, 2003, France. pp.Non renseigne