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-00771748v1  Communication dans un congrès
Stephen Creff, Joël Champeau. Relationships in Variability Modeling Approaches: A Survey and Classification
5ème journée Lignes de Produits, Nov 2012, Villeneuve d'Ascq, France
hal-01171207v1  Communication dans un congrès
Alexandre Baussard, Arnaud Coatanhay. Evaluating GNSS Signals for Passive Local Sea State Monitoring
Space Reflecto, Nov 2013, Brest, France
hal-01551453v1  Communication dans un congrès
Kahina Bensafia, Ali Mansour, Salah Haddab. Blind Source Subspace Separation and Classification of ECG Signals
ATS 2017, Mar 2017, Sousse, Tunisia
hal-01203491v1  Communication dans un congrès
Seifallah Ben Saad, Benoît Zerr, Irvin Probst, Fré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-00771758v1  Communication dans un congrès
Jean-Christophe Le Lann, Joël Champeau, Papa Issa Diallo, Pierre-Laurent Lagalaye. From system-level models to heterogeneous embedded systems
RITF 2012 - Recherche et Innovation pour les Transports du Futur, Nov 2012, Paris, France. pp.XX
hal-01708026v1  Communication dans un congrès
Yannick Deville, Alain Deville, Simon Rebeyrol, Ali Mansour. Analytical performance analysis for blind quantum source separation with time-varying coupling
23rd Asia-Pacific Conference on Communications (APCC), Curtin University; The University of New South Wales, Dec 2017, Perth, Australia
hal-01833431v1  Communication dans un congrès
Ayoub Karine, Abdelmalek Toumi, Ali Khenchaf, Mohammed El Hassouni. Aircraft Target Recognition using Copula Joint Statistical Model and Sparse Representation Based Classification
IGARSS 2018, International Geoscience and Remote Sensing Symposium 2018, IEEE Geoscience and Remote Sensing Society, Jun 2018, Valencia, Spain. pp.3635-3638, ⟨10.1109/IGARSS.2018.8518668⟩
hal-01832187v1  Communication dans un congrès
Sarra Zaied, Abdelmalek Toumi, Ali Khenchaf. Target classification using convolutional deep learning and auto-encoder models
2018 4th International Conference on Advanced Technologies for Signal and Image Processing (ATSIP), Mar 2018, Sousse, France. ⟨10.1109/ATSIP.2018.8364502⟩
hal-01864787v1  Communication dans un congrès
Obeid Fadi, Philippe Dhaussy. Model-checking for Secured Component Implementation.
17th International Conference on Security and Management (SAM’18), Jul 2018, Las Vegas, United States
hal-01864790v1  Communication dans un congrès
Obeid Fadi, Philippe Dhaussy. Secure Communication Protocol: Application to Large Number of Distributed Sensors
17th International Conference on Security and Management (SAM’18), Jul 2018, Las Vegas, United States
hal-01864805v1  Communication dans un congrès
Obeid Fadi, Philippe Dhaussy. Validation formelle d’architecture logicielle basée sur des patrons de sécurité
17e journées AFADL 2018, Approches Formelles dans l’Assistance au Développement de Logiciel, Jun 2018, Grenoble, France
hal-01864825v1  Communication dans un congrès
Amel Benabbou, Safia Nait Bahloul, Philippe Dhaussy. An Automated Transformation Approach for Requirement Specification
Conf ITQM’16, Aug 2016, Séoul, South Korea
...
hal-01867343v1  Communication dans un congrès
Ghanmi Helmi, Ali Khenchaf, Philippe Pouliguen. Radar Cross Section of Modified Target using Gaussian Beam Methods: Experimental Validation
International conference on Radar 2018, Aug 2018, Brisbane, Australia
hal-01867365v1  Communication dans un congrès
Honglei Zheng, Ali Khenchaf, Yunhua Wang, Helmi Ghanmi, Chaofang Zhao. Estimation of NRCS of Oil-free and Oil-covered Marine Surfaces in L-band. Assessment with UAVSAR data
International Conference on Radar 2018, Aug 2018, Brisbane, Australia
hal-01867385v1  Communication dans un congrès
Honglei Zheng, Ali Khenchaf, Helmi Ghanmi, Yunhua Wang, Chaofang Zhao. Normalized radar cross sections of sea surface estimated using asymptotic and semi-empirical methods in C band
International Geoscience and Remote Sensing Symposium 2018 (IGARSS 2018), Jul 2018, Valencia, Spain
hal-01867638v1  Communication dans un congrès
Jean-Christophe Le Lann, Théotime Bollengier, Mohamad Najem, Loïc Lagadec. An Integrated Toolchain for Overlay-centric System-on-chip
13th International Symposium on Reconfigurable Communication-centric Systems-on-Chip 2018 (ReCoSoC 2018), Jul 2018, Lille, France. ⟨10.1109/ReCoSoC.2018.8449388⟩
...
hal-01867767v1  Communication dans un congrès
Ahmad Hani El Fawal, Ali Mansour, M. Najem, Frederic Le Roy, Denis Le Jeune. CTMC modeling for M2M/H2H coexistence in a NB-IoT Adaptive eNodeB
11th IEEE International Conference on Internet of Things (iThings-2018), Jul 2018, Halifax, Canada
hal-01867181v1  Communication dans un congrès
Alexandre Lefort, Benoit Clement, X. Dal Santo. Autopilot for a marine vessel : a formal proff of robustness and optimal control based on an uncertain model
13th national conference on Software and Hardware Architectures for Robots Control (SHARC 2018), Naval Group, Jun 2018, Saint-Tropez, France
hal-01867225v1  Communication dans un congrès
Helmi Ghanmi, Ali Khenchaf, P. Pouliguen, P.O. Leye. RCS of Radar Targets using Gaussian Beam Summation Method. Experimental Evaluation
19th International Radar Symposium (IRS), Jun 2018, Bonn, Germany. ⟨10.23919/IRS.2018.8448088⟩
...
tel-02013947v1  Thèse
Mohamed Abaza. Cooperative MIMO techniques for outdoor optical wireless communication systems
Other. Université de Bretagne occidentale - Brest, 2015. English. ⟨NNT : 2015BRES0073⟩
...
tel-01807651v1  Thèse
Abbass Nasser. Spectrum sensing for half and full-duplex interweave cognitive radio systems
Physics [physics]. Université de Bretagne occidentale - Brest, 2017. English. ⟨NNT : 2017BRES0006⟩
...
hal-03104246v1  Communication dans un congrès
Clémentin Boittiaux, Paul Nguyen Hong Duc, Nicolas Longépé, Sara Pensieri, Roberto Bozzano et al.  Multi-modal deep learning models for ocean wind speed estimation
2020 MACLEAN: MAChine Learning for EArth ObservatioN Workshop, MACLEAN 2020, Sep 2020, Virtual online, France
...
hal-00840663v1  Communication dans un congrès
Mohamed Abbas Turki, Gilles Duc, Benoit Clement. Multi-Objective Controller Design for a Space Launcher
European Control Conference, Jul 2007, Kos, Greece
hal-00940091v1  Communication dans un congrès
Mohamad-Raafat Lababidi, Dominique Lo Hine Tong, Ali Louzir, Jean-Luc Robert, J.Y. Le Naour et al.  Tunable low-pass active filter using active capacitor for multimode standards
IEEE 18th conference on electronices, circuits and systems (ICECS), Dec 2011, Beirut, Lebanon. pp.619-622
...
hal-02303250v1  Communication dans un congrès
Nabil Kadjouh, Ahcène Bounceur, Abdelkamel Tari, Reinhardt Euler, Loïc Lagadec et al.  Temperature-based models of batteries for the simulation of Wireless Sensor Networks
3rd International Conferenceon on Future Networks and Distributed Systems, Jul 2019, Paris, France. pp.1-6, ⟨10.1145/3341325.3342013⟩
hal-02439264v1  Communication dans un congrès
Ghattas Akkad, R. Ayoubi, Ali Mansour, B. Elhassan. Hardware Architecture for a Bit-Serial Odd-Even Transposition Sort Network with On-The-Fly Compare and Swap
7th International Workshop Applications in Electronics Pervading Industry, Environment & Society (ApplePies 2019), Sep 2019, Pisa, Italy
hal-02434616v1  Communication dans un congrès
Arnaud Coatanhay. Rough paths theory applied to analyze the electromagnetic field scattered by a time varying sea surface
21st International Conference on Electromagnetics in Advanced Applications, ICEAA 2019, Sep 2019, Granada, Spain. pp.8879330, ⟨10.1109/ICEAA.2019.8879330⟩
hal-02434619v1  Communication dans un congrès
Ngoc Tan Truong, Ali Khenchaf, Fabrice Comblet. Estimating Ambiguity and Using Model Weight To Improve the Positioning Accuracy of a Stand-alone Receiver
13th European Conference on Antennas and Propagation, EuCAP 2019, Mar 2019, Krakow, Poland. pp.8739397
hal-02434622v1  Communication dans un congrès
Ghattas Akkad, Ali Mansour, B. Elhassan, J. Srar, M. Najem et al.  An efficient non-blind steering vector estimation technique for robust adaptive beamforming with multistage error feedback
11th KES International Conference on Intelligent Decision Technologies, KES-IDT 2019, Jun 2019, St. Julians, Malta. pp.13-23, ⟨10.1007/978-981-13-8303-8_2⟩
hal-02434624v1  Communication dans un congrès
Ngoc Tan Truong, Ali Khenchaf, Fabrice Comblet. Evaluating Process and Measurement Noise in Extended Kalman Filter for GNSS Position Accuracy
13th European Conference on Antennas and Propagation, EuCAP 2019, Mar 2019, Krakow, Poland. pp.8739375
hal-00944548v1  Communication dans un congrès
Mohamed Ben Hammouda, Philippe Coussy, Loïc Lagadec. A Design Approach to Automatically Synthesize ANSI-C Assertions during High-Level Synthesis of Hardware Accelerators
ISCAS 2014 - IEEE International Symposium on Circuits and Systems, May 2014, Melbourne, Australia. pp.XX
hal-02433746v1  Communication dans un congrès
Marwa Ibrahim, H. Harb, A. Nasser, Ali Mansour, Christophe Osswald. Adaptive Strategy and Decision Making Model for Sensing-Based Network Applications
19th International Symposium on Communications and Information Technologies, ISCIT 2019, 2019, Ho Chi Minh, Vietnam. pp.96-101, ⟨10.1109/ISCIT.2019.8905211⟩
hal-02433750v1  Communication dans un congrès
Viet-Dung Nguyen, M.D. Renzo, Ali Mansour, Arnaud Coatanhay, N. Linh-Trung. A closed-form expression of the BER of reconfigurable antenna aided Space Shift Keying (SSK)
19th International Symposium on Communications and Information Technologies, ISCIT 2019, 2019, Ho Chi Minh, Vietnam. pp.350-355, ⟨10.1109/ISCIT.2019.8905126⟩
hal-02457676v1  Communication dans un congrès
Zaynab Guerraou, Ali Khenchaf, Fabrice Comblet, Marc Leouffre, Olivier Lacrouts. Particle Filter Track-Before-Detect for Target Detection and Tracking from Marine Radar Data
2019 IEEE Conference on Antenna Measurements Applications (CAMA), Oct 2019, Kuta, Bali, Indonesia. pp.1-4, ⟨10.1109/CAMA47423.2019.8959750⟩
hal-02457679v1  Communication dans un congrès
Honglei Zheng, Yanmin Zhang, Yunhua Wang, Ali Khenchaf. Microwave and Terahertz Em Wave Scattering From Oil-Water Complex Sea Surface at Small Incident Angles
IGARSS 2019 - 2019 IEEE International Geoscience and Remote Sensing Symposium, Jul 2019, Yokohama, Japan. pp.2852-2855, ⟨10.1109/IGARSS.2019.8898696⟩
...
hal-02441878v1  Communication dans un congrès
Mihal Brumbulli, Emmanuel Gaudin, Ciprian Teodorov. Automatic Verification of BPMN Models
10th European Congress on Embedded Real Time Software and Systems (ERTS 2020), Jan 2020, Toulouse, France
...
hal-01702322v1  Communication dans un congrès
Helmi Ghanmi, Ali Khenchaf, Papa Ousmane Leye, Philippe Pouliguen. Study of RCS of complex target: Experimental measurements and Gaussian beam summation method
IEEE Conference on Antenna Measurements & Applications 2017, (CAMA 2017), Dec 2017, Tsukuba, Japan. pp.196-199, ⟨10.1109/CAMA.2017.8273399⟩
hal-01170759v1  Communication dans un congrès
Helmi Ghanmi, Ali Khenchaf, Fabrice Comblet. Numerical Simulation of Bistatic Electromagnetic Scattering by Contaminated Sea Surface
International Radar Conference 2014, SEE, Oct 2014, Lille, France
hal-01170884v1  Communication dans un congrès
Helmi Ghanmi, Ali Khenchaf, Fabrice Comblet. Simulation Numérique de la Signature Electromagnétique Bistatique d’une Surface Maritime en Présence de Polluants
Journées nationales Micro-Ondes, INP Bordeaux, Jun 2015, Bordeaux, France
hal-01170766v1  Communication dans un congrès
Helmi Ghanmi, Ali Khenchaf, Fabrice Comblet. Bistatic scattering from a contaminated sea surface observed in C, X and Ku bands
SPIE Remote Sensing, Sep 2014, Amsterdam, Netherlands
hal-01171084v1  Communication dans un congrès
Majid Rochdi, Ali Khenchaf. Modélisation de la diffusion électromagnétique en haute fréquence d’une surface de mer en présence d’une cible complexe
ENVIREM 2015, Onera; Centrale Supelec; SEE, Jun 2015, Gif sur Yvette, France
hal-01164505v1  Communication dans un congrès
Khaled Khoder, Marc Le Roy, Mohamad-Raafat Lababidi, André Pérennec. Déphaseur 360° compact large-bande
JNM 2015, INP Bordeaux, Jun 2015, Bordeaux, France
hal-00746034v1  Communication dans un congrès
Julien Bonnel, Ross Chapman, Stan Dosso. Single receiver bayesian inversion in a dispersive waveguide
ECUA 2012, Jul 2012, United Kingdom
hal-01174435v1  Communication dans un congrès
Imran Ashraf, Nader Khammassi, Koen Bertels, Jean-Christophe Le Lann. Communication-aware Parallelization Strategies for High Performance Applications.
ISVLSI'15 - IEEE Computer Society Annual Symposium on VLSI, Jul 2015, Montpellier, France
...
hal-00728972v1  Communication dans un congrès
Isabelle Quidu. Incoherent change detection using amplitude sidescan sonar images
ECUA 2012, Jul 2012, Edimburgh, United Kingdom
...
hal-00728978v1  Communication dans un congrès
Ahmed Nait-Chabane, Benoit Zerr, Gilles Le Chenadec. Range-independent segmentation of sidescan sonar images with unsupervised SOFM algorithm (self-organizing feature maps).
ECUA 2012, Jul 2012, Edimburgh, United Kingdom
...
hal-00729000v1  Communication dans un congrès
Ridha Fezzani, Benoit Zerr, Michel Legris, Yann Stephan. Seabed geoacoustic characterization and classification by multisonar fusion
ECUA 2012, Jul 2012, Edimburgh, United Kingdom
...
hal-00729026v1  Communication dans un congrès
Coralie Monpert, Michel Legris, Claire Noel, Benoit Zerr, Jean-Marc Le Caillec. Studying and modeling of submerged aquatic vegetation environments seen by a single beam echosounder
ECUA 2012, Jul 2012, Edinburgh, United Kingdom
...
hal-00729160v1  Communication dans un congrès
Guillaume Jubelin, Ali Khenchaf. A STATISTICAL MODEL OF SEA CLUTTER IN PANCHROMATIC HIGH RESOLUTION IMAGES
IGARSS 2012, Jul 2012, Munich, Germany
hal-01131976v1  Communication dans un congrès
D. M. Nguyen, F. Dambreville, Abdelmalek Toumi, Jean-Christophe Cexus, Ali Khenchaf. A Column Generation Approach for Coordination and Control of Multiple UAVs
6th International Conference on Modeling, Simulation and Optimization of Complex Processes - HPSCH 2015, Mar 2015, Hanoi, Vietnam
...
hal-00728395v1  Communication dans un congrès
Ayda Elbergui, Isabelle Quidu, Benoit Zerr, Basel Solaiman. Model based classification of mine-like objects in sidescan sonar using the highlight information
ECUA 2012, Jul 2012, Edinburgh, United Kingdom
hal-02431973v1  Communication dans un congrès
Nisha Rani Mahato, S. Chakraverty, Luc Jaulin, Jean Dezert. Validated Enclosure of Uncertain Nonlinear Equations Using SIVIA Monte Carlo
8th National Conference on Wave Mechanics and Vibrations, WMVC 2018, Jul 2018, Rourkela, India. pp.455-468, ⟨10.1007/978-981-15-0287-3_32⟩
hal-01158161v1  Chapitre d'ouvrage
Francis Céleste, Frédéric Dambreville. Optimal Path Planning for Information based Localization
Advanced Computational Methods for Knowledge Engineering, 282, Springer, pp.377-388, 2014, Advanced Computational Methods for Knowledge Engineering, 978-3-319-06568-7. ⟨10.1007/978-3-319-06569-4_28⟩
hal-00635969v1  Chapitre d'ouvrage
Jean-Philippe Babau, Philippe Dhaussy, Pierre-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-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-02304760v1  Chapitre d'ouvrage
Ahmad Hani El Fawal, Ali Mansour, Mohamad Najem. V2V Influence on M2M and H2H Traffics During Emergency Scenarios
Global Advancements in Connected and Intelligent Mobility: Emerging Research and Opportunities, IGI Global, pp.93-134, 2019, 9781522590194. ⟨10.4018/978-1-5225-9019-4.ch003⟩
hal-01089392v1  Direction d'ouvrage, Proceedings, Dossier
Loïc Lagadec, Alain Plantec. Preface to the special issue on advances in Smalltalk based systems
France. 96 (1), pp.1-3, 2014, Science of Computer Programming, ⟨10.1016/j.scico.2014.07.004⟩
hal-00862485v1  Chapitre d'ouvrage
Jérôme Delatour, Joël Champeau. Modélisation de l'étude de cas avec MARTE
Hermes. Modélisation et analyse de systèmes embarqués, Lavoisier, pp.161-178, 2013, SEE, 978-2-7462-3900-5
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-00676423v1  Chapitre d'ouvrage
Philippe Dhaussy, Jean-Charles Roger, Frédéric Boniol. Context Aware Model-Checking for Embedded Software
Embedded Systems - Theory and Design Methodology, InTech, ISBN: 978-953-51-0167-3 p. 167-184, 2012
...
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-00828334v1  Chapitre d'ouvrage
Duc-Manh Nguyen, Frédéric Dambreville, Abdelmalk Toumi, Jean-Christophe Cexus, Ali Khenchaf. A Column Generation Based Label Correcting Approach for the Sensor Management in an Information Collection Process
Nguyen, Ngoc Thanh and Do, Tien and Thi, Hoai An. Advanced Computational Methods for Knowledge Engineering, Springer International Publishing, pp.77-89, 2013, Studies in Computational Intelligence, ⟨10.1007/978-3-319-00293-4_7⟩
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⟩