Accéder directement au contenu Accéder directement à la navigation
  1. Recherche


hal-02433746v1  Communication dans un congrès
Marwa Ibrahim, H. Harb, A. Nasser, Ali Mansour, Christophe 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 Almasri, Ali Mansour, Christophe Moy, A. Assoum, Christophe 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 Allal, Ghalem Belalem, Philippe Dhaussy, Ciprian 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 Dhaussy, Jean-Charles Roger, Fré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 Benabbou, Safia Nait Bahloul, Dhaussy 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 Aoun, Iyas Alloush, Yvon Kermarrec, Joël Champeau, Oussama 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 Boniol, Philippe Dhaussy, Luka Le Roux, Jean-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 Boukhobza, Loïc Lagadec, Alain Plantec, Jean-Christophe Le Lann. CDFG Platform in MORPHEUS
AETHER - MORPHEUS Workshop AMWAS'07, Oct 2007, Paris, France
hal-00485825v1  Communication dans un congrès
Emanuel Radoi, Felix Totir, André Quinquis, Lucian 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 Choqueuse, Koffi Clément Yao, Ludovic Collin, Gilles 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 Choqueuse, Koffi Clément Yao, Ludovic Collin, Gilles 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 Tay, Frederic Maussang, Arnaud Coatanhay, René 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-Salhi, Siham Rim Boudaoud, Ciprian Teodorov, Zoé Drey, Vincent 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 Leilde, Vincent Ribaud, Ciprian Teodorov, Philippe 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 Leilde, Vincent Ribaud, Philippe 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 Choqueuse, Stéphane Azou, Koffi Clément Yao, Ludovic Collin, Gilles Burel. Modulation Recognition for MIMO Communications
IEEE COMM'08, Jun 2008, Bucarest, Romania. pp.283-286
hal-00486625v1  Communication dans un congrès
Gael Abgrall, Frederic Le Roy, Jean-Philippe Delahaye, Jean-Philippe Diguet, Gogniat 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 Abgrall, Frederic Le Roy, Jean-Philippe Delahaye, Jean-Philippe Diguet, Gogniat 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-01172103v1  Article dans une revue
Youenn Corre, Jean-Philippe Diguet, Dominique Heller, Dominique Blouin, Loïc Lagadec. TBES: Template-Based Exploration and Synthesis of Heterogeneous Multiprocessor Architectures on FPGA
ACM Transactions on Embedded Computing Systems (TECS), ACM, 2016, 15 (1), pp.9
...
hal-01405912v1  Communication dans un congrès
Théotime Bollengier, Mohamad Najem, Jean-Christophe Le Lann, Loïc Lagadec. Overlay Architectures For FPGA Resource Virtualization
GDR SOC SIP, Jun 2016, Nantes, France
...
hal-00690923v1  Communication dans un congrès
Hanh Nhi Tran, Christian 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-02924010v1  Article dans une revue
Mahmoud Almasri, Ali Mansour, Christophe Moy, Ammar Assoum, Christophe Osswald et al.  Distributed algorithm under cooperative or competitive priority users in cognitive networks
EURASIP Journal on Wireless Communications and Networking, SpringerOpen, 2020, ⟨10.1186/s13638-020-01738-w⟩
...
hal-00645827v1  Communication dans un congrès
Øivind Midtgaard, Roy Hansen, Torstein Sæbø, Vincent Myers, John 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-01405890v1  Communication dans un congrès
Théotime Bollengier, Mohamad Najem, Jean-Christophe Le Lann, Loïc Lagadec. Overlay Architectures for Heterogeneous FPGA Cluster Management.
DASIP 2016, Oct 2016, Rennes, France
...
hal-00697027v1  Article dans une revue
François-Xavier Socheleau, Milica Stojanovic, Christophe Laot, Jean-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 Heim, Xavier Dumas, E Bonnafous, Philippe Dhaussy, C 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-00504817v1  Communication dans un congrès
Isabelle Quidu, Jean-Philippe Malkasse, Gilles Burel, Pierre Vilbé. Mine Classification based on raw sonar data: an approach combining Fourier Descriptors, Statistical Models and Genetic Algorithms
IEEE OCEANS'2000, Sep 2000, Providence, Rhode Island, United States