|
||
---|---|---|
hal-01192720v1
Communication dans un congrès
Role Framework to Support Collaborative Virtual Prototyping of System of Systems WETICE 2015, IEEE, Jun 2015, Larnaca, Cyprus |
||
hal-00771748v1
Communication dans un congrès
Relationships in Variability Modeling Approaches: A Survey and Classification 5ème journée Lignes de Produits, Nov 2012, Villeneuve d'Ascq, France |
||
hal-01203701v1
Communication dans un congrès
Context-Aware Verification of a Cruise-Control System MEDI 2014, Sep 2015, Larnaca, Cyprus. pp.53-64, ⟨10.1007/978-3-319-11587-0_7⟩ |
||
hal-01206522v1
Communication dans un congrès
Approche pour la Vérification Formelle de Propriétés : Application au Développement Industriel de Logiciels Embarqués JDIM’14, Jun 2014, Mostaganem, Algeria |
||
hal-01206527v1
Communication dans un congrès
Formal Validation with Model-Checking Techniques ICNTC'2012, Dec 2012, Chlef, Algérie |
||
hal-01171207v1
Communication dans un congrès
Evaluating GNSS Signals for Passive Local Sea State Monitoring Space Reflecto, Nov 2013, Brest, France |
||
hal-01551453v1
Communication dans un congrès
Blind Source Subspace Separation and Classification of ECG Signals ATS 2017, Mar 2017, Sousse, Tunisia |
||
hal-00773658v1
Communication dans un congrès
LLMS Adaptive Beamforming Algorithm Implemented with Finite Precision TELFOR 2012, Nov 2012, Belgrade, Serbia |
||
hal-00777127v1
Communication dans un congrès
Subpixel image registration for coherent change detection between two high resolution sonar passes ICoURS'12, Oct 2012, Brest, France |
||
hal-01203491v1
Communication dans un congrès
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
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-01708026v1
Communication dans un congrès
Analytical performance analysis for blind quantum source separation with time-varying coupling 23rd Asia-Pacific Conference on Communications (APCC), Curtin University; The University of New South Wales, Dec 2017, Perth, Australia |
||
hal-01833431v1
Communication dans un congrès
Aircraft Target Recognition using Copula Joint Statistical Model and Sparse Representation Based Classification IGARSS 2018, International Geoscience and Remote Sensing Symposium 2018, IEEE Geoscience and Remote Sensing Society, Jun 2018, Valencia, Spain. pp.3635-3638, ⟨10.1109/IGARSS.2018.8518668⟩ |
||
hal-01832187v1
Communication dans un congrès
Target classification using convolutional deep learning and auto-encoder models 2018 4th International Conference on Advanced Technologies for Signal and Image Processing (ATSIP), Mar 2018, Sousse, France. ⟨10.1109/ATSIP.2018.8364502⟩ |
||
hal-01864787v1
Communication dans un congrès
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
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
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
An Automated Transformation Approach for Requirement Specification Conf ITQM’16, Aug 2016, Séoul, South Korea |
||
hal-01867343v1
Communication dans un congrès
Radar Cross Section of Modified Target using Gaussian Beam Methods: Experimental Validation International conference on Radar 2018, Aug 2018, Brisbane, Australia |
||
hal-01867365v1
Communication dans un congrès
Estimation of NRCS of Oil-free and Oil-covered Marine Surfaces in L-band. Assessment with UAVSAR data International Conference on Radar 2018, Aug 2018, Brisbane, Australia |
||
hal-01867385v1
Communication dans un congrès
Normalized radar cross sections of sea surface estimated using asymptotic and semi-empirical methods in C band International Geoscience and Remote Sensing Symposium 2018 (IGARSS 2018), Jul 2018, Valencia, Spain |
||
hal-01867638v1
Communication dans un congrès
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
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
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-01867225v1
Communication dans un congrès
RCS of Radar Targets using Gaussian Beam Summation Method. Experimental Evaluation 19th International Radar Symposium (IRS), Jun 2018, Bonn, Germany. ⟨10.23919/IRS.2018.8448088⟩ |
||
hal-03104246v1
Communication dans un congrès
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
Multi-Objective Controller Design for a Space Launcher European Control Conference, Jul 2007, Kos, Greece |
||
hal-00940091v1
Communication dans un congrès
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
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
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 |
||
|