Recherche - ENSTA Bretagne - École nationale supérieure de techniques avancées Bretagne Accéder directement au contenu

Filtrer vos résultats

109 Résultats
Structure : Identifiant HAL de la structure : 103618
Image document

On the recurrence plot analysis method behaviour under scaling transform

Florin-Marian Birleanu , Cornel Ioana , Cedric Gervaise , Jocelyn Chanussot , Alexandru Serbanescu , et al.
SSP 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 Methodology

Ali Koudri , Didier Vojtsiek , Philippe Soulard , Christophe Moy , Joël Champeau , et al.
Workshop MARTE, Colocated with DATE, Mar 2008, Munich, Germany
Communication dans un congrès hal-00517468v1
Image document

Motion effect modeling in multipath configuration using warping based lag-doppler filtering

Nicolas Josso , Cornel Ioana , Cedric Gervaise , Yann Stéphan , Jerome I. Mars
ICASSP 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 fonctionnement

Xavier Dumas , Claire Pagetti , Laurent Sagaspe , Pierre Bieber , Philippe Dhaussy
confé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 validation

Jean-Charles Roger , Philippe Dhaussy
Movep'04, 2004, Brussel, Belgium
Communication dans un congrès hal-00517290v1

Smart Sensor Metamodel For Deep Sea Observatory

Oussama Kassem Zein , Joël Champeau , Dominique Kerjean , Yves Auffret
Conf. 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 development

Ali Koudri , Denis Aulagnier , Joël Champeau
conf. 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 IF

Ussef Faghihi
2005
Autre publication scientifique hal-00541430v1

CDFG Platform in MORPHEUS

Jalil Boukhobza , Loïc Lagadec , Alain Plantec , Jean-Christophe Le Lann
AETHER - MORPHEUS Workshop AMWAS'07, Oct 2007, Paris, France
Communication dans un congrès hal-00487063v1
Image document

Model-driven Architecture of a Maritime Surveillance System Simulator

Martin Monperrus , Benoit Long , Joël Champeau , Brigitte Hoeltzener , Gabriel Marchalot , et al.
Systems Engineering, 2010, 13 (3), pp.290-297. ⟨10.1002/sys.20149⟩
Article dans une revue inria-00538455v1

Automatic Formal Model Derivation from Use Cases

Amine Raji , Philippe Dhaussy
6è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èles

Philippe Dhaussy , Jean-Charles Roger
Journé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étier

Theurer Wolfgang , François Mekerke , Joël Champeau , Philippe Dhaussy
Congrès francophone du management de projet, 2004, France
Communication dans un congrès hal-00517292v1

Model Engineering and traceability

Joël Champeau , Emmanuel Rochefort
Workshop SIVOES-MDA, UML'03, 2003, San Francisco, United States
Communication dans un congrès hal-00517475v1
Image document

A Priori Error Analysis and Spring Arithmetic

Gilles Chabert , Luc Jaulin
SIAM 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.

Nicolas Josso , Cornel Ioana , Jerome I. Mars , Cedric Gervaise
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 propagation

Luc Jaulin
IEEE 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.

Luc Jaulin
Artificial Intelligence, 2009
Article dans une revue hal-00449526v1

Transformation de modèles AADL en automates temporisés IF.

Thomas Abdoul
2006
Autre publication scientifique hal-00541457v1

Application of partial-order methods for the verification of closed-loop SDL systems

Xavier Dumas , Frédéric Boniol , Philippe Dhaussy , Eric Bonnafous
SAC'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
Image document

Evaluating Context Descriptions and Property Definition Patterns for Software Formal Validation

Philippe Dhaussy , Pierre-Yves Pillain , Stephen Creff , Amine Raji , Yves Le Traon , et al.
Model 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 Verification

Amine Raji , Philippe Dhaussy , Bruno Aizier
Workshop MoDVVa, Model-Driven Engineering, Verification, and Validation, 2010, Oslo, Norway
Communication dans un congrès hal-00569028v1
Image document

Sono-proxy : un capteur non intrusif du comportement de la coquille Saint Jacques

Bazile Kinda , Cedric Gervaise , Laurent Chauvaud , Virginie Jaud , Sylvain Busson , et al.
Annales hydrographiques, 2010, 7 (776), pp.8.1-8.8. ⟨10.17183/AH_776_2010⟩
Article dans une revue hal-00522564v1
Image document

Caractérisation des signaux transitoires par l'analyse des récurrences de phase

Florin-Marian Birleanu , Cornel Ioana , Cedric Gervaise , Alexandru Serbanescu , Jocelyn Chanussot
GRETSI 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és

Jean-Charles Roger
2002
Autre publication scientifique hal-00539805v1
Image document

Higher-order statistics for bioacoustic click detection

Sylvain Busson , Cedric Gervaise , Barazzutti Amélie , Kinda Bazile , Virginie Jaud , et al.
10è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 logiciels

Philippe Dhaussy , A. Monégier Du Sorbier , Eric Bonnafous
Sé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 Validation

Joël Champeau , Philippe Dhaussy , François Mekerke , Jean-Charles Roger
Summer School MDD4DRES, Hermes, pp.149-174, 2006
Chapitre d'ouvrage hal-00517288v1

La tomographie acoustique océanique : technique du passé ou de l'avenir

Yann Stéphan , J.P. Hermand , Cedric Gervaise
Annales 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 Analysis

Ali Koudri , Denis Aulagnier , Joël Champeau
Proceedings 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