|
||
---|---|---|
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-00704312v1
Communication dans un congrès
Une organisation des Lignes de Produits Logiciels autour d'un motif architectural CAL 2012, May 2012, Montpellier, 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-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-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-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 |
||
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-00773497v1
Communication dans un congrès
Relationships Formalization for Model-Based Product Lines APSEC 2012, Dec 2012, Hong Kong SAR China. pp.187 |
||
hal-00657626v1
Article dans une revue
Recalage et fusion d'images sonar multivues : utilisation du conflit Revue des Nouvelles Technologies de l'Information, Hermann, 2011, E (21), pp.231-246 |
||
hal-00736396v1
Communication dans un congrès
RCS characterization of sea clutter by using the -stable distributions Radar 2012, Oct 2012, France |
||
inria-00468656v1
Article dans une revue
Processus MOPCOM pour SoC/SoPC Génie logiciel, Génie industriel multimédia, 2009 |
||
hal-01060601v2
Rapport
Operational Semantics of the Model of Concurrency and Communication Language [Research Report] RR-8584, INRIA. 2014, pp.23 |
||
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 |
||
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-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⟩ |
||
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 |
||
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-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-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⟩ |
||
tel-00514492v1
Thèse
La mesure des modèles par les modèles : une approche générative Génie logiciel [cs.SE]. Université Rennes 1, 2008. Français |
||
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-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-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-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-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-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-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⟩ |
||
inria-00477563v1
Communication dans un congrès
Counts count Proceedings of the MoDELS'07 Workshops, 2007, Nashville, United States |
||
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 |
||
|