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


hal-00771748v1  Communication dans un congrès
Stephen Creff, Joël Champeau. Relationships in Variability Modeling Approaches: A Survey and Classification
5ème journée Lignes de Produits, Nov 2012, Villeneuve d'Ascq, France
hal-01171207v1  Communication dans un congrès
Alexandre Baussard, Arnaud Coatanhay. Evaluating GNSS Signals for Passive Local Sea State Monitoring
Space Reflecto, Nov 2013, Brest, France
hal-01551453v1  Communication dans un congrès
Kahina Bensafia, Ali Mansour, Salah Haddab. Blind Source Subspace Separation and Classification of ECG Signals
ATS 2017, Mar 2017, Sousse, Tunisia
hal-01203491v1  Communication dans un congrès
Seifallah Ben Saad, Benoît Zerr, Irvin Probst, Frédéric Dambreville. Hybrid Coordination Strategy of a Group of Cooperating Autonomous Underwater Vehicles
IFAC Workshop on Multivehicle Systems MVS 2015, IFAC - International Federation of Automatic Control, May 2015, Genova, Italy. pp.47-52
...
hal-00771758v1  Communication dans un congrès
Jean-Christophe Le Lann, Joël Champeau, Papa Issa Diallo, Pierre-Laurent Lagalaye. From system-level models to heterogeneous embedded systems
RITF 2012 - Recherche et Innovation pour les Transports du Futur, Nov 2012, Paris, France. pp.XX
hal-01864787v1  Communication dans un congrès
Obeid Fadi, Philippe Dhaussy. Model-checking for Secured Component Implementation.
17th International Conference on Security and Management (SAM’18), Jul 2018, Las Vegas, United States
hal-01864790v1  Communication dans un congrès
Obeid Fadi, Philippe Dhaussy. Secure Communication Protocol: Application to Large Number of Distributed Sensors
17th International Conference on Security and Management (SAM’18), Jul 2018, Las Vegas, United States
hal-01864805v1  Communication dans un congrès
Obeid Fadi, Philippe Dhaussy. Validation formelle d’architecture logicielle basée sur des patrons de sécurité
17e journées AFADL 2018, Approches Formelles dans l’Assistance au Développement de Logiciel, Jun 2018, Grenoble, France
hal-01864825v1  Communication dans un congrès
Amel Benabbou, Safia Nait Bahloul, Philippe Dhaussy. An Automated Transformation Approach for Requirement Specification
Conf ITQM’16, Aug 2016, Séoul, South Korea
hal-01867638v1  Communication dans un congrès
Jean-Christophe Le Lann, Théotime Bollengier, Mohamad Najem, Loïc Lagadec. An Integrated Toolchain for Overlay-centric System-on-chip
13th International Symposium on Reconfigurable Communication-centric Systems-on-Chip 2018 (ReCoSoC 2018), Jul 2018, Lille, France. ⟨10.1109/ReCoSoC.2018.8449388⟩
...
hal-01867767v1  Communication dans un congrès
Ahmad Hani El Fawal, Ali Mansour, M. Najem, Frederic Le Roy, Denis Le Jeune. CTMC modeling for M2M/H2H coexistence in a NB-IoT Adaptive eNodeB
11th IEEE International Conference on Internet of Things (iThings-2018), Jul 2018, Halifax, Canada
hal-01867181v1  Communication dans un congrès
Alexandre Lefort, Benoit Clement, X. Dal Santo. Autopilot for a marine vessel : a formal proff of robustness and optimal control based on an uncertain model
13th national conference on Software and Hardware Architectures for Robots Control (SHARC 2018), Naval Group, Jun 2018, Saint-Tropez, France
...
hal-03104246v1  Communication dans un congrès
Clémentin Boittiaux, Paul Nguyen Hong Duc, Nicolas Longépé, Sara Pensieri, Roberto Bozzano et al.  Multi-modal deep learning models for ocean wind speed estimation
2020 MACLEAN: MAChine Learning for EArth ObservatioN Workshop, MACLEAN 2020, Sep 2020, Virtual online, France
...
hal-00840663v1  Communication dans un congrès
Mohamed Abbas Turki, Gilles Duc, Benoit Clement. Multi-Objective Controller Design for a Space Launcher
European Control Conference, Jul 2007, Kos, Greece
hal-00940091v1  Communication dans un congrès
Mohamad-Raafat Lababidi, Dominique Lo Hine Tong, Ali Louzir, Jean-Luc Robert, J.Y. Le Naour et al.  Tunable low-pass active filter using active capacitor for multimode standards
IEEE 18th conference on electronices, circuits and systems (ICECS), Dec 2011, Beirut, Lebanon. pp.619-622
...
hal-02303250v1  Communication dans un congrès
Nabil Kadjouh, Ahcène Bounceur, Abdelkamel Tari, Reinhardt Euler, Loïc Lagadec et al.  Temperature-based models of batteries for the simulation of Wireless Sensor Networks
3rd International Conferenceon on Future Networks and Distributed Systems, Jul 2019, Paris, France. pp.1-6, ⟨10.1145/3341325.3342013⟩
hal-02439264v1  Communication dans un congrès
Ghattas Akkad, R. Ayoubi, Ali Mansour, B. 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-02434616v1  Communication dans un congrès
Arnaud Coatanhay. Rough paths theory applied to analyze the electromagnetic field scattered by a time varying sea surface
21st International Conference on Electromagnetics in Advanced Applications, ICEAA 2019, Sep 2019, Granada, Spain. pp.8879330, ⟨10.1109/ICEAA.2019.8879330⟩
hal-02434622v1  Communication dans un congrès
Ghattas Akkad, Ali Mansour, B. Elhassan, J. Srar, M. Najem et al.  An efficient non-blind steering vector estimation technique for robust adaptive beamforming with multistage error feedback
11th KES International Conference on Intelligent Decision Technologies, KES-IDT 2019, Jun 2019, St. Julians, Malta. pp.13-23, ⟨10.1007/978-981-13-8303-8_2⟩
hal-02433750v1  Communication dans un congrès
Viet-Dung Nguyen, M.D. Renzo, Ali Mansour, Arnaud Coatanhay, N. Linh-Trung. A closed-form expression of the BER of reconfigurable antenna aided Space Shift Keying (SSK)
19th International Symposium on Communications and Information Technologies, ISCIT 2019, 2019, Ho Chi Minh, Vietnam. pp.350-355, ⟨10.1109/ISCIT.2019.8905126⟩
...
hal-02441878v1  Communication dans un congrès
Mihal Brumbulli, Emmanuel Gaudin, Ciprian Teodorov. Automatic Verification of BPMN Models
10th European Congress on Embedded Real Time Software and Systems (ERTS 2020), Jan 2020, Toulouse, France
...
hal-01475251v1  Communication dans un congrès
Théotime Bollengier, Loïc Lagadec, Mohamad Najem, Jean-Christophe Le Lann, Pierre 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-01164505v1  Communication dans un congrès
Khaled Khoder, Marc Le Roy, Mohamad-Raafat Lababidi, André Pérennec. Déphaseur 360° compact large-bande
JNM 2015, INP Bordeaux, Jun 2015, Bordeaux, France
hal-00746034v1  Communication dans un congrès
Julien Bonnel, Ross Chapman, Stan Dosso. Single receiver bayesian inversion in a dispersive waveguide
ECUA 2012, Jul 2012, United Kingdom