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


hal-01194766v1  Communication dans un congrès
Benoit ClementDominique MonnetJordan Ninin. $H_\infty$ control synthesis under structural constraints based on Global Optimization
13thEUROPT Workshop on Advances in Continuous Optimization, Jul 2015, Edinburgh, United Kingdom
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-01171207v1  Communication dans un congrès
Alexandre BaussardArnaud Coatanhay. Evaluating GNSS Signals for Passive Local Sea State Monitoring
Space Reflecto, Nov 2013, Brest, France
...
hal-01194742v1  Communication dans un congrès
Jordan NininGilles Chabert. Global Optimization based on Contractor Programming
XII GLOBAL OPTIMIZATION WORKSHOP, Sep 2014, Malaga, Spain. pp.77-80
hal-01203491v1  Communication dans un congrès
Seifallah Ben SaadBenoît ZerrIrvin ProbstFrédéric Dambreville. Hybrid Coordination Strategy of a Group of Cooperating Autonomous Underwater Vehicles
IFAC Workshop on Multivehicle Systems MVS 2015, IFAC - International Federation of Automatic Control, May 2015, Genova, Italy. pp.47-52
hal-01194756v1  Communication dans un congrès
Jordan NininDominique MonnetBenoit Clement. Global Optimization based on Contractor Programming
8th Small Workshop on Interval Methods, Jun 2015, Prague, Czech Republic
hal-01194764v1  Communication dans un congrès
Jordan Ninin. Continuous Global Optimization based on Contractor Programming
27th Europeen Conference on Operational Research, Jul 2015, Glasgow, United Kingdom
...
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-00921552v1  Communication dans un congrès
Chagun Basha Basheer AhmedSébastien PillementLoïc Lagadec. New reconfigurable fault tolerant FPGA architecture: A design for mission critical applications
Workshop on Reconfigurable Computing (WRC), Jan 2014, Vienne, Austria. pp.WRC 2014
hal-00940091v1  Communication dans un congrès
Mohamad-Raafat LababidiDominique Lo Hine TongAli LouzirJean-Luc RobertJ.Y. Le Naour et al.  Tunable low-pass active filter using active capacitor for multimode standards
IEEE 18th conference on electronices, circuits and systems (ICECS), Dec 2011, Beirut, Lebanon. pp.619-622
hal-00944548v1  Communication dans un congrès
Mohamed Ben HammoudaPhilippe CoussyLoïc Lagadec. A Design Approach to Automatically Synthesize ANSI-C Assertions during High-Level Synthesis of Hardware Accelerators
ISCAS 2014 - IEEE International Symposium on Circuits and Systems, May 2014, Melbourne, Australia. pp.XX
hal-02433746v1  Communication dans un congrès
Marwa IbrahimH. HarbA. NasserAli MansourChristophe Osswald. Adaptive Strategy and Decision Making Model for Sensing-Based Network Applications
19th International Symposium on Communications and Information Technologies, ISCIT 2019, 2019, Ho Chi Minh, Vietnam. pp.96-101, ⟨10.1109/ISCIT.2019.8905211⟩
hal-02418297v1  Communication dans un congrès
Mahmoud AlmasriAli MansourChristophe MoyA. AssoumChristophe Osswald et al.  Distributed Algorithm to Learn OSA Channels Availability and Enhance the Transmission Rate of Secondary Users
19th International Symposium on Communications and Information Technologies, ISCIT 2019, Sep 2019, Ho Chi Minh City, Vietnam. pp.356-360, ⟨10.1109/ISCIT.2019.8905171⟩
...
hal-01310196v1  Communication dans un congrès
J MarchalM LegrisIrène MopinA.-L VerneilR Leiba et al.  Sonar latéral à but pédagogique
12ème Congrès Français d'Acoustique (CFA 2014), Apr 2014, Poitiers, France
...
hal-00870579v1  Communication dans un congrès
Benoit Clement. Control Algorithms for a Sailboat Robot with a Sea Experiment
Conference on Control Applications in Marine Systems, Sep 2013, Osaka, Japan
hal-01172442v1  Communication dans un congrès
François Le PennecTran Vu LaFabrice Comblet. Influence des matériaux constituant les pales de petites éoliennes sur les antennes de stations de base à énergie hybride
JNM 2015 : XIX èmes Journées Nationales Microondes, Jun 2015, Bordeaux, France. pp.584 - 587
...
hal-01119571v1  Communication dans un congrès
Vincent RibaudCiprian TeodorovZoé DreyLuka LerouxPhilippe Dhaussy. Techniques and Challenges for Trace Processing from a Model-Checking Perspective
International Joint Conferences on Computer, Information, Systems Sciences, & Engineering - CISSE 2014, University of Bridgeport, Dec 2014, Bridgeport, United States
...
hal-01203649v1  Communication dans un congrès
Khaoula Es-SalhiSiham Rim BoudaoudCiprian TeodorovZoé DreyVincent Ribaud. KriQL: a query language for the diagnosis of transition systems
15th International Workshop on Automated Verification of Critical Systems - AVOCS'15, Sep 2015, Edimburgh, United Kingdom. pp.151-165