|
||
---|---|---|
inria-00477563v1
Communication dans un congrès
Counts count Proceedings of the MoDELS'07 Workshops, 2007, Nashville, United States |
||
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⟩ |
||
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-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 |
||
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-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-00468650v1
Chapitre d'ouvrage
SoC/SoPC development using MDD and MARTE profile Babau, Jean-Philippe and Blay-Fornarino, Mireille and Champeau, Joël and Gèrard, Sèbastien and Robert, Sylvain and Sabetta, Antonino. Model Driven Engineering for Distributed Real-time Embedded Systems, ISTE, 2009 |
||
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⟩ |
||
inria-00555044v1
Communication dans un congrès
Trust in MDE Components: the DOMINO Experiment SD4RCES workshop in conjunction with SAFECOMP 2010, 2010, Vienna, Austria |
||
inria-00538455v1
Article dans une revue
Model-driven Architecture of a Maritime Surveillance System Simulator Systems Engineering, Wiley, 2010, 13 (3), pp.290-297. ⟨10.1002/sys.20149⟩ |
||
hal-01735339v1
Communication dans un congrès
Models of belief functions—Impacts for patterns recognitions Information Fusion, 2010, Edinburgh, United Kingdom |
||
inria-00504670v1
Article dans une revue
Model-driven Generative Development of Measurement Software Software and Systems Modeling, Springer Verlag, 2011, 10 (4), pp.537-552. ⟨10.1007/s10270-010-0165-9⟩ |
||
hal-00636049v1
Communication dans un congrès
Continuous belief functions to qualify sensors performances ESQARU 2011, Jun 2011, Belfast, Ireland |
||
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-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-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-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-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-00729682v1
Communication dans un congrès
CHARACTERIZATION OF EM SEA CLUTTER WITH α-STABLE DISTRIBUTION IGARSS 2012, Jul 2012, Munich, Germany |
||
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-00736396v1
Communication dans un congrès
RCS characterization of sea clutter by using the -stable distributions Radar 2012, Oct 2012, 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 |
||
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-00646876v1
Article dans une revue
Automated Measurement of Models of Requirements Software Quality Journal, Springer Verlag, 2013, 21 (1), pp.3-22. ⟨10.1007/s11219-011-9163-6⟩ |
||
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-01241564v1
Article dans une revue
Features modeling with an α-stable distribution: Application to pattern recognition based on continuous belief functions Information Fusion, Elsevier, 2013, 14 (4), ⟨10.1016/j.inffus.2013.02.004⟩ |
||
hal-01060601v2
Rapport
Operational Semantics of the Model of Concurrency and Communication Language [Research Report] RR-8584, INRIA. 2014, pp.23 |
||
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-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 |
||
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 |
||
|