Aït-Ameur, Yamine, enseignant-chercheur en informatique, 1966-....
Aït-Ameur, Yamine
VIAF ID: 53978402 ( Personal )
Permalink: http://viaf.org/viaf/53978402
Preferred Forms
- 100 1 _ ‡a Aït-Ameur, Yamine
-
-
- 100 1 _ ‡a Aït-Ameur, Yamine, ‡c enseignant-chercheur en informatique, ‡d 1966-....
- 100 1 _ ‡a Aït-Ameur, Yamine
4xx's: Alternate Name Forms (3)
Works
Title | Sources |
---|---|
Abstract State Machines, Alloy, B, TLA, VDM, and Z : 4th International Conference, ABZ 2014, Toulouse, France, June 2-6, 2014. Proceedings | |
Adptation des Blocs sysML et verification des propriétés temporelles. | |
Construction d'ontologies à partir de textes : une approche basée sur les transformations de modèles | |
Contribution à la définition d'une méthode de conception de bases de données à base ontologique | |
Contribution to the definition of a mathod for designing an ontology-based database. | |
Le déploiement, une phase à part entière dans le cycle de vie des entrepôts de données : application aux plateformes parallèles | |
Deployment, full phase in the data warehouse life cycle : application to parallel platforms. | |
Un environnement cadre pour la gestion de modèles hétérogènes en ingénierie système. | |
Explicit modelling and representation of industrial component data : application to the PLIB data model. | |
Formal modelling and verification of multimodal human computer interfaces : output multimodality. | |
Framework for the management of heterogeneous models in systems engineering | |
Functional dependencies modelling for aircraft level risk analysis. | |
A generic model for handling preferences in ontology based databases | |
Handling behavioral semantics in persistent metamodeling systems = Extension des systèmes de métamodélisation persistant avec la sémantique comportementale | |
Implementation of periodic task sets for off-line scheduling. | |
Intégration de données par médiation basée sur les ontologies pour l'analyse en ligne (OLAP) à la demande | |
Intégration du modèle d'ontologie PLIB et des services web dans les échanges inter-entreprises : applications au business to business (B2B) | |
Interopérabilité des Systèmes Blockchains | |
Interoperability of technical enterprise applications. | |
ISoLA 2007 Workshop on Leveraging Applications of Formal Methods, Verification and Validation, c2007: | |
Un langage de description d'architectures multi-dimensionnel pour l'évolution directe et la rétro-évolution de logiciels à base de composants. | |
Management and Optimization of Massive Data from the Web. | |
An MDA approach for content personalization integration in the design and the generation of interactive applications. | |
Méthodes et outils pour l’intégration de la vérification formelle pour les langages dédiés. | |
Méthodes et outils pour la programmation des systèmes cyber-physiques | |
Méthodes formelles pour les systèmes distribués temps-réel. | |
Méthodologie de mise-à-jour de knowledge-based engineering template : focus sur l'aide à la décision et la mise-à-jour des instances. | |
Méthodologie et composants pour la mise en oeuvre de workflows scientifiques | |
Méthodologie pour l'orchestration sémantique de services, application au traitement de documents multimédia | |
Methodology and components for scientific workflow building. | |
Methods and tools for cyber-physical systems programming. | |
Methods and tools for the integration of formal verification in domain-specific languages | |
Mise en oeuvre applicative de séquences d'ordonnancement hors-ligne | |
Model and Data Engineering : 6th International Conference, MEDI 2016, Almería, Spain, September 21-23, 2016, Proceedings | |
Model-driven engineering applied to Smart Grids design : cosimulation with FMI approach. | |
Un modèle générique pour le traitement des préférences en données à base ontologique bases de données. | |
Modélisation de services et de workflows sémantiques à base d'ontologies de services et d'indexations | |
Modélisation des dépendances fonctionnelles pour l'analyse des risques de niveau avion | |
Modélisation d'événements composites répétitifs, propriétés et relations temporelles | |
Modélisation et simulation d'une architecture d'entreprise - Application aux Smart Grids | |
Modélisation et vérification formelles de compositions de services | |
Modélisation explicite de l'adaptation sémantique entre modèles de calcul. | |
Modélisation formelle des systèmes de détection d'intrusions | |
Modular Avionics Software Integration on Multi-Core COTS : certification-Compliant Methodology and Timing Analysis Metrics for Legacy Software Reuse in Modern Aerospace Systems | |
Multi-level modeling for verification and synthesis of complex systems in a multi-physics context. | |
An ontology-based approach to manage conflicts in collaborative design | |
Ontology centric design process : Sharing a conceptualization | |
Ontoql, an exploitation language for ontology-based database . | |
Ordonnancement des systèmes avec différents niveaux de criticité. | |
Les outils de vérification dédiés à partir des familles de propriétés : une application aux propriétés temps réel pour les modèles UML-MARTE. | |
Policy Mining : a Bottom-Up Approach Toward Network Security Management. | |
Preuves d'algorithmes distribués par raffinement | |
Property driven verification framework : application to real time property for UML MARTE software design | |
The Role of Ontologies and Context in Designing Data Storage Systems. | |
Sauvegarde des données dans les réseaux P2P | |
Schedulability in Mixed-criticality Systems | |
Schema Discovery in Semantic Web Data Sources. | |
Semantic lifecycle desing for data storage and manioulation systems. | |
Semantic modeling for cloud computing : toward Daas service composition with uncertain semantics. | |
Des spécifications en langage naturel aux spécifications formelles via une ontologie comme modèle pivot | |
Static and Dynamic Data Warehouses Design. | |
Support for the validation and verification of critical systems : ontologies and integration of components. | |
Systematic use of models of concurrency in executable domain-specific modelling languages | |
Des systèmes à base de composants aux implémentations cadencées par le temps : une approche correcte par conception | |
Techniques de rôle mining pour la gestion de politiques de sécurité : application à l'administration de la sécurité réseau | |
Temporal property preservation along embedding of genetic regulatory networks : toward complex system characterization by the emergence of properties. | |
Theoretical Aspects of Software Engineering : 16th International Symposium, TASE 2022, Cluj-Napoca, Romania, July 8–10, 2022, Proceedings | |
Towards a modular architecture of formal modelling : system/sub-systems decomposition in event-B. | |
Towards a safe approach for Human-Computer Interface Development. | |
Towards networks convergence in avionics. | |
Transformations sémantiques pour l'évolution des modèles de données | |
Utilisation conjointe des ontologies et du contexte pour la conception des systèmes de stockage de données | |
Utilisation systématique des modèles de concurrence dans les langages de modélisation dédiés exécutables. | |
Validation of formal specifications for dynamic updates in Java Card applications. | |
Vers la convergence de réseaux dans l'avionique | |
Vers une approche sûre du développement des Interfaces Homme-Machine |