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-00771748v1  Communication dans un congrès
Stephen CreffJoë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-01206527v1  Communication dans un congrès
Philippe Dhaussy. Formal Validation with Model-Checking Techniques
ICNTC'2012, Dec 2012, Chlef, Algérie
hal-01171207v1  Communication dans un congrès
Alexandre BaussardArnaud Coatanhay. Evaluating GNSS Signals for Passive Local Sea State Monitoring
Space Reflecto, Nov 2013, Brest, France
hal-01551453v1  Communication dans un congrès
Kahina BensafiaAli MansourSalah 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 SaadBenoît ZerrIrvin ProbstFré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 LannJoël ChampeauPapa Issa DialloPierre-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 DevilleAlain DevilleSimon RebeyrolAli 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 KarineAbdelmalek ToumiAli KhenchafMohammed 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 ZaiedAbdelmalek ToumiAli 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 FadiPhilippe 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 FadiPhilippe 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 FadiPhilippe 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 BenabbouSafia Nait BahloulPhilippe 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 HelmiAli KhenchafPhilippe 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 ZhengAli KhenchafYunhua WangHelmi GhanmiChaofang 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 ZhengAli KhenchafHelmi GhanmiYunhua WangChaofang 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 LannThéotime BollengierMohamad NajemLoï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 FawalAli MansourM. NajemFrederic Le RoyDenis 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 LefortBenoit ClementX. 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 GhanmiAli KhenchafP. PouliguenP.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-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-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-03104246v1  Communication dans un congrès
Clémentin BoittiauxPaul Nguyen Hong DucNicolas LongépéSara PensieriRoberto 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 TurkiGilles DucBenoit Clement. Multi-Objective Controller Design for a Space Launcher
European Control Conference, Jul 2007, Kos, Greece
...
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-01391389v1  Poster
Pierre Bosser. Apprendre le positionnement par GNSS avec le logiciel RTKlib
Géomatice 2016, May 2016, Marne-La-Vallée, France. 2016
hal-00940091v1  Communication dans un congrès
Mohamad-Raafat LababidiDominique Lo Hine TongAli LouzirJean-Luc RobertJ.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 KadjouhAhcène BounceurAbdelkamel TariReinhardt EulerLoï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 AkkadR. AyoubiAli MansourB. 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 TruongAli KhenchafFabrice 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 AkkadAli MansourB. ElhassanJ. SrarM. 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 TruongAli KhenchafFabrice 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 HammoudaPhilippe CoussyLoï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 IbrahimH. HarbA. NasserAli MansourChristophe 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 NguyenM.D. RenzoAli MansourArnaud CoatanhayN. 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 GuerraouAli KhenchafFabrice CombletMarc LeouffreOlivier 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 ZhengYanmin ZhangYunhua WangAli 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 BrumbulliEmmanuel GaudinCiprian 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 GhanmiAli KhenchafPapa Ousmane LeyePhilippe 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-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-01158161v1  Chapitre d'ouvrage
Francis CélesteFré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 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-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-02304760v1  Chapitre d'ouvrage
Ahmad Hani El FawalAli MansourMohamad 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 LagadecAlain 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-00632337v1  Direction d'ouvrage, Proceedings, Dossier
Jean-Philippe BabauJoël ChampeauSébastien Gérard. Actes de l'école d'été MDA for Embedded System developpement
Actes de l'école d'été MDA for Embedded System developpement, pp.1-200, 2002
hal-00862485v1  Chapitre d'ouvrage
Jérôme DelatourJoë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 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-00676423v1  Chapitre d'ouvrage
Philippe DhaussyJean-Charles RogerFré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 MansourIsabelle 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 NguyenFrédéric DambrevilleAbdelmalk ToumiJean-Christophe CexusAli 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-02149475v1  Ouvrage (y compris édition critique et traduction)
André QuinquisAli MansourEmanuel Radoi. Signaux et systèmes : signaux, filtrage et décision
Lavoisier, 362 p., 2019, 978-2-7462-4859-5
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⟩
...
tel-01778386v1  HDR
Julien Bonnel. Traitement du signal et acoustique passive pour l'observation des océeans : de la lutte sous-marine à l'écologie
Acoustique [physics.class-ph]. Université de Bretagne Occidentale (UBO), Brest, 2017
hal-00862488v1  Chapitre d'ouvrage
Frédéric BoniolPhilippe DhaussyLuka Le RouxJean-Charles Roger. Analyse à partir du modèle
Hermes. Modélisation et analyse de systèmes embarqués, Lavoisier, pp.180-206, 2013, SEE, 978-2-7462-3900-5
hal-00517478v1  Direction d'ouvrage, Proceedings, Dossier
Jean-Philippe BabauJoël ChampeauSébastien Gérard. Editeurs des actes de l'école d'été MDA for Embedded System developpement
France. Non renseigne, pp.Non renseigne, 2002
hal-00935852v1  Brevet
Julien LintignatBruno BarelaudB. JarryMohamad-Raafat LababidiDominique Lo Hine Tong et al.  FILTRE STOP BANDE ACTIF
N° de brevet: WO2012/079777 (A1) PCT/FR2011/053684. 2012
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-00821955v1  Chapitre d'ouvrage
Jérôme DelatourJoël Champeau. Case Study Modeling Using MARTE
Embedded Systems. Analysis and Modeling with SysML, UML and AADL, Wiley, pp.139-156, 2013
hal-00935863v1  Brevet
Julien LintignatBruno BarelaudB. JarryMohamad-Raafat LababidiDominique Lo Hine Tong et al.  filtre actif a réponse double
N° de brevet: WO2013/087512 (A1) PCT/FR2011/0061524. 2013
...
hal-00854812v1  Communication dans un congrès
Nicolas BrochetonKevin BrugetAlban WibauxOlivier ReynetBenoit Clement et al.  Système d'assistance à la navigation handivoile
Handicap 2012, Jun 2012, Paris, France. pp.180