Accéder directement au contenu Accéder directement à la navigation


hal-00819668v1  Direction d'ouvrage, Proceedings, Dossier
Loïc LagadecSébastien PillementArnaud Tisserand. Architecture des ordinateurs
Loïc Lagadec and Sébastien Pillement and Arnaud Tisserand. 32, Hermes, pp.150, 2013, Technique et science informatique, 9782746245679
...
inria-00477563v1  Communication dans un congrès
Martin MonperrusJoël ChampeauBrigitte Hoeltzener. Counts count
Proceedings of the MoDELS'07 Workshops, 2007, Nashville, United States
...
hal-00486726v1  Communication dans un congrès
Gilles TrombettoniGilles Chabert. Constructive Interval Disjunction
CP'07 - 13th International Conference on Principles and Practice of Constraint Programming, 2007, Providence, United States. pp.635-650, ⟨10.1007/978-3-540-74970-7_45⟩
...
hal-02911731v1  Communication dans un congrès
Pascale GautronCécile PlaudMaude PupinVincent RibaudYann Secq. Les filles qui… et L Codent L Créent : constituer un bien commun de médiation en informatique
Ludovia#CH - Université de printemps, Apr 2020, Yverdon-les-bains, Suisse
...
inria-00468656v1  Article dans une revue
Ali KoudriJoël ChampeauDenis AulagnierDidier Vojtisek. Processus MOPCOM pour SoC/SoPC
Génie logiciel, Génie industriel multimédia, 2009
...
hal-00657626v1  Article dans une revue
Cédric RomingerArnaud Martin. 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-00635555v1  Communication dans un congrès
Amine RajiPhilippe DhaussyBenoît Baudry. 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-00657521v1  Communication dans un congrès
Anthony FicheJean-Christophe CexusArnaud MartinAli Khenchaf. 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-01394059v1  Article dans une revue
Cédric HerzetAngélique DrémeauPatrick Héas. Model Reduction from Partial Observations
International Journal for Numerical Methods in Engineering, Wiley, 2018, 113 (3), pp.479-511. ⟨10.1002/nme.5623⟩
...
inria-00456481v1  Communication dans un congrès
Martin MonperrusFabre JaozafyGabriel MarchalotJoël ChampeauBrigitte Hoeltzener et al.  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
Martin MonperrusJean-Marc JézéquelJoël ChampeauBrigitte Hoeltzener. Model-driven Engineering Metrics for Real Time Systems
4th European Congress ERTS Embedded Real-Time Software, 2008, Toulouse, France, France
...
inria-00456483v1  Communication dans un congrès
Martin MonperrusJean-Marc JézéquelJoël ChampeauBrigitte Hoeltzener. 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⟩
hal-01735339v1  Communication dans un congrès
Pierre-Emmanuel DoréAnthony FicheArnaud Martin. Models of belief functions—Impacts for patterns recognitions
Information Fusion, 2010, Edinburgh, United Kingdom
...
inria-00468650v1  Chapitre d'ouvrage
Denis AulagnierAli KoudriStéphane LecomtePhilippe SoulardJoël Champeau et al.  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-00541441v1  Direction d'ouvrage, Proceedings, Dossier
Sébastien GérardJean-Philippe BabauJoël Champeau. Model Driven Engineering for Distributed Real-Time Embedded Systems
Hermes Science Publishing, pp.Non renseigné, 2005
...
hal-00865993v1  Communication dans un congrès
Anthony FicheArnaud MartinJean-Christophe CexusAli Khenchaf. 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-01702246v1  Communication dans un congrès
Angélique DrémeauCédric Herzet. DOA estimation in structured phase-noisy environments
42nd IEEE International Conference on Acoustics, Speech and Signal Processing (ICASSP 2017), Mar 2017, La Nouvelle Orléans, LA, United States. pp.3176-3180, ⟨10.1109/ICASSP.2017.7952742⟩
hal-00773497v1  Communication dans un congrès
Stephen CreffJoël ChampeauArnaud MonégierJean-Marc Jézéquel. Relationships Formalization for Model-Based Product Lines
APSEC 2012, Dec 2012, Hong Kong SAR China. pp.187
hal-00738772v1  Communication dans un congrès
Stephen CreffJoël ChampeauJean-Marc Jézéquel. 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
Martin MonperrusJean-Marc JézéquelJoël ChampeauBrigitte Hoeltzener. 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-02059649v1  Communication dans un congrès
Clément DorfferCédric HerzetAngélique Drémeau. Region-based relaxations to accelerate greedy approaches
27th European Signal Processing Conference, EUSIPCO 2019, Sep 2019, La Corogne, Spain
...
hal-00470523v1  Communication dans un congrès
Philippe DhaussyPierre-Yves PillainStephen CreffAmine RajiYves Le Traon et al.  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⟩