 |
|
|
||
|---|---|---|
| hal-00635555v1
Communication dans un congrès
Formal Extension of Use Cases for Context-Aware Verification MoDeVVA 2011 - Model-Driven Engineering, Verification, and Validation: Integrating Verification and Validation in MDE, Oct 2011, Wellington, New Zealand |
||
| hal-00773497v1
Communication dans un congrès
Relationships Formalization for Model-Based Product Lines APSEC 2012, Dec 2012, Hong Kong SAR China. pp.187 |
||
| hal-00738772v1
Communication dans un congrès
Model-Based Product Line Evolution: an Incremental Growing by Extension 16th International Software Product Line Conference SPLC 2012, Sep 2012, El Salvador. pp.107-114 |
||
| hal-00744434v1
Article dans une revue
Formalisation de contextes et d'exigences pour la validation formelle de logiciels embarqués Revue des Sciences et Technologies de l'Information - Série TSI : Technique et Science Informatiques, Lavoisier, 2012, VOL 31 (6), pp.797-826. ⟨10.3166/tsi.31.797-826⟩  |
||
| 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-01118923v1
Communication dans un congrès
A Domain-Specific Framework for Creating Early Trusted Underwater Systems Relying on Enterprise Architecture MASCOTS 2014, IEEE computer Society, Sep 2014, Paris, France. ⟨10.1109/MASCOTS.2014.23⟩ |
||
| hal-00736396v1
Communication dans un congrès
RCS characterization of sea clutter by using the -stable distributions Radar 2012, Oct 2012, France |
||
| 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-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-00924391v1
Article dans une revue
Etude statistique du fouillis de mer à partir de lois alpha-stables Traitement du Signal, Lavoisier, 2013, 30 (3-4-5), pp.243-271. ⟨10.3166/TS.30243-271⟩ |
||
| hal-00819668v1
Direction d'ouvrage, Proceedings, Dossier
Architecture des ordinateurs Loïc Lagadec and Sébastien Pillement and Arnaud Tisserand. 32, Hermes, pp.150, 2013, Technique et science informatique, 9782746245679 |
||
| hal-00676780v1
Communication dans un congrès
Multiple Feature Models & Relationships in a Model-Based Product Line Process Lignes de produits, Oct 2011, Paris, France |
||
| hal-01735339v1
Communication dans un congrès
Models of belief functions—Impacts for patterns recognitions Information Fusion, 2010, Edinburgh, United Kingdom |
||
| hal-01153568v1
Communication dans un congrès
Fast Prototyping of a New Reconfigurable Architecture : Toward Tailored Space FPGA Conférence d’informatique en Parallélisme, Architecture et Système (Compas), Jun 2015, Villeneuve d'Ascq, France. pp.10 |
||
|
|
||