Jézéquel, Jean-Marc, 1964-
Jézéquel, Jean-Marc
Jean-Marc Jézéquel chercheur universitaire en informatique français
Jean-Marc Jézéquel universitaire français, successivement chercheur au CNRS (1991-2000), professeur à l’Université de Rennes (2000-2012), puis directeur de l’IRISA.
VIAF ID: 33711776 ( Personal )
Permalink: http://viaf.org/viaf/33711776
Preferred Forms
- 100 0 _ ‡a Jean-Marc Jézéquel ‡c chercheur universitaire en informatique français
- 100 0 _ ‡a Jean-Marc Jézéquel ‡c universitaire français, successivement chercheur au CNRS (1991-2000), professeur à l’Université de Rennes (2000-2012), puis directeur de l’IRISA.
- 200 _ | ‡a Jézéquel ‡b Jean-Marc
-
- 100 1 _ ‡a Jézéquel, Jean-Marc ‡d 1964-
-
-
- 100 1 0 ‡a Jézéquel, Jean-Marc, ‡d 1964-
- 100 1 _ ‡a Jézéquel, Jean-Marc, ‡d 1964-....
-
- 100 1 _ ‡a Jézéquel, Jean-Marc
-
-
-
- 100 1 _ ‡a Jézéquel, Jean-Marc, ‡d 1964-
4xx's: Alternate Name Forms (12)
5xx's: Related Names (5)
- 510 2 _ ‡a Institut de Recherche en Informatique et Systèmes Aléatoires ‡4 affi ‡4 https://d-nb.info/standards/elementset/gnd#affiliation ‡e Affiliation
- 510 2 _ ‡a Institut de Recherche en Informatique et Systèmes Aléatoires
- 510 2 _ ‡a Institut de formation supérieure en informatique et communication (Rennes)
- 551 _ _ ‡a Rennes ‡4 ortw ‡4 https://d-nb.info/standards/elementset/gnd#placeOfActivity
- 510 2 _ ‡a UML 2002 (2002 : Dresden, Germany)
Works
Title | Sources |
---|---|
AMSA, a framework dedicated to simulation of control laws for racing sailboats. | |
Apprentissage statistique pour la modélisation de performances sur des espaces de configuration colossaux. | |
Approche multi-perspective centrée exigences de composition de services Web | |
Une architecture pour les transformations de modèles et la restructuration de modèles UML | |
Aspects comportementaux et tissage | |
Aspectualizing Component Models : implementation and Interferences Analysis | |
Assemblage testable et validation de composants | |
Assisting precise metamodelling. | |
Automatic effective model discovery = Découverte automatique de modèles effectifs | |
Behavourial aspects and weaving. | |
Un compilateur Estelle multi-processeurs pour l'expérimentation d'algorithmes distribués sur machines parallèles | |
Contribution à la réification d'un processus de conception | |
Design and implementation of a model driven design methodology for trusted realtime component. | |
Design patterns and contracts | |
Le développement agile de services de télécommunication intégrés via des techniques d'ingénierie des modèles | |
Dezain patan to keiyaku. | |
Engineering modeling languages : turning domain knowledge into tools | |
EnTiMid : a component model to integrate smart devices in service based applications. | |
Examinons la matrice : s'appuyer sur la variabilité pour spécialiser les systèmes et les suites de tests. | |
Formal concept analysis : a structural framework to study variability in software families. | |
Génération automatique de tests à partir des exigences et application aux lignes de produits logicielles | |
Impact of analytical variability on data compatibility in functional Magnetic Resonance Imaging studies | |
Ingénierie des applications Web : réduire la complexité sans diminuer le contrôle | |
Ingénierie dirigée par les modèles : des concepts à la pratique | |
Intégration de l’analyse prédictive dans des systèmes auto-adaptatifs. | |
Investigate the matrix : leveraging variability to specialize software and test suites | |
L'analyse formelle de concepts : un cadre structurel pour l'étude de la variabilité de familles de logiciels | |
Leveraging models from design-time to runtime to support dynamic variability | |
Machine learning for performance modelling on colossal software configuration spaces | |
Machine learning for side-channel analysis | |
Maîtriser la variabilité enfouie dans les systèmes orientés objet et les systèmes de construction logicielle | |
Manipulation de lignes de produits en UML | |
Mastering variability in the wild : on object-oriented variability implementations and variability-aware build systems. | |
Measuring performances of systems : proposal for an unifying monitoring plateform. | |
Méthodologie SPL pour la dérivation de modèles comportementaux des produits. | |
Methodology for the derivation of product behaviour in a Software Product Line | |
Mining software artefact variants for product line migration and analysis. | |
Mobilité urbaine : apprentissage automatique pour la construction de simulateurs à l'aide de masses de données | |
Model and metamodel composition : separation of mapping and interpretation for unifying existing model composition techniques. | |
A model-driven measurement approach. | |
Model-driven software engineering for virtual machine images provisioning in cloud computing | |
Model Typing. | |
Model@Runtime for continuous development of heterogeneous distributed adaptive systems. | |
Une modélisation de la variabilité multidimensionnelle pour une évolution incrémentale des lignes de produits | |
Object-oriented software engineering with Eiffel | |
ORQA : a framework for the energy management in electric vehicles. | |
ORQA : un canevas logiciel pour la gestion de l'énergie dans les véhicules électriques | |
ParTraP : un langage pour la spécification et vérification à l'exécution de propriétés paramétriques | |
Performances des systèmes distribués proposition d'une plateforme fédératrice de la supervision | |
Préserver les décisions architecturales à travers des patrons architecturaux. | |
Programmation fiable et efficace des architectures parallèles distribuées | |
Proposition of a process for the reification of a communication abstraction as a connector associated to generators. | |
Qualité de Service temporelle pour composants logiciels | |
System architecture design driven by functional urbanism models. | |
Test des composants logiciels pour les télécommunications | |
Test et modèle UML : stratégies de planification des tests | |
Time quality od service for software components. | |
Typage de Modèles | |
Typing facilities for language engineering. | |
UML 2002 | |
"UML" 2002 - the unified modeling language : model engineering, concepts, and tools : 5th international conference, Dresden, Germany, September 30-October 4, 2002 : proceedings | |
Utilisation de modèles à la conception et à l'éxécution pour gérer la variabilité dynamique. | |
Validation des moteurs de raisonnement et mécanismes d’adaptation pour les systèmes auto-adaptatifs. | |
Validation of reasoning engines and adaptation mechanisms for self-adaptive systems | |
Variabilité logicielle profonde pour l'entraînement de modèles de performance robustes. | |
Variability management and automation of software development processes. | |
Web applications engineering : reduce the complexity without loosing control. | |
デザインパターンと契約 |