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


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
Nadia MenadPhilippe DhaussyZoé DreyRachida Mekki. TOWARDS A TRANSFORMATION APPROACH OF TIMED UML MARTE SPECIFICATIONS FOR OBSERVER-BASED FORMAL VERIFICATION
Computing and Informatics, Slovak University Press, Bratislava, 2016, 35, pp.1001-1031
...
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-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-01406098v1  Communication dans un congrès
P. O. LeyeA. KhenchafP. Pouliguen. Application of Gaussian Beam Summation Method in High-Frequency RCS of Complex Radar Targets
IEEE Radar conference 2016, May 2016, Phidalphie, United States
...
hal-01373458v1  Poster
Julien OgorBenoit Zerr. Towards the automation of sand dune detection in the bathymetry
Marine and River Dune Dynamics Conference, Apr 2016, Gwynned, United Kingdom. 2016
hal-01653367v1  Communication dans un congrès
Abdelmalek ToumiAli Khenchaf. Target Recognition using IFFT and MUSIC ISAR images
ATSIP 2016, Mar 2016, Monastir, Tunisia
hal-01466809v1  Communication dans un congrès
Gaspard MinsterOlivier BlanpainStéphanie DesmareFrance Floc'HAmandine Nicolle et al.  Modélisation hydro-sédimentaire du Raz Blanchard
XIVèmes Journées Nationales Génie Côtier – Génie Civil, Jun 2016, Toulon, France. ⟨10.5150/jngcgc.2016.031⟩
hal-02515359v1  Chapitre d'ouvrage
Lamia AllalGhalem BelalemPhilippe DhaussyCiprian Teodorov. Proposed Algorithms to the State Explosion Problem
Aynur Unal; Malaya Nayak; Durgesh Kumar Mishra; Dharm Singh; Joshi Amit. Smart Trends in Information Technology and Computer Communications. First International Conference, SmartCom 2016, Jaipur, India, August 6–7, 2016, Revised Selected Papers, 628, Springer, pp.211-217, 2016, Communications in Computer and Information Science book series (CCIS), 978-981-10-3433-6 (eBook); 978-981-10-3432-9 (Softcover). ⟨10.1007/978-981-10-3433-6_26⟩
hal-01404508v1  Communication dans un congrès
Frédéric Le RoyThierry QuiniouAli MansourRafaat LababidiDenis Le Jeune. RFID Eavesdropping Using SDR Platforms
5th International Conference on Applications in Electronics Pervading Industry, Environment and Society (APPLEPIES 2016), Sep 2016, Rome, Italy. pp.208 - 214, ⟨10.1007/978-3-319-55071-8_27⟩
hal-02515709v1  Communication dans un congrès
Fadi ObeidPhilippe Dhaussy. RITA secure communication protocol : application to SCADA
8th International Conference on Network and Communications Security - NCS 2016, Dec 2016, Sydney, Australia. ⟨10.5121/csit.2016.61518⟩
hal-01406625v1  Communication dans un congrès
Naima. AmroucheAli. KhenchafDaoud. Berkania. A Particle Filter for Multi-Target Tracking in Track Before Detect context
SPIE Remote sensing, Sep 2016, Warsaw, Poland
hal-01391337v1  Communication dans un congrès
Pierre BosserOlivier Bock. Screening of GPS ZTD estimates
3th COST 1206 GNSS4SWEC Workshop, 2016, Reykjavik, Iceland
hal-01391615v1  Communication dans un congrès
Juan Luis RosendoFabricio GarelliBenoit ClementHernan de Hernan. MITIGATION OF THE SATURATION EFFECT IN AUV PATH FOLLOWING APPLICATIONS
25o Congreso Argentino de Control Automático, Nov 2016, Buenos Aires, Argentina
...
hal-01368466v1  Communication dans un congrès
Benoit ClementYang RuiAli MansourLi Ming. A Modeling and Control approach for a cubic AUV
10th IFAC Conference on Control Applications in Marine Systems, Sep 2016, Tronheim, Norway. pp.279 - 284, ⟨10.1016/j.ifacol.2016.10.355⟩