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


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-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-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-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-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-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-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-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-00485825v1  Communication dans un congrès
Emanuel RadoiFelix TotirAndré QuinquisLucian Anton. Superresolution Imagery Based SVM Classification of Radar Targets
EUSAR 2006, May 2006, Dresde, Germany. pp.1-4
hal-00626512v1  Communication dans un congrès
Sarab TayFrederic MaussangArnaud CoatanhayRené Garello. Kalman filtering of GPS signals for target tracking application
Passive 2010 conference, Jun 2010, Brest, France
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-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