 |
|
|
||
|---|---|---|
| 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-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-02434617v1
Communication dans un congrès
On-in: An on-node and in-node based mechanism for big data collection in large-scale sensor networks 27th European Signal Processing Conference, EUSIPCO 2019, Sep 2019, Coruna, Spain. ⟨10.23919/EUSIPCO.2019.8902628⟩ |
||
| hal-02433746v1
Communication dans un congrès
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
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-01298895v1
Communication dans un congrès
Towards Distributed Solution to the State Explosion Problem INDIA 2016, Jan 2016, Vishakapatnam, India. ⟨10.1007/978-81-322-2755-7_56⟩ |
||
| hal-01298704v1
Communication dans un congrès
A High-level Formalism to Elaborate Context for a Context-aware Verification Approach ICIST 2016, Mar 2016, Barcelone, Spain |
||
| hal-00487063v1
Communication dans un congrès
CDFG Platform in MORPHEUS AETHER - MORPHEUS Workshop AMWAS'07, Oct 2007, Paris, France |
||
| hal-00485825v1
Communication dans un congrès
Superresolution Imagery Based SVM Classification of Radar Targets EUSAR 2006, May 2006, Dresde, Germany. pp.1-4 |
||
| hal-00489085v1
Communication dans un congrès
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
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
Kalman filtering of GPS signals for target tracking application Passive 2010 conference, Jun 2010, Brest, France |
||
| hal-01203649v1
Communication dans un congrès
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
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
Model-based Diagnosis Patterns for Model Checking PAME 2016, Oct 2016, St Malo, France. pp.7-12 |
||
| hal-00485432v1
Communication dans un congrès
Modulation Recognition for MIMO Communications IEEE COMM'08, Jun 2008, Bucarest, Romania. pp.283-286 |
||
| hal-00676640v1
Communication dans un congrès
Context Aware Model Exploration with OBP tool to Improve Model-Checking ERTS 2012, Feb 2012, Toulouse, France |
||
| hal-00704089v1
Communication dans un congrès
Monitoring of gas emission in the Marmara Sea by the combined study of the Acoustic Bubble Detector and Ocean Bottom Seismometers EGU 2012, Apr 2012, Vienne, Austria |
||
| hal-00703785v1
Communication dans un congrès
Modélisation algorithmique et synthèse d'architectures assistées par model-checking CAL 2012-, May 2012, Montpellier, France |
||
| hal-00703831v1
Communication dans un congrès
Depolarization of Electromagnetic Waves from Bare Soil Surfaces SCEE'10, Oct 2010, Toulouse, France. pp.107, ⟨10.1007/978-3-642-22453-9_12⟩  |
||
| hal-00687507v1
Communication dans un congrès
MONOSTATIC AND BISTATIC ELECTROMAGNETIC SIGNATURE OF SEA AND GROUND CLUTTER IN HF BAND ESTIMATED BY USING SPM, TSM AND SSA MODELS PIERS 2012, Mar 2012, Kuala Lumpur, Malaysia. pp.81 |
||
| hal-00486625v1
Communication dans un congrès
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
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-00486626v1
Communication dans un congrès
Latency estimation due to middleware used in Software Defined Radio Platform 6th Workshop on Software Radio, Mar 2010, Karlsruhe, Germany |
||
| hal-01405912v1
Communication dans un congrès
Overlay Architectures For FPGA Resource Virtualization GDR SOC SIP, Jun 2016, Nantes, France |
||
| hal-00687505v1
Communication dans un congrès
Target detection based on morphological component analysis of HFSWR images for maritime surveillance PIERS 2012, Mar 2012, Kuala Lumpur, Malaysia. pp.87 |
||
| hal-00690923v1
Communication dans un congrès
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
Change Detection Using Synthetic Aperture Sonar: Preliminary Results from the Larvik Trial OCEANS 2011 MTS/IEEE conference, Sep 2011, Kona, United States |
||
| hal-01156518v1
Communication dans un congrès
A Role Language to Interpret Multi-Formalism System of Systems Models Syscon 2015, IEEE, Apr 2015, Vancouver, Canada |
||
| hal-01156537v1
Communication dans un congrès
A Formal, Model-driven Design Flow for System Simulation and Multi-core Implementation SIES 2015, University of Siegen, Jun 2015, Siegen, Germany |
||
|
|
||