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-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-01864825v1  Communication dans un congrès
Amel BenabbouSafia Nait BahloulPhilippe Dhaussy. An Automated Transformation Approach for Requirement Specification
Conf ITQM’16, Aug 2016, Séoul, South Korea
hal-01373317v1  Article dans une revue
Lamia AllalGhalem BelalemPhilippe DhaussyCiprian Teodorov. A Parallel Algorithm for the State Space Exploration
Scalable Computing : Practice and Experience, West University of Timisoara, 2016, Scalable Computing: Practice and Experience, 17 (2), pp.129-141. ⟨10.12694/scpe.v17i2.1161⟩
hal-01298623v1  Article dans une revue
Amel BenabbouSafia Nait BahloulDhaussy Philippe. Context-aware approach for formal verification
EAI Endorsed Transactions on Context-aware Systems and Applications, 2016, 3 (7), pp.1-10. ⟨10.4108/eai.12-2-2016.151085⟩
hal-01326351v1  Article dans une revue
Computing and Informatics, Slovak University Press, Bratislava, 2016, 35, pp.1001-1031
hal-01121845v1  Article dans une revue
Charbel Geryes AounIyas AlloushYvon KermarrecJoël ChampeauOussama Kassem Zein. A Modeling Approach for Marine Observatory
Sensors & Transducers Journal, International Frequency Sensor Association (IFSA), 2015, Sensors & Transducers Journal, 185 (2), pp.129-139
hal-01396694v1  Article dans une revue
Papa Ousmane LeyeAli KhenchafPhilippe Pouliguen. The Gaussian Beam Summation and the Gaussian Launching Methods in Scattering Problem
Journal of Electromagnetic Analysis and Applications, 2016, Journal of Electromagnetic Analysis and Applications, 8 (10), pp.219-225. ⟨10.4236/jemaa.2016.810020⟩
hal-02542690v1  Communication dans un congrès
Florian NicolasAndreas ArnoldIsabelle QuiduBenoît Zerr. Rigid Sonar Tracks Registration For MCM Survey Missions
Undersea Defence Technology (UDT), Jun 2016, Oslo, Norway
hal-01312568v1  Communication dans un congrès
Nathalie DebeseJean José JacqKoen DegrendeleMarc Roche. Ripple filtering and ridge enhancement applied to morphodynamical tracking of sand dunes
MARID 2016. Fifth International Conference on Marine and River Dune Dynamics, Apr 2016, Bangor United Kingdom
hal-01192706v1  Article dans une revue
Jeremy NicolaLuc Jaulin. Contractors and Linear Matrix Inequalities
ASCE-ASME Journal of Risk and Uncertainty in Engineering Systems, Part B: Mechanical Engineering, American Society of Mechanical Engineers (ASME), 2015, Journal of Risk and Uncertainty in Engineering Systems, Part B: Mechanical Engineering, 1 (3), ⟨10.1115/1.4030781⟩
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
hal-01406604v1  Communication dans un congrès
Vincent LeildeVincent RibaudPhilippe Dhaussy. Model-based Diagnosis Patterns for Model Checking
PAME 2016, Oct 2016, St Malo, France. pp.7-12
hal-01697995v1  Communication dans un congrès
Miguel Sanchez-SorianoYves QuéréVincent Le SauxC. QuendoJorge Martinez et al.  Study on energy recovery from substrate integrated waveguide circuits
2015 European Microwave Conference (EuMC 2015), Sep 2015, Paris, France. ⟨10.1109/EuMC.2015.7345722⟩
hal-01117760v1  Communication dans un congrès
Abdelmalek ToumiAli Khenchaf. Corrélation optique pour l’identification de cibles radar
EGC 2015, Jan 2015, Luxembourg, Luxembourg
hal-01236727v1  Communication dans un congrès
Mohamad-Raafat Lababidi. Highly integrated Active Dual Response Filter
SBCCI '15, Aug 2015, Salvador de Bahia, Brazil