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

hal-03002104v1  Article dans une revue
Mahmoud AlmasriAli MansourChristophe MoyA. AssoumDenis Le Jeune et al.  Dynamic decision-making process in the opportunistic spectrum access
Advances in Science, Technology and Engineering Systems Journal, Advances in Science Technology and Engineering Systems Journal (ASTESJ), 2020, 5 (4), pp.223-233. ⟨10.25046/aj050428⟩
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-01961429v1  Communication dans un congrès
Tobias van BaarselPhilippe RouxBarbara NicolasJerome MarsJulien Bonnel et al.  Dynamic imaging of a gravity wave caused by laser-induced breakdown in a fluid waveguide using acoustic waves
Acoustics 2017 - Forum Acusticum 2017 - 173rd Meeting of The Acoustical Society of America and the 8th Forum Acusticum, Jun 2017, Boston, MA, United States. pp.3589-3589
hal-02924010v1  Article dans une revue
Mahmoud AlmasriAli MansourChristophe MoyAmmar AssoumChristophe Osswald et al.  Distributed algorithm under cooperative or competitive priority users in cognitive networks
EURASIP Journal on Wireless Communications and Networking, SpringerOpen, 2020, 2020 (2020:145), ⟨10.1186/s13638-020-01738-w⟩
hal-02303379v1  Ouvrage (y compris édition critique et traduction)
Ali MansourChristophe Osswald. Mise en œuvre des probabilités et des statistiques
Ellipses, 552 p., 2019, 9782340032965
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-00678272v1  Communication dans un congrès
Ali KoudriTeodora PetrisorJoël ChampeauVincent Leilde. Framework for Integrating ESL Tools
PMDE 2011, Jun 2011, United Kingdom
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-00926183v1  Communication dans un congrès
Ali MansourIsabelle LeblondDenis HamadLuis Felipe Artigas. Wireless Sensor Networks for Ecosystem Monitoring & Port Surveillance
2nd Symposium on Wireless Sensor and Cellular Networks 2013 (WSCN 2013), Dec 2013, Jeddah, Saudi Arabia
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-00697027v1  Article dans une revue
François-Xavier SocheleauMilica StojanovicChristophe LaotJean-Michel Passerieux. Information-Theoretic Analysis of Underwater Acoustic OFDM Systems in Highly Dispersive Channels
Journal of Electrical and Computer Engineering, Hindawi Publishing Corp., 2012, 2012 (ID 716720), pp.15. ⟨10.1155/2012/716720⟩
hal-02911731v1  Communication dans un congrès
Pascale GautronCécile PlaudMaude PupinVincent RibaudYann Secq. Les filles qui… et L Codent L Créent : constituer un bien commun de médiation en informatique
Ludovia#CH - Université de printemps, Apr 2020, Yverdon-les-bains, Suisse
hal-00626514v1  Communication dans un congrès
Sarab TayFrederic MaussangArnaud CoatanhayThierry ChonavelRené Garello. Near sea surface target tracking by extended Kalman filtering of the GPS reflected signals
IEEE Oceans 2011, Jun 2011, Santander, Espagne. pp.978-1-61284-4577-0088-0/11
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-00744434v1  Article dans une revue
Philippe DhaussyFrédéric BoniolJean-Charles RogerAmine RajiYves Le Traon et al.  Formalisation de contextes et d'exigences pour la validation formelle de logiciels embarqués
Revue des Sciences et Technologies de l'Information - Série TSI : Technique et Science Informatiques, Lavoisier, 2012, VOL 31 (6), pp.797-826. ⟨10.3166/tsi.31.797-826⟩
hal-02433746v1  Communication dans un congrès
Marwa IbrahimH. HarbAbdelkader 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-00663182v1  Communication dans un congrès
Pierre-Yves PillainJoël ChampeauHanh Nhi Tran. Towards an Enactment Mechanism for MODAL Process Models
ECMFA 2011, Jun 2011, United Kingdom