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-00820732v1  Communication dans un congrès
Antoine GhalebRené GarelloBertrand ChapronNicolas PinelFabrice Comblet et al.  Modeling and simulation of multi-scale radar sea surface
European Conference Ocean & Coastal Observation Sensors and observing systems, numerical models & information Systems, Jun 2010, Brest, France. pp.OCOSS'2010
hal-00635969v1  Chapitre d'ouvrage
Jean-Philippe BabauPhilippe DhaussyPierre-Yves Pillain. Model integration for formal qualification of timing-aware software data acquisition components
Model Driven Engineering for Distributed Real-Times and Embedded Systems, ISTE, pp.167-200, 2010
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-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-00626512v1  Communication dans un congrès
Sarab TayFrederic MaussangArnaud CoatanhayRené Garello. Kalman filtering of GPS signals for target tracking application
Passive 2010 conference, Jun 2010, Brest, France
...
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-01241525v1  Communication dans un congrès
Anthony FicheArnaud MartinJean-Christophe CexusAli Khenchaf. Continuous belief functions and α-stable distributions
Information Fusion (FUSION), 2010 13th Conference on, Jul 2010, Edinburgh, United Kingdom. 7 p
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