Accéder directement au contenu Accéder directement à la navigation
  1. Recherche


hal-01716143v1  Article dans une revue
Lamia Allal, Ghalem Belalem, Philippe Dhaussy, Ciprian 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 Bounceur, Bezoui Madani, Mohammad Hammoudeh, Loïc Lagadec, Reinhardt 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 Cazau, Julien Bonnel, Mark 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 Picard, Alexandre Baussard, Isabelle Quidu, Gilles 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-00926818v1  Article dans une revue
B. Belkhaoui, Abdelmalek Toumi, A. Khalfallah. Fusion Fourier descriptors from the EM,
International Journal of Computer and Information Technology, 2013, 2 (4)
hal-01373317v1  Article dans une revue
Lamia Allal, Ghalem Belalem, Philippe Dhaussy, Ciprian 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 Bruget, Benoit Clement, Olivier Reynet, Bernt Weber. The disabled set sail
CAN Newsletter, 2014, pp.8-13
...
hal-00914339v1  Article dans une revue
Ali Mansour, Isabelle 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 Benabbou, Safia Nait Bahloul, Dhaussy 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 Grosdidier, Alexandre 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 Menad, Philippe Dhaussy, Zoé Drey, Rachida 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. Hajduch, Nicolas Bon, Ali Khenchaf, René Garello, J.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-02982281v1  Article dans une revue
Sébastien Bonnieux, Dorian Cazau, Sébastien Mosser, Mireille Blay-Fornarino, Yann Hello et al.  MeLa: A Programming Language for a New Multidisciplinary Oceanographic Float
Sensors, MDPI, 2020, 20 (21), pp.6081. ⟨10.3390/s20216081⟩
hal-01121845v1  Article dans une revue
Charbel Geryes Aoun, Iyas Alloush, Yvon Kermarrec, Joël Champeau, Oussama 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-02149409v1  Article dans une revue
Helmi Ghanmi, Ali Khenchaf, Philippe Pouliguen. Investigation of RCS of modified targets using experimental measurements and GB methods
IET Radar Sonar and Navigation, Institution of Engineering and Technology, 2019, 13 (9), pp.1403-1410. ⟨10.1049/iet-rsn.2018.5518⟩