|
||
---|---|---|
hal-00840663v1
Communication dans un congrès
Multi-Objective Controller Design for a Space Launcher European Control Conference, Jul 2007, Kos, Greece |
||
hal-01575355v1
Chapitre d'ouvrage
Measuring Models Model-Driven Software Development: Integrating Quality Assurance, pp.147-169, 2008, 978-1-60566-006-6. ⟨10.4018/978-1-60566-006-6.ch007⟩ |
||
hal-00450025v1
Article dans une revue
An energy-based similarity measure for time series EURASIP Journal on Advances in Signal Processing, SpringerOpen, 2008, pp.1-9 |
||
hal-00635969v1
Chapitre d'ouvrage
Model integration for formal qualification of timing-aware software data acquisition components Model Driven Engineering for Distributed Real-Times and Embedded Systems, ISTE, pp.167-200, 2010 |
||
hal-01241525v1
Communication dans un congrès
Continuous belief functions and α-stable distributions Information Fusion (FUSION), 2010 13th Conference on, Jul 2010, Edinburgh, United Kingdom. 7 p |
||
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-00670414v1
Communication dans un congrès
Integrating Design and Runtime Variability Support into a System ADL 7th European Conference Modelling Foundations and Applications ECMFA 2011, Jun 2011, Birmingham, United Kingdom. pp.270-281, ⟨10.1007/978-3-642-21470-7_19⟩ ![]() |
||
hal-01156533v1
Communication dans un congrès
An approach for describing concurrency and communication of heterogeneous systems BM-FA'11, Jun 2011, Birmingham, United Kingdom |
||
hal-00871304v1
Pré-publication, Document de travail
Anchor-Based Localization Using Distributed Interval Contractors 2011 |
||
hal-00670420v1
Communication dans un congrès
Organizational Configurations in Executable Enterprise Architecture Models poster session of Complex Systems Design and Management 2011, Dec 2011, Paris, France |
||
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-00822656v1
Direction d'ouvrage, Proceedings, Dossier
Proceedings of the 2012 International Workshop on Smalltalk Technologies ACM digital library, pp.68, 2012, 978-1-4503-1897-6 |
||
hal-01472914v1
Communication dans un congrès
Towards Tool Integration through Artifacts and Roles Asia-Pacific Software Engineering Conference, 2012, Hong Kong, China. pp.603-613, ⟨10.1109/APSEC.2012.45 ·⟩ |
||
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-00670459v1
Article dans une revue
Set-membership state estimation with fleeting data Automatica, Elsevier, 2012, 48 (2), page 381-387. ⟨10.1016/j.automatica.2011.11.004⟩ ![]() |
||
hal-00676423v1
Chapitre d'ouvrage
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-00690412v1
Article dans une revue
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-00678358v1
Article dans une revue
Modelling of High-Frequency Roughness Scattering from Various Rough Surfaces through the Small Slope Approximation of First Order Open Journal of Acoustics, Scientific Research Publishing, 2012, 2 (1), pp.1-11. ⟨10.4236/oja.2012.21001⟩ ![]() |
||
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-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-00684402v1
Article dans une revue
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-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-00726481v1
Communication dans un congrès
A framework for high-level synthesis of heterogeneous MP-SoC GLSVLSI, May 2012, Salt Lake City, United States. pp.283-286, ⟨10.1145/2206781.2206850⟩ |
||
hal-00704765v1
Communication dans un congrès
A comparison between a Bayesian approach and a method based on continuous belief functions for pattern recognition Belief 2012, May 2012, Compiègne, France |
||
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-00704312v1
Communication dans un congrès
Une organisation des Lignes de Produits Logiciels autour d'un motif architectural CAL 2012, May 2012, Montpellier, France |
||
hal-00940092v1
Communication dans un congrès
Varactor tuned active miniature notch filter 10th IEEE NEWCAS, Jun 2012, Montreal, Canada. pp.69-72 |
||
hal-00728364v1
Communication dans un congrès
MHPM : Multi-Scale Hybrid Programming Model A flexible parallelization Medthodology HPCC 2012, Jun 2012, Liverpool, United Kingdom |
||
hal-00746034v1
Communication dans un congrès
Single receiver bayesian inversion in a dispersive waveguide ECUA 2012, Jul 2012, United Kingdom |
||
hal-00728972v1
Communication dans un congrès
Incoherent change detection using amplitude sidescan sonar images ECUA 2012, Jul 2012, Edimburgh, United Kingdom |
||
|