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


hal-01062373v1  Article dans une revue
Muntadher A. ShareefAbdelmalek ToumiAli Khenchaf. Estimation of Water Quality Parameters Using the Regression Model with Fuzzy K-Means Clustering
International journal of advanced computer science and applications (IJACSA), The Science and Information Organization, 2014, 5,6, ⟨10.14569/IJACSA.2014.050624⟩
hal-00822693v1  Communication dans un congrès
Mohamed AbazaMesleh RaedAli MansourAyman Alfalou. MIMO Techniques for High Data Rate Free Space Optical Communication System in Log-Normal Channel
The International Conference on Technological Advances in Electrical, Electronics and Computer Engineering, May 2013, Konya, Turkey
hal-00486627v1  Communication dans un congrès
Gael AbgrallFrederic Le RoyJean-Philippe DelahayeJean-Philippe DiguetGogniat Guy. Predictibility of inter-components latency in a Software Communications Architecture Open Environment
24th IEEE International Parallel and Distributed Processing Symposium, Apr 2010, Atlanta, United States
hal-00486625v1  Communication dans un congrès
Gael AbgrallFrederic Le RoyJean-Philippe DelahayeJean-Philippe DiguetGogniat Guy. A Comparative Study of Two Software Defined Radio Environments
SDR Forum Technical Conference, Oct 2008, Washington, United States
hal-03127356v1  Communication dans un congrès
Ghattas AkkadAli MansourBachar ElhassanElie InatyRafic Ayoubi. Two Stages Parallel LMS Structure: A Pipelined Hardware Architecture
2020 28th European Signal Processing Conference (EUSIPCO), Jan 2021, Amsterdam, Netherlands. pp.2363-2367, ⟨10.23919/Eusipco47968.2020.9287770⟩
hal-03104158v1  Article dans une revue
Ghattas AkkadAli MansourBachar ElhassanElie InatyRafic Ayoubi et al.  A Pipelined Reduced Complexity Two-Stages Parallel LMS Structure for Adaptive Beamforming
IEEE Transactions on Circuits and Systems I: Regular Papers, IEEE, 2020, 67 (12), pp.5079-5091. ⟨10.1109/TCSI.2020.2994812⟩
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-03127370v1  Communication dans un congrès
Ghattas AkkadAli MansourBachar ElhassanElie Inaty. A Multi-Stage Parallel LMS Structure and its Stability Analysis Using Transfer Function Approximation
2020 28th European Signal Processing Conference (EUSIPCO), Jan 2021, Amsterdam, Netherlands. pp.1851-1855, ⟨10.23919/Eusipco47968.2020.9287604⟩
hal-00518614v1  Article dans une revue
A. AlfalouAli Mansour. All-optical video-image encryption with enforced security level using independent component analysis
Journal of Optics A: Pure and Applied Optics, IOP Publishing, 2007, pp.Non renseigne
hal-00518588v1  Communication dans un congrès
A. AlfalouAli Mansour. Independent Component Analysis Based Approach to Biometric Recognition
IEEE International Conference on Information & Communication Technologies: from Theory to Applications, address = Damascus, Syria, year = 2008, month = 7-11 April, nat = 0, pdf = 1,, 2008, France. pp.Non renseigne
hal-02515359v1  Chapitre d'ouvrage
Lamia AllalGhalem BelalemPhilippe DhaussyCiprian Teodorov. Proposed Algorithms to the State Explosion Problem
Aynur Unal; Malaya Nayak; Durgesh Kumar Mishra; Dharm Singh; Joshi Amit. Smart Trends in Information Technology and Computer Communications. First International Conference, SmartCom 2016, Jaipur, India, August 6–7, 2016, Revised Selected Papers, 628, Springer, pp.211-217, 2016, Communications in Computer and Information Science book series (CCIS), 978-981-10-3433-6 (eBook); 978-981-10-3432-9 (Softcover). ⟨10.1007/978-981-10-3433-6_26⟩
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-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-01780556v1  Communication dans un congrès
Lamia AllalGhalem BelalemPhilippe DhaussyCiprian Teodorov. Using Parallel and Distributed Reachability in Model Checking
Recent Advancement in Computer, Communication and Computational Sciences (RACCCS-2017), Sep 2017, Ajmer, India. pp.143-154, ⟨10.1007/978-981-10-7386-1_12⟩
...
hal-01118923v1  Communication dans un congrès
Iyas AlloushCharbel Geryes AounYvon KermarrecSiegfried Rouvrais. A Domain-Specific Framework for Creating Early Trusted Underwater Systems Relying on Enterprise Architecture
MASCOTS 2014 - IEEE 22nd International Symposium on Modelling, Analysis & Simulation of Computer and Telecommunication Systems, IEEE computer Society, Sep 2014, Paris, France. ⟨10.1109/MASCOTS.2014.23⟩
hal-03127383v1  Communication dans un congrès
Mahmoud AlmasriAli MansourChristophe MoyAmmar AssoumDenis Le Jeune et al.  Managing Single or Multi-Users Channel Allocation for the Priority Cognitive Access
2020 28th European Signal Processing Conference (EUSIPCO), Jan 2021, Amsterdam, Netherlands. pp.1722-1726, ⟨10.23919/Eusipco47968.2020.9287628⟩
hal-02418297v1  Communication dans un congrès
Mahmoud AlmasriAli MansourChristophe MoyA. AssoumChristophe Osswald et al.  Distributed Algorithm to Learn OSA Channels Availability and Enhance the Transmission Rate of Secondary Users
19th International Symposium on Communications and Information Technologies, ISCIT 2019, Sep 2019, Ho Chi Minh City, Vietnam. pp.356-360, ⟨10.1109/ISCIT.2019.8905171⟩
hal-02418325v1  Communication dans un congrès
Mahmoud AlmasriAli MansourChristophe MoyA. AssoumChristophe Osswald et al.  All-Powerful Learning Algorithm for the Priority Access in Cognitive Network
27th European Signal Processing Conference (EUSIPCO), Sep 2019, A Coruna, Spain. pp.1-5, ⟨10.23919/EUSIPCO.2019.8903016⟩
hal-00518677v1  Communication dans un congrès
Lucian AntonA. RaduT. OroianEmanuel Radoi. Some consideration about GPR signals processing with music 3D algorithm
IEEE Communications International Conference, 2006, Bucharest, Romania. pp.Non renseigne
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
hal-01174435v1  Communication dans un congrès
Imran AshrafNader KhammassiKoen BertelsJean-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-00847259v1  Article dans une revue
Charles AudetJordan Ninin. Maximal perimeter, diameter and area of equilateral unit-width convex polygons
Journal of Global Optimization, Springer Verlag, 2013, 56 (3), pp.1007-1016. ⟨10.1007/s10898-011-9780-4⟩
hal-00847250v1  Article dans une revue
Charles AudetPierre HansenFrédéric MessineJordan Ninin. The Small Octagons of MaximalWidth
Discrete and Computational Geometry, Springer Verlag, 2013, 49 (3), pp.589-600. ⟨10.1007/s00454-013-9489-x⟩
...
inria-00468650v1  Chapitre d'ouvrage
Denis AulagnierAli KoudriStéphane LecomtePhilippe SoulardJoël Champeau et al.  SoC/SoPC development using MDD and MARTE profile
Babau, Jean-Philippe and Blay-Fornarino, Mireille and Champeau, Joël and Gèrard, Sèbastien and Robert, Sylvain and Sabetta, Antonino. Model Driven Engineering for Distributed Real-time Embedded Systems, ISTE, 2009
hal-00518793v1  Communication dans un congrès
M. Babaie-ZadehAli MansourChristian JuttenF. Marvasti. A Geometric Approach for Separating Several Signals
Fifth International Symposium on Independent Component Analysis and Blind Signal Separation, address = Granada, Spain, year = 2004, month = 22-24 September, nat = 0,, 2004, France. pp.Non renseigne
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-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-03228922v1  Communication dans un congrès
Hannah BadierChristian PilatoJean-Christophe Le LannPhilippe CoussyGogniat Guy. Opportunistic IP Birthmarking using Side Effects of Code Transformations on High-Level Synthesis
DATE'21 Design Automation and Test in Europe, Feb 2021, Grenoble (virtuel), France
hal-01936710v1  Communication dans un congrès
D. BaoR. YangM. LiBenoit ClementAli Mansour. Hardware-in-the-Loop Simulation Applied to AUV Control
Chinese Automation Congress, (CAC 2018), Nov 2018, Xi'an, China
hal-00703362v1  Article dans une revue
S. BazeilleIsabelle QuiduLuc Jaulin. Color-based underwater object recognition using water light attenuation
Journal of intelligent service robotics. Special issue on marine robotics systems, 2012, 5 (2), pp.109-118. ⟨10.1007/s11370-012-0105-3⟩
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-01009572v1  Communication dans un congrès
Mohamed Ben HammoudaP CoussyLoïc Lagadec. Design Approach to Automatically Synthesize ANSI-C Assertions during High-Level Synthesis of Hardware Accelerators
ICSAS 2014 - International symposium on circuits and systems, Jun 2014, Melbourne, Australia
hal-02583286v1  Communication dans un congrès
Ramzi Ben MhenniSébastien BourguignonJordan Ninin. Global optimization of L0-norm-based sparse approximation criteria with a branch-and-bound algorithm
SPARS, Signal Processing with Adaptive Sparse Structured Representations, 2019, Toulouse, France
hal-02564594v1  Communication dans un congrès
Ramzi Ben MhenniSébastien BourguignonMarcel MongeauJordan NininHervé Carfantan. Sparse Branch and Bound for Exact Optimization of L0-Norm Penalized Least Squares
ICASSP 2020, IEEE International Conference on Acoustics, Speech and Signal Processing, May 2020, Barcelona, Spain. pp.ISBN: 978-1-5090-6632-2, ⟨10.1109/ICASSP40776.2020.9053870⟩
hal-02584322v1  Communication dans un congrès
Ramzi Ben MhenniSébastien BourguignonJordan Ninin. Global Optimization for Sparse Solution of Least Squares Problems
ICCOPT, International Conference on Continuous Optimization, 2019, Berlin, Germany
hal-01936730v1  Article dans une revue
Amel BenabbouSafia Nait BahloulPhilippe Dhaussy. Precise use cases in a context-aware model-checking approach
International Journal of Critical Computer-Based Systems, Inderscience, 2018, 8 (3/4), ⟨10.1504/IJCCBS.2018.10017704⟩
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-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-00518684v1  Communication dans un congrès
N. BenchekrounAli Mansour. Blind Separation of Underwater Acoustic Signals
Second International Symposium on Communications, Control and Signal Processing, address = Marrakech, Morocco, year = 2006, month = 13-15 March, pdf = 1, nat = 0,, 2006, France. pp.Non renseigne
hal-00704383v1  Article dans une revue
Yacine BennaniFabrice CombletAli Khenchaf. RCS of Complex Targets: Original Representation Validated by Measurements-Application to ISAR Imagery
IEEE Transactions on Geoscience and Remote Sensing, Institute of Electrical and Electronics Engineers, 2012, 50 (10), pp.3882 - 3891. ⟨10.1109/TGRS.2012.2186972⟩
hal-01802247v1  Communication dans un congrès
Valentin BesnardMatthias BrunFrédéric JouaultCiprian TeodorovPhilippe Dhaussy. Embedded UML Model Execution to Bridge the Gap Between Design and Runtime
MDE@DeRun 2018 : First International Workshop on Model-Driven Engineering for Design-Runtime Interaction in Complex Systems, Jun 2018, Toulouse, France
hal-01585318v1  Communication dans un congrès
Valentin BesnardMatthias BrunPhilippe DhaussyFrédéric JouaultDavid Olivier et al.  Towards one Model Interpreter for Both Design and Deployment
3rd International Workshop on Executable Modeling (EXE 2017), Sep 2017, Austin, United States
...
hal-02433749v1  Communication dans un congrès
Valentin BesnardCiprian TeodorovFrédéric JouaultMatthias BrunPhilippe Dhaussy. Verifying and Monitoring UML Models with Observer Automata: A Transformation-Free Approach
22nd ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, MODELS 2019, 2019, Munich, Germany. pp.161-171, ⟨10.1109/MODELS.2019.000-5⟩
hal-02375996v1  Communication dans un congrès
Valentin BesnardCiprian TeodorovFrédéric JouaultMatthias BrunPhilippe Dhaussy. A Model Checkable UML Soccer Player
3rd Workshop on Model-Driven Engineering Tools, Sep 2019, Munich, Germany
hal-01887948v1  Communication dans un congrès
Valentin BesnardMatthias BrunFrédéric JouaultCiprian TeodorovPhilippe Dhaussy. Unified LTL Verification and Embedded Execution of UML Models
21st International Conference on Model Driven Engineering Languages and Systems (MODELS), Oct 2018, Copenhague, Denmark
...
hal-01475251v1  Communication dans un congrès
Théotime BollengierLoïc LagadecMohamad NajemJean-Christophe Le LannPierre Guilloux. Soft timing closure for soft programmable logic cores: The ARGen approach
ARC 2017 - 13th International Symposium on Applied Reconfigurable Computing, Delft University of Technology Apr 2017, Delft, Netherlands
hal-00843139v1  Chapitre d'ouvrage
Frederic BoniolPhilippe DhaussyLuka Le RouxJean-Charles Roger. Model-Based Analysis
Embedded systems, Analysis and Modeling with SysML, UML and AADL, Wiley, pp.157-184, 2013
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-00875381v1  Article dans une revue
Julien BonnelGrégoire Le TouzéBarbara NicolasJerome Mars. Physics-Based Time-Frequency Representations for Underwater Acoustics
IEEE Signal Processing Magazine, Institute of Electrical and Electronics Engineers, 2013, 30 (6), pp.120-129. ⟨10.1109/MSP.2013.2267651⟩
hal-00449699v1  Article dans une revue
Abdel BoudraaSalem BenramdaneJean-Christophe CexusThierry Chonavel. Some useful properties of Cross-Psi_B-Energy Operator
AEU - International Journal of Electronics and Communications, 2009, 63 (9), pp.728-735
hal-00518596v1  Communication dans un congrès
Abdel BoudraaThierry ChonavelJean-Christophe CexusSalem BenramdaneA. Bouchikhi. On the detection of transient signals using cross-$\Psi_\texttt B$-energy operator
3th International Symposium on Communications, Control and Signal Processing, ISCCSP,, 2008, St. Julians, Malta. pp.Non renseigne
hal-00487063v1  Communication dans un congrès
Jalil BoukhobzaLoïc LagadecAlain PlantecJean-Christophe Le Lann. CDFG Platform in MORPHEUS
AETHER - MORPHEUS Workshop AMWAS'07, Oct 2007, Paris, France
...
hal-02501870v1  Chapitre d'ouvrage
Ahcène BounceurBezoui MadaniLoïc LagadecReinhardt EulerAbdelkader Laouid et al.  DoTRo: A New Dominating Tree Routing Algorithm for Efficient and Fault-Tolerant Leader Election in WSNs and IoT Networks
Renault É., Boumerdassi S., Bouzefrane S. (eds). Mobile, Secure, and Programmable Networking. MSPN 2018, 11005, Springer, Cham, pp.42-53, 2019, Lecture Notes in Computer Science, 978-3-030-03100-8. ⟨10.1007/978-3-030-03101-5_5⟩
...
hal-01829227v1  Communication dans un congrès
Ahcène BounceurBezoui MadaniLoïc LagadecReinhardt EulerAbdelkader Laouid et al.  Detecting Gaps and Voids in WSNs and IoT Networks: the Minimum x-Coordinate based Method
International Conference on Future Networks and Distr buted Systems (ICFNDS), Jun 2018, Amman, Jordan. ⟨10.1145/3231053.3231090⟩
...
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-01804280v1  Communication dans un congrès
Ahcène BounceurBezoui MadaniMassinissa LounisReinhardt EulerCiprian Teodorov. A new dominating tree routing algorithm for efficient leader election in IoT networks
15th IEEE Annual Consumer Communications & Networking Conference (CCNC), Jan 2018, Las Vegas, United States. ⟨10.1109/CCNC.2018.8319292⟩
...
hal-01829251v1  Communication dans un congrès
Ahcène BounceurBezoui MadaniLoïc LagadecReinhardt EulerAbdelkader Laouid et al.  DoTRo: A New Dominating Tree Routing Algorithm for Efficient and Fault-Tolerant Leader Election in WSNs and IoT Networks
4th International Conference on Mobile, Secure and Programmable Networking (MSPN 2018), Jun 2018, Paris, France. pp.42-53
...
hal-03173802v1  Communication dans un congrès
Auguste BourgoisLuc Jaulin. Interval centred form for proving stability of non-linear discrete-time system
6th International Workshop on Symbolic-Numeric Methods for Reasoning (SNR 2020), Aug 2020, Vienne (virtual), Austria. pp.1-17
...
tel-03151588v2  Thèse
Auguste Bourgois. Safe & collaborative autonomous underwater docking
Robotics [cs.RO]. École Nationale Supérieure de Techniques Avancées Bretagne, 2021. English
...
hal-01254856v1  Article dans une revue
Sébastien BourguignonJordan NininHervé CarfantanMarcel Mongeau. Exact Sparse Approximation Problems via Mixed-Integer Programming: Formulations and Computational Performance
IEEE Transactions on Signal Processing, Institute of Electrical and Electronics Engineers, 2016, 64 (6), pp.1405-1419. ⟨10.1109/TSP.2015.2496367⟩
hal-00518851v1  Communication dans un congrès
M. BouzaienAli Mansour. HOS Criteria & ICA Algorithms Applied to Radar Detection
Fourth International Symposium on Independant Component Analysis and Blind Signal Separtion, pages = 433-438, address = Nara, Japan, year = 2003, month = 1-4 April, pdf = 1, nat = 0,, 2003, France. pp.Non renseigne
...
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-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-01977996v1  Communication dans un congrès
Jean-Christophe CexusAli Khenchaf. 2D Teager-Kaiser Energy Operator for the translation motion compensation in ISAR signatures
9th International Symposium on Signal, Image, Video and Communications - ISIVC'2018, Nov 2018, Rabat, Morocco
...
hal-02958155v1  Communication dans un congrès
Thomas ChaffreJulien MorasAdrien Chan-Hon-TongJulien Marzat. Sim-to-Real Transfer with Incremental Environment Complexity for Reinforcement Learning of Depth-Based Robot Navigation
17th International Conference on Informatics, Automation and Robotics, ICINCO 2020, Jul 2020, Virtual, Online, France. pp.314-323
...
hal-00914367v1  Communication dans un congrès
Joël ChampeauVincent LeildePapa Issa Diallo. Model Federation in toolchains
MODELS 2013, Sep 2013, Miami, United States
hal-00518576v1  Communication dans un congrès
Vincent ChoqueuseStéphane AzouKoffi Clément YaoLudovic CollinGilles Burel. Blind Modulation Recognition for MIMO communications
IEEE Communication Conference, Jun 2008, Bucarest, Romania. pp.Non renseigne
...
hal-00489085v1  Communication dans un congrès
Vincent ChoqueuseKoffi Clément YaoLudovic CollinGilles Burel. Blind Detection of the Number of Communication Signals Under Spatially Correlated Noise by ICA and K-S Tests
International Conference on Acoustics, Speech, and Signal Processing, Mar 2008, Las Vegas, United States. pp.2397-2400
...
hal-00395163v1  Article dans une revue
Vincent ChoqueuseKoffi Clément YaoLudovic CollinGilles Burel. Hierarchical Space-Time Block Code Recognition Using correlation matrices
IEEE Transactions on Wireless Communications, Institute of Electrical and Electronics Engineers, 2008, 7 (9), pp.3526-3534. ⟨10.1109/TWC.2008.070364⟩
...
hal-00485432v1  Communication dans un congrès
Vincent ChoqueuseStéphane AzouKoffi Clément YaoLudovic CollinGilles Burel. Modulation Recognition for MIMO Communications
IEEE COMM'08, Jun 2008, Bucarest, Romania. pp.283-286