Filtrer vos résultats
- 88
- 21
- 70
- 29
- 5
- 2
- 2
- 1
- 84
- 19
- 5
- 5
- 2
- 1
- 6
- 24
- 24
- 13
- 11
- 9
- 3
- 7
- 6
- 3
- 3
- 81
- 28
- 109
- 12
- 9
- 7
- 7
- 6
- 4
- 4
- 4
- 4
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 35
- 23
- 19
- 17
- 15
- 12
- 9
- 8
- 7
- 7
- 7
- 7
- 6
- 6
- 6
- 6
- 5
- 5
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
|
On the recurrence plot analysis method behaviour under scaling transformSSP 2011 - 2011 IEEE Workshop on Statistical Signal Processing, Jun 2011, Nice, France. pp.789 - 792
Communication dans un congrès
hal-00640002v1
|
||
Using MARTE in the MOPCOM SoC/SoPC MethodologyWorkshop MARTE, Colocated with DATE, Mar 2008, Munich, Germany
Communication dans un congrès
hal-00517468v1
|
|||
|
Motion effect modeling in multipath configuration using warping based lag-doppler filteringICASSP 2009 - IEEE International Conference on Acoustics, Speech and Signal Processing, Apr 2009, Taipei, Taiwan. pp.2301-2304, ⟨10.1109/ICASSP.2009.4960080⟩
Communication dans un congrès
hal-00386481v1
|
||
Vers la génération de modèles de sûreté de fonctionnementconférences LMO'08 et CAL'08, Mar 2008, Montréal, France. pp.Non renseigne
Communication dans un congrès
hal-00517274v1
|
|||
Implementation of testing automata for timed model validationMovep'04, 2004, Brussel, Belgium
Communication dans un congrès
hal-00517290v1
|
|||
Smart Sensor Metamodel For Deep Sea ObservatoryConf. Int. IEEE Oceans'09, May 2009, Bremen, Germany
Communication dans un congrès
hal-00517467v1
|
|||
FPGA design based on UML/MDA approach: Application to an RF Emitter Transceiver developmentconf. DAC'07, 2007, San Diego, United States. pp.Non renseigne
Communication dans un congrès
hal-00517469v1
|
|||
Transformation de modèles UML en automates communicants temporisés IF2005
Autre publication scientifique
hal-00541430v1
|
|||
CDFG Platform in MORPHEUSAETHER - MORPHEUS Workshop AMWAS'07, Oct 2007, Paris, France
Communication dans un congrès
hal-00487063v1
|
|||
|
Model-driven Architecture of a Maritime Surveillance System SimulatorSystems Engineering, 2010, 13 (3), pp.290-297. ⟨10.1002/sys.20149⟩
Article dans une revue
inria-00538455v1
|
||
Automatic Formal Model Derivation from Use Cases6ème Journées sur l'Ingénierie Dirigée par les Modèles (IDM'10), Mars 2010, Pau, 2010, France. pp.Non renseigne
Communication dans un congrès
hal-00517270v1
|
|||
Expérimentation d'une technique de vérification formelle dans le cadre d'un processus d'Ingénierie Dirigée par les ModèlesJournée GDR STRQdS, Systèmes embarqués : points de vue industriels et académiques, 2005, Paris, France
Communication dans un congrès
hal-00517289v1
|
|||
Vers la gestion de la cohérence dans les processus multi-modèles métierCongrès francophone du management de projet, 2004, France
Communication dans un congrès
hal-00517292v1
|
|||
Model Engineering and traceabilityWorkshop SIVOES-MDA, UML'03, 2003, San Francisco, United States
Communication dans un congrès
hal-00517475v1
|
|||
|
A Priori Error Analysis and Spring ArithmeticSIAM Journal on Scientific Computing, 2009, 31 (3), pp.2214-2230. ⟨10.1137/070696982⟩
Article dans une revue
hal-00428952v1
|
||
Warping based lag-Doppler filtering applied to motion effect compensation in acoustical multipath propagation.Acoustics 2009 - 157th Meeting of The Acoustical Society of America, May 2009, Portland, United States. pp.2541-2541
Communication dans un congrès
hal-00386482v1
|
|||
|
A nonlinear set-membership approach for the localization and map building of an underwater robot using interval constraint propagationIEEE Transactions on Robotics, 2009, 25 (1), pp.88-98. ⟨10.1109/TRO.2008.2010358⟩
Article dans une revue
hal-00449523v1
|
||
QUIMPER, A Language for Quick Interval Modelling and Programming in a Bounded-Error Context. Artificial Intelligence.Artificial Intelligence, 2009
Article dans une revue
hal-00449526v1
|
|||
Transformation de modèles AADL en automates temporisés IF.2006
Autre publication scientifique
hal-00541457v1
|
|||
Application of partial-order methods for the verification of closed-loop SDL systemsSAC'11 - 26th Symposium On Applied Computing, Mar 2011, TaiChung, Taiwan. pp.ACM 978-1-4503-0113-8/11/03
Communication dans un congrès
hal-00635533v1
|
|||
|
Evaluating Context Descriptions and Property Definition Patterns for Software Formal ValidationModel Driven Engineering Languages and Systems (Models'09), Oct 2009, Denver, United States. pp.438-452, ⟨10.1007/978-3-642-04425-0⟩
Communication dans un congrès
hal-00470523v1
|
||
Automating Context Description for Software Formal VerificationWorkshop MoDVVa, Model-Driven Engineering, Verification, and Validation, 2010, Oslo, Norway
Communication dans un congrès
hal-00569028v1
|
|||
|
Sono-proxy : un capteur non intrusif du comportement de la coquille Saint JacquesAnnales hydrographiques, 2010, 7 (776), pp.8.1-8.8. ⟨10.17183/AH_776_2010⟩
Article dans une revue
hal-00522564v1
|
||
|
Caractérisation des signaux transitoires par l'analyse des récurrences de phaseGRETSI 2011 - XXIIIème Colloque francophone de traitement du signal et des images, Sep 2011, Bordeaux, France. pp.n.c
Communication dans un congrès
hal-00640017v1
|
||
Validation formelle de logiciels embarqués2002
Autre publication scientifique
hal-00539805v1
|
|||
|
Higher-order statistics for bioacoustic click detection10ème Congrès Français d'Acoustique, Apr 2010, Lyon, France
Communication dans un congrès
hal-00551165v1
|
||
Expérimentation d'un langage de contexte et de propriétés pour la validation formelle de modèles logicielsSéminaire Action IDM-INNFORSID : Exigence, Traçabilité et Co-conception dans les processus de développement, 2009, Paris, France
Communication dans un congrès
hal-00517273v1
|
|||
Model Management for Formal ValidationSummer School MDD4DRES, Hermes, pp.149-174, 2006
Chapitre d'ouvrage
hal-00517288v1
|
|||
La tomographie acoustique océanique : technique du passé ou de l'avenirAnnales hydrographiques, 2010, 7 (776), pp.3.1-3.9
Article dans une revue
hal-00522568v1
|
|||
MoPCoM/MARTE Process Applied to a Cognitive Radio System Design and AnalysisProceedings of the 5th European Conference on Model-Driven Architecture Foundations and Applications 2009, 2009, France. pp.Non renseigne
Communication dans un congrès
hal-00517465v1
|