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-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-00489086v1  Communication dans un congrès
Vincent ChoqueuseKoffi Clément YaoLudovic CollinGilles Burel. Blind Recognition of Linear Space Time Block Codes
International Conference on Acoustics, Speech, and Signal Processing, Mar 2008, Las Vegas, United States. pp.2833-2836
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-01203649v1  Communication dans un congrès
Khaoula Es-SalhiSiham Rim BoudaoudCiprian TeodorovZoé DreyVincent Ribaud. KriQL: a query language for the diagnosis of transition systems
15th International Workshop on Automated Verification of Critical Systems - AVOCS'15, Sep 2015, Edimburgh, United Kingdom. pp.151-165
hal-01559688v1  Communication dans un congrès
Vincent LeildeVincent RibaudCiprian TeodorovPhilippe Dhaussy. A Diagnosis Framework for Critical Systems Verification
15th International Conference on Software Engineering and Formal Methods, SEFM 2017, Sep 2017, Trente, Italy. Short Papers 1-6
hal-01406604v1  Communication dans un congrès
Vincent LeildeVincent RibaudPhilippe Dhaussy. Model-based Diagnosis Patterns for Model Checking
PAME 2016, Oct 2016, St Malo, France. pp.7-12
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
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
hal-00690923v1  Communication dans un congrès
Hanh Nhi TranChristian Percebois. Towards a Rule-level Verification Framework for Property-Preserving Graph Transformations
ICST (International Conference on Software Testing, Verification and Validation) Workshop on Verification and validation Of model Transformations (VOLT), Apr 2012, Montreal, Canada
hal-00645827v1  Communication dans un congrès
Øivind MidtgaardRoy HansenTorstein SæbøVincent MyersJohn Dubberley et al.  Change Detection Using Synthetic Aperture Sonar: Preliminary Results from the Larvik Trial
OCEANS 2011 MTS/IEEE conference, Sep 2011, Kona, United States
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-01289454v1  Communication dans un congrès
S HeimXavier DumasE BonnafousPhilippe DhaussyC Teodorov et al.  Model Checking of SCADE Designed Systems
8th European Congress on Embedded Real Time Software and Systems (ERTS 2016), Jan 2016, TOULOUSE, France
hal-00504822v1  Communication dans un congrès
Isabelle QuiduJean-Philippe MalkasseGilles BurelPierre Vilbé. Mine classification using a hybrid set of descriptors
IEEE OCEANS'2000, Sep 2000, Providence, Rhode Island, United States
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-00738772v1  Communication dans un congrès
Stephen CreffJoël ChampeauJean-Marc Jézéquel. Model-Based Product Line Evolution: an Incremental Growing by Extension
16th International Software Product Line Conference SPLC 2012, Sep 2012, El Salvador. pp.107-114
hal-00354356v1  Communication dans un congrès
Ali KoudriDenis AulagnierDidier VojtisekPhilippe SoulardChristophe Moy et al.  Using MARTE in a Co-Design Methodology
MARTE UML profile workshop co-located with DATE'08, Mar 2008, Munich, Germany. 6 p
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-01072079v1  Article dans une revue
M. Sanchez-SorianoYves QuéréVincent Le SauxC. QuendoS. Cadiou. Average power handling capability of microstrip passive circuits considering metal housing and environment conditions
IEEE Transactions on Components, Packaging and Manufacturing Technology, Institute of Electrical and Electronics Engineers, 2014, 4, pp.1624-1633. ⟨10.1109/TCPMT.2014.2345100⟩
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-01405531v1  Article dans une revue
Mohamed Ben HammoudaPhilippe CoussyLoïc Lagadec. A Unified Design Flow to Automatically Generate On-Chip Monitors during High-Level Synthesis of Hardware Accelerators
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, IEEE, 2017, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 36 (3), pp.384-397. ⟨10.1109/TCAD.2016.2587278⟩
hal-01406641v1  Communication dans un congrès
Xuan Sang LeJean-Christophe Le LannLoïc LagadecLuc FabresseNoury Bouraqadi et al.  CaRDIN: An Agile Environment for EdgeComputing on Reconfigurable Sensor Networks
3rd IEEE International Conference on Computational Science and Computational Intelligence (CSCI 2016), Dec 2016, Las Vegas, United States
hal-03002104v1  Article dans une revue
M. 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-00540877v1  Communication dans un congrès
Sarab TayArnaud CoatanhayFrederic MaussangRené Garello. A tracking algorithm for GNSS reflected signals on sea surface
IGARSS 2010 : IEEE International Geoscience and Remote Sensing Symposium, Jul 2010, Honolulu, Hawaii, United States. pp.3821 - 3824
hal-00684402v1  Article dans une revue
Dominique PastorFrançois-Xavier Socheleau. Robust Estimation of Noise Standard Deviation in Presence of Signals with Unknown Distributions and Occurrences
IEEE Transactions on Signal Processing, Institute of Electrical and Electronics Engineers, 2012, 60 (4), pp.1545-1555. ⟨10.1109/TSP.2012.2184534⟩
hal-01899591v1  Communication dans un congrès
Mahmoud AlmasriAli MansourChristophe MoyAmmar AssoumChristophe Osswald et al.  Opportunistic Spectrum Access in Cognitive Radio for Tactical Network
2nd European Conference on Electrical Engineering & Computer Scienc (EECS 2018), Dec 2018, Bern, Switzerland. ⟨10.1109/eecs.2018.00116⟩
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 '17 173rd Meeting of the Acoustical Society of America and the 8th Forum Acusticum, Jun 2017, Boston, United States. pp.3589-3589
hal-00690412v1  Article dans une revue
Cedric GervaiseBazile G. KindaJulien BonnelYann StephanSimon Vallez. Passive geoacoustic inversion with a single hydrophone using broadband ship noise
Journal of the Acoustical Society of America, Acoustical Society of America, 2012, 131 (3), pp.1999-2010. ⟨10.1121/1.3672688⟩
hal-01153568v1  Communication dans un congrès
Chagun Basha Basheer AhmedSébastien PillementLoïc LagadecArnaud Tisserand. Fast Prototyping of a New Reconfigurable Architecture : Toward Tailored Space FPGA
Conférence d’informatique en Parallélisme, Architecture et Système (Compas), Jun 2015, Villeneuve d'Ascq, France. pp.10