Accéder directement au contenu Accéder directement à la navigation
  1. Recherche


hal-01472914v1  Communication dans un congrès
Weiqing Zhang, Vincent Leilde, Birger Moller-Pedersen, Christophe Guychard, Joël Champeau. 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-00657626v1  Article dans une revue
Cédric Rominger, Arnaud 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 Raji, Philippe Dhaussy, Benoî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
...
inria-00477563v1  Communication dans un congrès
Martin Monperrus, Joël Champeau, Brigitte Hoeltzener. Counts count
Proceedings of the MoDELS'07 Workshops, 2007, Nashville, United States
...
hal-01575355v1  Chapitre d'ouvrage
Martin Monperrus, Jean-Marc Jézéquel, Joël Champeau, Brigitte 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⟩
...
inria-00504670v1  Article dans une revue
Martin Monperrus, Jean-Marc Jézéquel, Benoit Baudry, Joël Champeau, Brigitte Hoeltzener. 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-00646876v1  Article dans une revue
Martin Monperrus, Benoit Baudry, Joël Champeau, Brigitte Hoeltzener, Jean-Marc Jézéquel. Automated Measurement of Models of Requirements
Software Quality Journal, Springer Verlag, 2013, 21 (1), pp.3-22. ⟨10.1007/s11219-011-9163-6⟩
...
inria-00538455v1  Article dans une revue
Martin Monperrus, Benoit Long, Joël Champeau, Brigitte Hoeltzener, Gabriel Marchalot et al.  Model-driven Architecture of a Maritime Surveillance System Simulator
Systems Engineering, Wiley, 2010, 13 (3), pp.290-297. ⟨10.1002/sys.20149⟩
...
inria-00456483v1  Communication dans un congrès
Martin Monperrus, Jean-Marc Jézéquel, Joël Champeau, Brigitte 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⟩
...
inria-00456481v1  Communication dans un congrès
Martin Monperrus, Fabre Jaozafy, Gabriel Marchalot, Joël Champeau, Brigitte 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 Monperrus, Jean-Marc Jézéquel, Joël Champeau, Brigitte Hoeltzener. Model-driven Engineering Metrics for Real Time Systems
4th European Congress ERTS Embedded Real-Time Software, 2008, Toulouse, France, France
...
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-00819668v1  Direction d'ouvrage, Proceedings, Dossier
Loïc Lagadec, Sébastien Pillement, Arnaud 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-00468656v1  Article dans une revue
Ali Koudri, Joël Champeau, Denis Aulagnier, Didier Vojtisek. Processus MOPCOM pour SoC/SoPC
Génie logiciel, Génie industriel multimédia, 2009
...
hal-00354356v1  Communication dans un congrès
Ali Koudri, Denis Aulagnier, Didier Vojtisek, Philippe Soulard, Christophe Moy et al.  Using MARTE in a Co-Design Methodology
MARTE UML profile workshop co-located with DATE'08, Mar 2008, Munich, Germany. 6 p
...
hal-00749175v1  Communication dans un congrès
Julien Heulot, K. Desnos, Jean-François Nezan, Maxime Pelcat, Raulet Mickaël et al.  AN EXPERIMENTAL TOOLCHAIN BASED ON HIGH-LEVEL DATAFLOW MODELS OF COMPUTATION FOR HETEROGENEOUS MPSOC
DASIP, Oct 2012, Karlsruhe, Germany
...
hal-02149584v1  Communication dans un congrès
Fahad Rafique Golra, Joël Champeau, Ciprian 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-00657521v1  Communication dans un congrès
Anthony Fiche, Jean-Christophe Cexus, Arnaud Martin, Ali 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-00729682v1  Communication dans un congrès
Anthony Fiche, Jean-Christophe Cexus, Ali Khenchaf, Majid Rochdi, Arnaud Martin. CHARACTERIZATION OF EM SEA CLUTTER WITH α-STABLE DISTRIBUTION
IGARSS 2012, Jul 2012, Munich, Germany
...
hal-00865993v1  Communication dans un congrès
Anthony Fiche, Arnaud Martin, Jean-Christophe Cexus, Ali 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-01241564v1  Article dans une revue
Anthony Fiche, Jean-Christophe Cexus, Arnaud Martin, Ali Khenchaf. 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-01653732v1  Communication dans un congrès
Angélique Drémeau, Antoine 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⟩
...
hal-00636049v1  Communication dans un congrès
Pierre-Emmanuel Doré, Christophe Osswald, Arnaud Martin. Continuous belief functions to qualify sensors performances
ESQARU 2011, Jun 2011, Belfast, Ireland
hal-01735339v1  Communication dans un congrès
Pierre-Emmanuel Doré, Anthony Fiche, Arnaud Martin. Models of belief functions—Impacts for patterns recognitions
Information Fusion, 2010, Edinburgh, United Kingdom
...
hal-00470523v1  Communication dans un congrès
Philippe Dhaussy, Pierre-Yves Pillain, Stephen Creff, Amine Raji, Yves 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-00744434v1  Article dans une revue
Philippe Dhaussy, Frédéric Boniol, Jean-Charles Roger, Amine Raji, Yves 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-01087442v1  Communication dans un congrès
Julien Deantoni, Papa Issa Diallo, Ciprian Teodorov, Joël Champeau, Benoit Combemale. Towards a Meta-Language for the Concurrency Concern in DSLs
Design, Automation and Test in Europe Conference and Exhibition (DATE), Mar 2015, Grenoble, France