Accéder directement au contenu Accéder directement à la navigation


hal-00069636v1  Communication dans un congrès
Maud AmateAlain HétetStéphane GuyonicMichel LegrisRonan Bellec et al.  Buried mines detection and classification: advanced technologies and signal processing
IEEE / OES Oceans'05 Europe conference, 2005, Brest, France
hal-00232883v1  Communication dans un congrès
Sébastien LagrangeLuc JaulinVincent VigneronChristian Jutten. Analytical solution of Blind Source Separation Problem Using Derivatives
Independent Component Analysis and Blind Signal Separation, Sep 2004, Grenada, Spain. pp.81-88
...
inria-00261891v1  Communication dans un congrès
Pierre-Antoine GédouinCédric JoinEmmanuel DelaleauJean-Matthieu BourgeotShabnam Arbab-Chirani et al.  Model-free control of shape memory alloys antagonistic actuators
17th IFAC World Congress, Jul 2008, Seoul, South Korea. pp.CDROM
...
hal-00281900v1  Communication dans un congrès
Arnaud Martin. Fusion for Evaluation of Image Classification in Uncertain Environments
Information Fusion, Jul 2006, Florence, Italy. pp.109
...
hal-00281740v2  Communication dans un congrès
Arnaud MartinIsabelle Quidu. Decision Support with Belief Functions Theory for Seabed Characterization
International Conference on Information Fusion, Jun 2008, Cologne, Germany. pp.81957103
...
hal-00281897v3  Communication dans un congrès
Arnaud MartinChristophe Osswald. Toward a combination rule to deal with partial conflict and specificity in belief functions theory
International Conference on Information Fusion, Jun 2007, Québec, Canada. pp.1190
...
hal-00286533v1  Communication dans un congrès
Arnaud MartinChristophe Osswald. Experts Fusion and Multilayer Perceptron Based on Belief Learning for Sonar Image Classification
International Conference on Information \& Communication Technologies: from Theory to Applications (ICTTA), Apr 2008, Damascus, Syria. pp.IP8-10
...
hal-00317938v1  Communication dans un congrès
André QuinquisCornel IoanaEmanuel Radoi. Polynomial Phase Signal Modeling Using Warping-Based Order Reduction
International Conference on Acoustic, Speech and Signal Processing ICASSP 2004, May 2004, Montreal, Canada. pp.741-744, ⟨10.1109/ICASSP.2004.1326364⟩
...
hal-00324547v1  Communication dans un congrès
Julien BonnelGrégoire Le TouzéBarbara NicolasJerome MarsCedric Gervaise. Automatic and passive whale localization in shallow water using gunshots
OCEANS 2008 - OCEANS '08 MTS/IEEE. Oceans, Poles and Climate: Technological Challenges, Sep 2008, Quebec City, Canada. pp.1-6, ⟨10.1109/OCEANS.2008.5151937⟩
hal-00348780v1  Communication dans un congrès
Nicolas JossoCornel IoanaCedric GervaiseJerome Mars. On the consideration of motion effect in underwater geo-acoustic inversion
Acoustics 2008 - 155th Meeting of The Acoustical Society of America, Jun 2008, Paris, France. pp.148
...
hal-00349532v1  Communication dans un congrès
Cornel IoanaArnaud JarrotAndré QuinquisSridhar Krishnan. A watermaking method for speech signals based on the time-warping signal processing concept
ICASSP 2007 - IEEE International Conference on Acoustics, Speech and Signal Processing, Apr 2007, Honolulu, Hawaii, United States. pp.201-204, ⟨10.1109/ICASSP.2007.366207⟩
...
hal-00349533v1  Communication dans un congrès
Arnaud JarrotCornel IoanaCedric GervaiseAndré Quinquis. A time-frequency characterization framework for signals issued from underwater dispersive environments
ICASSP 2007 - IEEE International Conference on Acoustics, Speech and Signal Processing, Apr 2007, Honolulu, Hawaii, United States. pp.1145-1148, ⟨10.1109/ICASSP.2007.366887⟩
...
hal-00349538v1  Communication dans un congrès
Cornel IoanaArnaud JarrotCedric CornuAndré Quinquis. Characterization of signals issued from real systems using a time-frequency-phase- based modeling procedure
WCEAM-CM 2007 - Second World Congress on Engineering Asset management and the Fourth International Conference on Condition Monitoring, Jun 2007, Harrogate, United Kingdom
...
hal-00349539v1  Communication dans un congrès
Cedric GervaiseCornel IoanaSimon VallezArnaud JarrotAndré Quinquis. Tomographie acoustique passive. Nouveau concept d'observation du milieu océanique
GRETSI 2007 - XXIème Colloque francophone de traitement du signal et des images, Sep 2007, Troyes, France. pp.605-608
...
hal-00349542v1  Communication dans un congrès
Cedric CornuCornel IoanaAndré QuinquisSrdjan Stankovic. Time-Frequency Characterization using Instantaneous Moment Concept: Theory and Applications
IEEE International Symposium on Industrial Electronics, Jul 2006, Montreal, Canada. pp.559-564, ⟨10.1109/ISIE.2006.295519⟩
hal-00348779v1  Communication dans un congrès
Cornel IoanaArnaud JarrotCedric GervaiseAndré QuinquisJerome Mars. Underwater channel characterization using opportunity sources : A time-frequency-phase approach
Acoustics 2008 - 155th Meeting of The Acoustical Society of America, Jun 2008, Paris, France. pp.776
...
hal-00386481v1  Communication dans un congrès
Nicolas JossoCornel IoanaCedric GervaiseYann StéphanJerome Mars. Motion effect modeling in multipath configuration using warping based lag-doppler filtering
ICASSP 2009 - IEEE International Conference on Acoustics, Speech and Signal Processing, Apr 2009, Taipei, Taiwan. pp.2301-2304, ⟨10.1109/ICASSP.2009.4960080⟩
hal-00386482v1  Communication dans un congrès
Nicolas JossoCornel IoanaJerome MarsCedric Gervaise. 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
hal-00409855v1  Communication dans un congrès
Pascal BalletJean-Pierre MazatChristine NazaretS. PÉrÈs. Metabolism modeling
Bordeaux spring school on modeling and simulation of biological processes in the context of genomics, Jun 2006, France
hal-00414464v1  Communication dans un congrès
M. BoustieJ.-P. Cuq-LelandaisL. BertheC. BolisSophie Barradas et al.  Damaging of materials by bi-dimensional dynamic effects
Proceedings of the 15th American Physical Society Topical Conference on Shock Compression of Condensed Matter, Jun 2007, xx, United States. pp.1323-1326, ⟨10.1063/1.2832967⟩
hal-00418615v1  Communication dans un congrès
Michel ArrigoniQiaosheng HuM. BoustieL. BertheJ.-P. Monchalin. B-scan Simulations with Abaqus for Laser Ultrasonic Inspection of Structures
1st international symposium on Laser Ultrasonics 2008, Jul 2008, Montréal, Canada. 6 p
hal-00418628v1  Communication dans un congrès
Michel ArrigoniS.E. KrugerA. BlouinD. LevesqueB. Arsenault et al.  Adhesive Bond Testing By Laser Induced Shock Waves
17 WCNDT ShangHai, Aug 2008, Shanghai, China. 8 p
hal-00419226v1  Communication dans un congrès
J. RadhakrishnanM. BoustieL. BertheMichel ArrigoniM. Jouiad. Interfacial strength measurement of bonded aluminium foils by laser-driven shock waves
22nd Conference on Surface Modification Technologies, Sep 2008, Trollhätten, Sweden
...
inria-00424933v2  Communication dans un congrès
Pierre-Antoine GédouinCédric JoinEmmanuel DelaleauJean-Matthieu BourgeotShabnam Arbab-Chirani et al.  A new control strategy for shape memory alloys actuators
8th European Symposium on Martensitic Transformations, Sep 2009, Prague, Czech Republic. pp.CDROM
...
hal-00428967v1  Communication dans un congrès
Gilles ChabertLuc JaulinXavier Lorca. A Constraint on the Number of Distinct Vectors with Application to Localization
CP'09 (15th International Conference on Principles and Practice of Constraint Programming), Sep 2009, Lisbon, Portugal. p. 196-210
...
hal-00428970v1  Communication dans un congrès
Gilles ChabertLuc Jaulin. Hull Consistency Under Monotonicity
CP'09 (15th International Conference on Principles and Practice of Constraint Programming), Sep 2009, Lisbon, Portugal. p. 188-195
...
hal-00441929v1  Communication dans un congrès
Romain BénardMatthieu AubryPierre de Loor. Context: An Information Medium for Dynamic and Collaborative Situations
IEEE International Conference on Information Reuse and Integration, Sep 2006, Waikoloa, United States. pp.226-231
...
hal-00444394v1  Communication dans un congrès
Nicolas JossoJun ZhangAntonia Papandreou-SuppappolaCornel IoanaJerome Mars et al.  Wideband discrete transformation of acoustic signals in underwater environments
ACSSC 2007 - 43rd Annual Asilomar Conference on Signals Systems and Computers, Nov 2009, Pacific Grove, Californie, United States. pp.118 - 122, ⟨10.1109/ACSSC.2009.5470155⟩
...
hal-00455308v1  Communication dans un congrès
Cornel IoanaNicolas JossoCedric GervaiseJerome MarsYann Stéphan. Signal analysis approach for passive tomography : applications for dispersive channels and moving configuration
UAM 2009 - 3rd international conference and exhibition on Underwater Acoustic Measurements: Technologies and Results, Jun 2009, Napflion, Greece
...
hal-00455324v1  Communication dans un congrès
Nicolas JossoJun ZhangAntonia Papandreou-SuppappolaCornel IoanaJerome Mars et al.  On the Characterization of Time Scale Underwater Acoustic Signals Using Matching Pursuit Decomposition
OCEANS 2009 - OCEANS '09 MTS/IEEE. Marine Technology for our Future: Global and Local Challenges, Oct 2009, Biloxi, United States. pp.n/c
...
inria-00456481v1  Communication dans un congrès
Martin MonperrusFabre JaozafyGabriel MarchalotJoël ChampeauBrigitte Hoeltzener et al.  Model-driven Simulation of a Maritime Surveillance System
4th European Conference on Model Driven Architecture Foundations and Applications (ECMDA'2008), Jun 2008, Berlin, Germany, Germany. pp.361-368, ⟨10.1007/978-3-540-69100-6_25⟩
...
inria-00456482v1  Communication dans un congrès
Martin MonperrusJean-Marc JézéquelJoël ChampeauBrigitte Hoeltzener. Model-driven Engineering Metrics for Real Time Systems
4th European Congress ERTS Embedded Real-Time Software, 2008, Toulouse, France, France
...
inria-00456483v1  Communication dans un congrès
Martin MonperrusJean-Marc JézéquelJoël ChampeauBrigitte Hoeltzener. A Model-driven Measurement Approach
ACM/IEEE 11th International Conference on Model Driven Engineering Languages and Systems (MoDELS 08), Sep 2008, Toulouse, France, France. pp.505-519, ⟨10.1007/978-3-540-87875-9_36⟩
hal-00460209v1  Communication dans un congrès
Mario GlowikChristophe MoraceAlison Gourvès-Hayward. Doing business in the CEE. A comparative franco-german study in light of the financial and economic crisis
17th Annual Conference on Marketing and Business Strategies for Central & Eastern Europe, Dec 2009, Vienne, Austria. pp. 81-99
...
hal-00354356v1  Communication dans un congrès
Ali KoudriDenis AulagnierDidier VojtisekPhilippe SoulardChristophe Moy et al.  Using MARTE in a Co-Design Methodology
MARTE UML profile workshop co-located with DATE'08, Mar 2008, Munich, Germany. 6 p
...
hal-00470512v1  Communication dans un congrès
Tewfik ZiadiXavier BlancAmine Raji. From Requirements to Code Revisited
12th IEEE International Symposium on Object-oriented Real-time distributed Computing (ISORC'09), Mar 2009, Tokyo, Japan. pp.228 - 235, ⟨10.1109/ISORC.2009.29⟩
...
hal-00470523v1  Communication dans un congrès
Philippe DhaussyPierre-Yves PillainStephen CreffAmine RajiYves Le Traon et al.  Evaluating Context Descriptions and Property Definition Patterns for Software Formal Validation
Model Driven Engineering Languages and Systems (Models'09), Oct 2009, Denver, United States. pp.438-452, ⟨10.1007/978-3-642-04425-0⟩
hal-00471346v1  Communication dans un congrès
M. BoustieE. GayL. BertheMichel ArrigoniJ. Radhakrishnan et al.  Laser Shock Adhesion Test (LASAT) of composite materials for aerospace industry
23rd International conference on Surface Modification Technologies (SMT 23), 2009, Madras, India
...
hal-00471931v1  Communication dans un congrès
Amine RajiPhilippe Dhaussy. USER CONTEXT MODELS : A FRAMEWORK TO EASE SOFTWARE FORMAL VERIFICATIONS
12th International Conference on Enterprise Information Systems, Jun 2010, Funchal, Madeira, Portugal. pp.1
...
inria-00477563v1  Communication dans un congrès
Martin MonperrusJoël ChampeauBrigitte Hoeltzener. Counts count
Proceedings of the MoDELS'07 Workshops, 2007, Nashville, United States
hal-00481288v1  Communication dans un congrès
Alexandre GoldsztejnLuc Jaulin. 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-00485825v1  Communication dans un congrès
Emanuel RadoiFelix TotirAndré QuinquisLucian Anton. Superresolution Imagery Based SVM Classification of Radar Targets
EUSAR 2006, May 2006, Dresde, Germany. pp.1-4
hal-00485829v1  Communication dans un congrès
Felix TotirEmanuel RadoiAndré QuinquisStefan Demeter. An evolutionary approach for 3D superresolution imagery
EUSIPCO 2006, Sep 2006, Florence, Italy. pp.1-5
hal-00485835v1  Communication dans un congrès
Marchal JonathanCornel IoanaEmanuel RadoiAndré QuinquisKrishnan Sridhar. Soccer video retrival using adaptive time-frequency methods
ICASSP 2006, May 2006, Toulouse, France. pp.509-512
hal-00486625v1  Communication dans un congrès
Gael AbgrallFrederic Le RoyJean-Philippe DelahayeJean-Philippe DiguetGogniat Guy. A Comparative Study of Two Software Defined Radio Environments
SDR Forum Technical Conference, Oct 2008, Washington, United States
hal-00486627v1  Communication dans un congrès
Gael AbgrallFrederic Le RoyJean-Philippe DelahayeJean-Philippe DiguetGogniat Guy. Predictibility of inter-components latency in a Software Communications Architecture Open Environment
24th IEEE International Parallel and Distributed Processing Symposium, Apr 2010, Atlanta, United States
...
hal-00486726v1  Communication dans un congrès
Gilles TrombettoniGilles Chabert. Constructive Interval Disjunction
CP'07 - 13th International Conference on Principles and Practice of Constraint Programming, 2007, Providence, United States. pp.635-650, ⟨10.1007/978-3-540-74970-7_45⟩
hal-00487063v1  Communication dans un congrès
Jalil BoukhobzaLoïc LagadecAlain PlantecJean-Christophe Le Lann. CDFG Platform in MORPHEUS
AETHER - MORPHEUS Workshop AMWAS'07, Oct 2007, Paris, France
hal-00488325v1  Communication dans un congrès
Cedric CornuCornel IoanaAndré Quinquis. Combined time-frequency kernels and polynomial phase modeling for signal characterization
IEEE COMM'06, Jun 2006, Bucharest, Romania. pp.1-4
...
hal-00489085v1  Communication dans un congrès
Vincent ChoqueuseKoffi Clément YaoLudovic CollinGilles Burel. Blind Detection of the Number of Communication Signals Under Spatially Correlated Noise by ICA and K-S Tests
International Conference on Acoustics, Speech, and Signal Processing, Mar 2008, Las Vegas, United States. pp.2397-2400
...
hal-00489086v1  Communication dans un congrès
Vincent ChoqueuseKoffi Clément YaoLudovic CollinGilles Burel. Blind Recognition of Linear Space Time Block Codes
International Conference on Acoustics, Speech, and Signal Processing, Mar 2008, Las Vegas, United States. pp.2833-2836
hal-00489307v1  Communication dans un congrès
Carole ErnyDavid ThevenetJean-Yves CognardManuel Körner. Fatigue assessment of naval welded assemblies
10th International Fatigue Congress, Jun 2010, Czech Republic. pp.06/2010
hal-00489333v1  Communication dans un congrès
Alan TassinNicolas JacquesAlain NêmeBruno Leblé. An efficient numerical method for the three-dimensional Wagner problem
Proceeding 25th International Workshop on Water Waves and Floating Bodies, May 2010, China. pp.IWWWFB 2010
hal-00489766v1  Communication dans un congrès
Oussama EssersiMostapha TarfaouiS. BoydF. MeraghniR.A Shenoi. Experimental study of the strength of Aluminum/Aluminum and Composite/Composite adhesively bonded joints under dynamic loading
The International congress for applied mechanics, May 2010, Marrakech, Morocco. pp.JET 2010
hal-00489767v1  Communication dans un congrès
Ghias MohamadMostapha TarfaouiV. Bertram. Optimization of the Geometrical Parameters of a Cross-Stiffened GRP Panels: FEA and Experimental Work
The International symposium on aircraft materials, May 2010, Marrakech, Morocco. pp.ACMA 2010
hal-00489778v1  Communication dans un congrès
Lotfi HamitoucheMostapha TarfaouiAlain VautrinP. Parneix. Improving delamination strength in marine structures with 3D woven fabrics
JST 2010, Jun 2010, Orléans, France. pp.JST 2010
hal-00493142v1  Communication dans un congrès
E. GayL. BertheM. BoustieMichel ArrigoniJp Monchalin et al.  24th International Conference on SURFACE MODIFICATION TECHNOLOGIES
24th International Conference on SURFACE MODIFICATION TECHNOLOGIES, Sep 2010, Dresden, Germany. pp.XXXX
hal-00493144v1  Communication dans un congrès
Romain Créac'HcadecJulien MauriceJean-Yves Cognard. A non associated elasto-visco-plastic model suited to the numerical simulation of 2D adhesively bonded assemblies with interface elements
IV European Congress on Computational Mechanics (ECCM IV): Solids, Structures and Coupled Problems in Engineering, May 2010, Paris, France. pp.XXXX
hal-00493149v1  Communication dans un congrès
Jean-Yves CognardLaurent SohierPeter Davies. A Modified Arcan test suited to analyse the behaviour of composites and their assemblies under out-of-plane loadings
14th European Conference on Composite Materials, Jun 2010, Budapest, Hungary. pp.10, ISBN 978-963-313-008-7
hal-00493217v1  Communication dans un congrès
Laurent GornetSyed Kamran-AliLaurent SohierD. MarguetJean-Yves Cognard et al.  Modelling of the mechanical behaviour of Nomex core using experiments tensile-shear tests under out-of-plane loadings
14th European Conference on Composite Materials, Jun 2010, Budapest, Hungary. 10 p., ISBN 978-963-313-008-7
...
hal-00485432v1  Communication dans un congrès
Vincent ChoqueuseStéphane AzouKoffi Clément YaoLudovic CollinGilles Burel. Modulation Recognition for MIMO Communications
IEEE COMM'08, Jun 2008, Bucarest, Romania. pp.283-286
...
hal-00494314v1  Communication dans un congrès
Andreas ArnoldJean-Philippe MalkasseGilles Kervern. A preprocessing framework for automatic underwater images denoising
European Conference on Propagation and Systems, Mar 2005, Brest, France
...
hal-00504822v1  Communication dans un congrès
Isabelle QuiduJean-Philippe MalkasseGilles BurelPierre Vilbé. Mine classification using a hybrid set of descriptors
IEEE OCEANS'2000, Sep 2000, Providence, Rhode Island, United States
...
hal-00504879v1  Communication dans un congrès
Isabelle QuiduAlain BertholomYann Dupas. Ground obstacle tracking on forward looking sonar images
European Conference on Underwater Acoustics (ECUA) 2010, Jul 2010, Istanbul, Turkey
...
hal-00504883v1  Communication dans un congrès
Lionel CrosCedric GervaiseIsabelle Quidu. A signal synthesis procedure designed for discreet ocean acoustic tomography
32nd International Conference on Acoustics, Speech, and Signal Processing (ICASSP), Apr 2007, Honolulu, Hawaii, United States
...
hal-00504885v1  Communication dans un congrès
Stéphane BazeilleIsabelle QuiduLuc Jaulin. Identification of underwater man-made object using a colour criterion
Conference on Detection and Classification of Underwater Targets, Sep 2007, Edinburgh (Scotland), United Kingdom
hal-00504887v1  Communication dans un congrès
Isabelle QuiduYann Dupas. Forward Looking Techniques for environment modelling, obstacle detection and characterization
Acoustics'08 conference (ECUA), Jul 2008, Paris, France
...
hal-00504895v1  Communication dans un congrès
Lionel CrosCedric GervaiseIsabelle QuiduLuc JaulinYann Stephan. A new concept of ocean acoustic tomography
CMM'06, Oct 2006, Brest, France
...
hal-00504875v1  Communication dans un congrès
Isabelle QuiduAlain HétetYann DupasStéphanie Lefèvre. AUV (REDERMOR) obstacle detection and avoidance experimental evaluation
IEEE OCEANS'07 conference, Jun 2007, Aberdeen (Scotland), United Kingdom
...
hal-00507932v1  Communication dans un congrès
Jean DezertFlorentin Smarandache. Threat assessment of a possible Vehicle-Born Improvised Explosive Device using DSmT
Fusion 2010, Jul 2010, Edinburgh, United Kingdom
hal-00517222v1  Communication dans un congrès
Philippe DhaussyPierre-Yves PillainStephen CreffAmine RajiYves Le Traon et al.  Contribution à la formalisation de contextes et d'exigences pour la validation formelle de logiciels embarqués
Conférence Approches Formelles dans l'Assistance au Développement de Logiciels (AFADL'10), Poitiers-Futuroscope, 09-11, Jun 2010, Poitiers, France. pp.Non renseigne
hal-00517223v1  Communication dans un congrès
Thomas AbdoulJoël ChampeauPhilippe DhaussyPierre-Yves PillainJean-Charles Roger. AADL model transformation for formal verification
3rd IEEE International UML&AADL workshop (hosted by ICECCS 2008), Apr 2008, Belfast, Ireland
hal-00517268v1  Communication dans un congrès
Bastien AmarHervé Le BlancPhilippe DhaussyBernard Coulette. Trace Transformation Reuse to Guide Co-evolution of Models
5th Int. Conference on Software and Data Technologies (ICSOFT'10), Jul 2010, Athens, Greece. pp.Non renseigne
hal-00517269v1  Communication dans un congrès
Xavier DumasFrédéric BoniolPhilippe DhaussyEric Bonnafous. Partial Order Application for Software Formal Verification
Conférence Embedded Real Time Software and Systems (ERTS'10), May 2010, Toulouse, France. pp.Non renseigne
hal-00517270v1  Communication dans un congrès
Amine RajiPhilippe Dhaussy. Automatic Formal Model Derivation from Use Cases
6ème Journées sur l'Ingénierie Dirigée par les Modèles (IDM'10), Mars 2010, Pau, 2010, France. pp.Non renseigne
hal-00517272v1  Communication dans un congrès
Xavier DumasFrédéric BoniolPhilippe DhaussyEric Bonnafous. Context Constraints Method for Software Formal Verification
ESA Workshop on Avionics Data, Control and Software Systems (ADCSS), Nov 2009, Noordwijk, Netherlands
hal-00517273v1  Communication dans un congrès
Philippe DhaussyA. Monégier Du SorbierEric Bonnafous. Expérimentation d'un langage de contexte et de propriétés pour la validation formelle de modèles logiciels
Séminaire Action IDM-INNFORSID : Exigence, Traçabilité et Co-conception dans les processus de développement, 2009, Paris, France
hal-00517276v1  Communication dans un congrès
Philippe DhaussyFrédéric BoniolStephane de BelloyJulien AuvrayEric Landel. Using context descriptions and property definition patterns for software formal verification
ICSTW'08, IEEE International Conference on Software Testing Verification and Validation Workshop, 2008, France
hal-00517277v1  Communication dans un congrès
Eric BonnafousFrédéric BoniolPhilippe DhaussyXavier Dumas. Experience of an efficient and actual MDE process : design and verification of ATC onboard system
Conférences on UML&FORMAL METHODS, Oct 2008, Kitakyushu-city, Japan
hal-00517280v1  Communication dans un congrès
Philippe Dhaussy. Modélisation et analyse formelle d'un protocole de communication acoustique
Journée CPER, Seatech Week'08, 2008, Brest, France
hal-00517289v1  Communication dans un congrès
Philippe DhaussyJean-Charles Roger. Expérimentation d'une technique de vérification formelle dans le cadre d'un processus d'Ingénierie Dirigée par les Modèles
Journée GDR STRQdS, Systèmes embarqués : points de vue industriels et académiques, 2005, Paris, France
hal-00517290v1  Communication dans un congrès
Jean-Charles RogerPhilippe Dhaussy. Implementation of testing automata for timed model validation
Movep'04, 2004, Brussel, Belgium
hal-00517291v1  Communication dans un congrès
Philippe DhaussyJean-Charles Roger. An Experimentation of Real-Time Software Validation Technique With Timed Observers
2nd Embedded Real Time Software Congress (ERTS'04), 2004, Toulouse, France
hal-00517292v1  Communication dans un congrès
Theurer WolfgangFrançois MekerkeJoël ChampeauPhilippe Dhaussy. Vers la gestion de la cohérence dans les processus multi-modèles métier
Congrès francophone du management de projet, 2004, France
hal-00517294v1  Communication dans un congrès
Armelle PrigentOlivier RouxPhilippe Dhaussy. Testing Parametrized Real-Time Systems
WRTRTES'03, 2003, Italy
hal-00517295v1  Communication dans un congrès
Armelle PrigentFranck CassezPhilippe DhaussyOlivier Roux. Extending translation from SDL to Promela
Atelier SéMo'07, 2001, Grenoble, France