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


hal-00771748v1  Communication dans un congrès
Stephen CreffJoël Champeau. Relationships in Variability Modeling Approaches: A Survey and Classification
5ème journée Lignes de Produits, Nov 2012, Villeneuve d'Ascq, France
hal-01206527v1  Communication dans un congrès
Philippe Dhaussy. Formal Validation with Model-Checking Techniques
ICNTC'2012, Dec 2012, Chlef, Algérie
...
hal-00771758v1  Communication dans un congrès
Jean-Christophe Le LannJoël ChampeauPapa Issa DialloPierre-Laurent Lagalaye. From system-level models to heterogeneous embedded systems
RITF 2012 - Recherche et Innovation pour les Transports du Futur, Nov 2012, Paris, France. pp.XX
...
hal-00733844v1  Article dans une revue
Benoit Clement. Interval analysis and convex optimization to solve a robust constraint feasibility problem
Journal Européen des Systèmes Automatisés (JESA), Lavoisier, 2012, 46 (4-5), pp.381-395. ⟨10.3166/jesa.46.381-395⟩
hal-00676423v1  Chapitre d'ouvrage
Philippe DhaussyJean-Charles RogerFrédéric Boniol. Context Aware Model-Checking for Embedded Software
Embedded Systems - Theory and Design Methodology, InTech, ISBN: 978-953-51-0167-3 p. 167-184, 2012
hal-00773524v1  Article dans une revue
Samuel GrosdidierAlexandre Baussard. Ship detection based on morphological component analysis of high-frequency surface wave radar images
IET Radar Sonar and Navigation, Institution of Engineering and Technology, 2012, 6 (9), pp.813-821. ⟨10.1049/iet-rsn.2012.0062⟩
hal-00935852v1  Brevet
Julien LintignatBruno BarelaudB. JarryMohamad-Raafat LababidiDominique Lo Hine Tong et al.  FILTRE STOP BANDE ACTIF
N° de brevet: WO2012/079777 (A1) PCT/FR2011/053684. 2012
...
hal-00854812v1  Communication dans un congrès
Nicolas BrochetonKevin BrugetAlban WibauxOlivier ReynetBenoit Clement et al.  Système d'assistance à la navigation handivoile
Handicap 2012, Jun 2012, Paris, France. pp.180
hal-00822656v1  Direction d'ouvrage, Proceedings, Dossier
Loïc LagadecAlain Plantec. Proceedings of the 2012 International Workshop on Smalltalk Technologies
ACM digital library, pp.68, 2012, 978-1-4503-1897-6
hal-00777095v1  Article dans une revue
Imen JdeyAbdelmalek ToumiAli KhenchafMounir DhibiM.S Bouhlel. Fuzzy Fusion System for Radar Target Recognition
International Journal of Computer Applications & Information Technology, 2012, 1 (3), pp.136-142
...
hal-00657607v1  Article dans une revue
Serge SuanezManuel GarcinThomas BulteauMathias RouanLoïc Lagadec et al.  Les observatoires du trait de côte en France métropolitaine et dans les DOM
EchoGéo, Pôle de Recherche pour l'Organisation et la diffusion de l'Information Géographique, 2012, 19, ⟨10.4000/echogeo.12942⟩
...
hal-00697033v1  Communication dans un congrès
François-Xavier SocheleauMilica StojanovicChristophe LaotJean-Michel Passerieux. Achievable Rates of Underwater Acoustic OFDM Systems over Highly Dispersive Channels
European Conference on Underwater Acoustics, Jul 2012, Edinburgh, United Kingdom. pp.1-8
...
hal-00800702v1  Communication dans un congrès
Christophe Osswald. Controling the number of focal elements
Belief 2012, May 2012, Compiègne, France. pp.135-143, ⟨10.1007/978-3-642-29461-7⟩
hal-00726481v1  Communication dans un congrès
Youenn CorreJean-Philippe DiguetDominique HellerLoïc Lagadec. A framework for high-level synthesis of heterogeneous MP-SoC
GLSVLSI, May 2012, Salt Lake City, United States. pp.283-286, ⟨10.1145/2206781.2206850⟩
...
hal-00690923v1  Communication dans un congrès
Hanh Nhi TranChristian Percebois. Towards a Rule-level Verification Framework for Property-Preserving Graph Transformations
ICST (International Conference on Software Testing, Verification and Validation) Workshop on Verification and validation Of model Transformations (VOLT), Apr 2012, Montreal, Canada