|
||
---|---|---|
hal-00517466v1
Communication dans un congrès
A Definition of Abstraction Level for Metamodels 7th IEEE Workshop on Model-Based Development for Computer Based systems, 2009, San Francisco, United States. ⟨10.1109/ECBS.2009.41⟩ |
||
hal-00517281v1
Article dans une revue
Un cadre conceptuel pour la modélisation multi points de vue de systèmes embarqués Revue des Sciences et Technologies de l'Information - Série L'Objet : logiciel, bases de données, réseaux, Hermès-Lavoisier, 2007, 13, pp.79-110. ⟨10.3166/obj.13.2-3.79-110⟩ |
||
hal-00517282v1
Article dans une revue
Mise en oeuvre de composants MDA pour la validation formelle de modèles de systèmes d'information embarqués Revue des Sciences et Technologies de l'Information - Série ISI : Ingénierie des Systèmes d'Information, Lavoisier, 2007, 12 (5), pp.133-157. ⟨10.3166/isi.12.5.133-157⟩ ![]() |
||
hal-00517478v1
Direction d'ouvrage, Proceedings, Dossier
Editeurs des actes de l'école d'été MDA for Embedded System developpement France. Non renseigne, pp.Non renseigne, 2002 |
||
hal-00730497v1
Communication dans un congrès
UML/MARTE Process for SoC/SoPC Embedded Real Time Software and Systems Symposium, 2010, Toulouse, France. pp.201,209 |
||
hal-00487063v1
Communication dans un congrès
CDFG Platform in MORPHEUS AETHER - MORPHEUS Workshop AMWAS'07, Oct 2007, Paris, France |
||
hal-00450104v1
Article dans une revue
Probabilistic set-membership approach for robust regression Journal of Statistical Theory and Practice, Grace Scientific Pub., 2010, 4 (1), pp.155-167 |
||
hal-00449527v1
Article dans une revue
Springback of Stamping Process Optimization Using Response Surface Methodology and Interval Computation. Quality Technology & Quantitative Management, 2009, 6 (4), pp.409-421 |
||
hal-00449739v1
Article dans une revue
Une méthode de prétraitement automatique pour le débruitage des images sous marines Traitement du Signal, Lavoisier, 2008, 25 (1-2) |
||
hal-00517473v1
Chapitre d'ouvrage
Synthèse d'architecture reconfigurable dans un contexte MDA Synthèse d'architecture reconfigurable dans un contexte MDA, Non renseigne, pp.Non renseigne, 2004 |
||
hal-00517477v1
Direction d'ouvrage, Proceedings, Dossier
Embedded Model Driven Engineering Non renseigne, pp.Non renseigne, 2003 |
||
hal-00428952v1
Article dans une revue
A Priori Error Analysis and Spring Arithmetic SIAM Journal on Scientific Computing, Society for Industrial and Applied Mathematics, 2009, 31 (3), pp.2214-2230. ⟨10.1137/070696982⟩ |
||
halshs-00601473v1
Communication dans un congrès
Sporting Performances and the Volatility of Listed English Football Clubs la 19ème conférence annuelle de l'EFMA, Jun 2010, Aarhus, Denmark. 25 p |
||
hal-00551165v1
Communication dans un congrès
Higher-order statistics for bioacoustic click detection 10ème Congrès Français d'Acoustique, Apr 2010, Lyon, France |
||
|
||
hal-00541393v1
Autre publication
Modélisation et validation formaelles de propriétés en environnement objet 2004 |
||
hal-00541430v1
Autre publication
Transformation de modèles UML en automates communicants temporisés IF 2005 |
||
hal-00488332v1
Communication dans un congrès
Time-Frequency Processing of Signals Transmitted by Ships in a Multi-Path Environment ECUA, Jun 2006, Carvoeiro, Portugal. pp.1-4 |
||
hal-00522572v1
Article dans une revue
Investigation of the small slope approximation for various rough seabeds Journal of computationnal acoustics, 2011, Under review, pp.XXX |
||
hal-00449523v1
Article dans une revue
A nonlinear set-membership approach for the localization and map building of an underwater robot using interval constraint propagation IEEE Transactions on Robotics, IEEE, 2009, 25 (1), pp.88-98. ⟨10.1109/TRO.2008.2010358⟩ ![]() |
||
hal-00449526v1
Article dans une revue
QUIMPER, A Language for Quick Interval Modelling and Programming in a Bounded-Error Context. Artificial Intelligence. Artificial Intelligence, Elsevier, 2009 |
||
hal-00428957v1
Article dans une revue
Contractor Programming Artificial Intelligence, Elsevier, 2009, 173, pp.1079-1100. ⟨10.1016/j.artint.2009.03.002⟩ |
||
hal-00444394v1
Communication dans un congrès
Wideband discrete transformation of acoustic signals in underwater environments 43th Annual Asilomar Conference on Signals, Systems, and Computers (ASILOMAR 2009), Nov 2009, Pacific Grove, Californie, United States. pp.118 - 122, ⟨10.1109/ACSSC.2009.5470155⟩ |
||
hal-00455324v1
Communication dans un congrès
On the Characterization of Time Scale Underwater Acoustic Signals Using Matching Pursuit Decomposition OCEANS '09 MTS/IEEE Biloxi - Marine Technology for our Future: Global and Local Challenges, Oct 2009, Biloxi, United States. pp.n/c |
||
hal-00455308v1
Communication dans un congrès
Signal analysis approach for passive tomography : applications for dispersive channels and moving configuration 3rd international conference and exhibition on Underwater Acoustic Measurements: Technologies and Results, Jun 2009, Napflion, Greece |
||
hal-00481288v1
Communication dans un congrès
Inner and Outer Approximations of Existentially Quantified Equality Constraints Twelfth International Conference on Principles and Practice of Constraint Programming, Sep 2006, France. pp.198-212, ⟨10.1007/11889205_16⟩ ![]() |
||
hal-00518507v1
Article dans une revue
Inner approximation of the range of vector-valued functions Reliable Computing, Springer Verlag, 2010, pp.1-23 |
||
hal-00386481v1
Communication dans un congrès
Motion effect modeling in multipath configuration using warping based lag-doppler filtering IEEE International Conference on Acoustics, Speech, and Signal Processing, ICASSP 2009, Apr 2009, Taipei, Taiwan. pp.2301-2304, ⟨10.1109/ICASSP.2009.4960080⟩ |
||
hal-00386482v1
Communication dans un congrès
Warping based lag-Doppler filtering applied to motion effect compensation in acoustical multipath propagation. 155th Meeting of The Acoustical Society of America (Acoustics 08), May 2009, Portland, United States. pp.2541-2541 |
||
hal-00420919v1
Communication dans un congrès
Modélisation des effets du mouvement dans des configurations multitrajets à l'aide de filtrage retard/doppler basé sur les déformations temporelles XXIIème colloque GRETSI (GRETSI 2009), Sep 2009, Dijon, France. paper 373, In CD |
||
|