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


hal-01716143v1  Article dans une revue
Lamia AllalGhalem BelalemPhilippe DhaussyCiprian Teodorov. Distributed algorithm to fight the state explosion problem
INDERSCIENCE International Journal of Internet Technology and Secured Transactions., Inderscience Enterprises, 2018, 8 (3), pp.398 - 411. ⟨10.1504/IJITST.2018.10014833⟩
...
hal-02303242v1  Article dans une revue
Ahcène BounceurBezoui MadaniMohammad HammoudehLoïc LagadecReinhardt Euler. Finding the polygon hull of a network without conditions on the starting vertex
Transactions on emerging telecommunications technologies, Wiley-Blackwell, In press, pp.e3696. ⟨10.1002/ett.3696⟩
hal-02122926v1  Article dans une revue
Dorian CazauJulien BonnelMark Baumgartner. Wind Speed Estimation Using Acoustic Underwater Glider in a Near-Shore Marine Environment
IEEE Transactions on Geoscience and Remote Sensing, Institute of Electrical and Electronics Engineers, 2019, 57 (4), pp.2097-2106. ⟨10.1109/TGRS.2018.2871422⟩
hal-01834188v1  Article dans une revue
Laurent PicardAlexandre BaussardIsabelle QuiduGilles Le Chenadec. Seafloor Description in Sonar Images Using the Monogenic Signal and the Intrinsic Dimensionality
IEEE Transactions on Geoscience and Remote Sensing, Institute of Electrical and Electronics Engineers, 2018, 56 (9), pp. 5572 - 5587. ⟨10.1109/TGRS.2018.2821189⟩
hal-02008418v1  Article dans une revue
Fabrice CombletFranck DaoutChristelle EyraudJean-Michel GeffrinPierre Massaloux et al.  Mesure de surface équivalente radar (SER) - Aspect expérimental
Techniques de l'Ingenieur, Techniques de l'ingénieur, 2018
...
hal-03126858v1  Article dans une revue
Pierre BosserOlivier Bock. IWV retrieval from ground GNSS receivers during NAWDEX
Advances in Geosciences, European Geosciences Union, 2021, 55, pp.13-22. ⟨10.5194/adgeo-55-13-2021⟩
...
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-00926818v1  Article dans une revue
B. BelkhaouiAbdelmalek ToumiA. Khalfallah. Fusion Fourier descriptors from the EM,
International Journal of Computer and Information Technology, 2013, 2 (4)
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-01069935v1  Article dans une revue
Kevin BrugetBenoit ClementOlivier ReynetBernt Weber. The disabled set sail
CAN Newsletter, 2014, pp.8-13
...
hal-00914339v1  Article dans une revue
Ali MansourIsabelle Leblond. Ecosystem Monitoring and Port Surveillance Systems
AIAAS - Advances in Applied Acoustics, 2013, 2 (4), pp.91-111
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-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-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-00449708v1  Article dans une revue
G. HajduchNicolas BonAli KhenchafRené GarelloJ.M. Quellec. Recent Developments in Detection, Imaging and Classification for Airborne Maritime Surveillance
IET Signal Processing, Institution of Engineering and Technology, 2008, 2 (3), pp.192-203
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