|
||
---|---|---|
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 |
||
inria-00477563v1
Communication dans un congrès
Counts count Proceedings of the MoDELS'07 Workshops, 2007, Nashville, United States |
||
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-00470523v1
Communication dans un congrès
Evaluating Context Descriptions and Property Definition Patterns for Software Formal Validation Model Driven Engineering Languages and Systems (Models'09), Oct 2009, Denver, United States. pp.438-452, ⟨10.1007/978-3-642-04425-0⟩ |
||
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-01653732v1
Communication dans un congrès
Phase Retrieval with a Multivariate Von Mises Prior: From a Bayesian Formulation to a Lifting Solution ICASSP 2017 - 42nd IEEE International Conference on Acoustics, Speech and Signal Processing, Mar 2017, New Orleans, United States. pp.1-5, ⟨10.1109/ICASSP.2017.7953027⟩ |
||
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-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-00657521v1
Communication dans un congrès
Influence de l'estimation des paramètres de texture pour la classification de données complexes Extraction et Gestion des Connaissances, Jan 2011, Brest, France. pp.10h |
||
hal-00636049v1
Communication dans un congrès
Continuous belief functions to qualify sensors performances ESQARU 2011, Jun 2011, Belfast, Ireland |
||
hal-00729682v1
Communication dans un congrès
CHARACTERIZATION OF EM SEA CLUTTER WITH α-STABLE DISTRIBUTION IGARSS 2012, Jul 2012, Munich, Germany |
||
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-00865993v1
Communication dans un congrès
Estimation d'un mélange de distributions alpha-stables à partir de l'algorithme EM Rencontre francophone sur la Logique Floue et ses Applications (LFA), Oct 2010, Lannion, France. 8 p |
||
hal-00736396v1
Communication dans un congrès
RCS characterization of sea clutter by using the -stable distributions Radar 2012, Oct 2012, France |
||
hal-01087442v1
Communication dans un congrès
Towards a Meta-Language for the Concurrency Concern in DSLs Design, Automation and Test in Europe Conference and Exhibition (DATE), Mar 2015, Grenoble, France |
||
inria-00555044v1
Communication dans un congrès
Trust in MDE Components: the DOMINO Experiment SD4RCES workshop in conjunction with SAFECOMP 2010, 2010, Vienna, Austria |
||
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-00749175v1
Communication dans un congrès
AN EXPERIMENTAL TOOLCHAIN BASED ON HIGH-LEVEL DATAFLOW MODELS OF COMPUTATION FOR HETEROGENEOUS MPSOC DASIP, Oct 2012, Karlsruhe, Germany |
||
inria-00456483v1
Communication dans un congrès
A Model-driven Measurement Approach ACM/IEEE 11th International Conference on Model Driven Engineering Languages and Systems (MoDELS 08), Sep 2008, Toulouse, France, France. pp.505-519, ⟨10.1007/978-3-540-87875-9_36⟩ |
||
inria-00456481v1
Communication dans un congrès
Model-driven Simulation of a Maritime Surveillance System 4th European Conference on Model Driven Architecture Foundations and Applications (ECMDA'2008), Jun 2008, Berlin, Germany, Germany. pp.361-368, ⟨10.1007/978-3-540-69100-6_25⟩ |
||
inria-00456482v1
Communication dans un congrès
Model-driven Engineering Metrics for Real Time Systems 4th European Congress ERTS Embedded Real-Time Software, 2008, Toulouse, France, France |
||
hal-01735339v1
Communication dans un congrès
Models of belief functions—Impacts for patterns recognitions Information Fusion, 2010, Edinburgh, United Kingdom |
||
hal-02149584v1
Communication dans un congrès
Early Validation Framework for Critical and Complex Process-Centric Systems 20th International Conference (BPMDS 2019) and 24th International Conference (EMMSAD 2019), Jun 2019, Rome, Italy. pp.35-50, ⟨10.1007/978-3-030-20618-5_3⟩ |
||
hal-00354356v1
Communication dans un congrès
Using MARTE in a Co-Design Methodology MARTE UML profile workshop co-located with DATE'08, Mar 2008, Munich, Germany. 6 p |
||
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 |
||
hal-01475251v1
Communication dans un congrès
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 |
||
|