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


...
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-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-02149584v1  Communication dans un congrès
Fahad Rafique GolraJoël ChampeauCiprian Teodorov. 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-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-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⟩
hal-01153568v1  Communication dans un congrès
Chagun Basha Basheer AhmedSébastien PillementLoïc LagadecArnaud Tisserand. 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-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-00744434v1  Article dans une revue
Philippe DhaussyFrédéric BoniolJean-Charles RogerAmine RajiYves Le Traon et al.  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-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
...
tel-00514492v1  Thèse
Martin Monperrus. 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-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-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
...
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-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⟩
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
...
hal-01653732v1  Communication dans un congrès
Angélique DrémeauAntoine Deleforge. 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⟩
...
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