Attiogbé, Christian
Attiogbé, Christian 1964-...
VIAF ID: 10008418 ( Personal )
Permalink: http://viaf.org/viaf/10008418
Preferred Forms
-
- 100 1 _ ‡a Attiogbe, Christian
- 200 _ | ‡a Attiogbé ‡b Christian ‡f 1964-....
- 100 1 _ ‡a Attiogbé, Christian
-
- 100 1 _ ‡a Attiogbé, Christian ‡d 1964-...
Works
Title | Sources |
---|---|
Une approche formelle pour la modélisation d'architectures de haut niveau de systèmes complexes alignées avec les modèles d'exigences | |
Une approche MDE pour construire des systèmes d'information sécurisés. | |
Architecture d'entreprise : alignement des cartographies métiers et applicatives du système d'information | |
Automatic reconstruction and analysis of security policies from deployed security components | |
Composants, services et aspects : techniques et outils pour la vérification | |
Conception et vérification formelles des interfaces homme-machine multimodales : applications à la multimodalité en sortie | |
Contribution au dépliage des réseaux de Petri et à l'analyse des processus de branchement | |
Contribution to the specification and the verification of component-based software systems : enrichment of the Kmelia data language and verification of contracts. | |
Contribution to the unfolding of Petri nets and to the analysis of branching process. | |
Contributions à la conception à base de modèles des systèmes temps réel en vue de leur analyse de performance temporelle | |
Contributions to Model-Based Design of Real-Time Systems Regarding their Timing Performance Analysis. | |
Contributions to the validation of adaptive component systems by test generation. | |
Coordination et reconfiguration des applications reparties dans le nuage. | |
Development of a Formal Verification Methodology for B Specifications using PERF formal toolkit. Application to safety requirements of railway systems. | |
Développement d'algorithmes répartis corrects par construction | |
Élaboration d’une méthodologie de vérification formelle des spécifications B dans l’Atelier de Preuve PERF. Application aux exigences de sûreté de fonctionnement des systèmes ferroviaires.. | |
Enterprise Architecture : Business-IT alignment. | |
Environnement d'assistance au développement de transformations de graphes correctes | |
A formal approach for modeling high-level architectures of complex systems aligned with requirement models. | |
Formal modelling and verification of multimodal human computer interfaces : output multimodality. | |
From research to teaching formal methods : the B method : actes... | |
International workshop on Comparing systems specification techniques "What questions are prompted by ones particular method of specification?" March 26-27, 1998, Nantes, France proceedings [of the 9th Meeting] in the serie Putting into practice methods and tools for information system design | |
Interoperability and security of systems. | |
Model and data engineering, [2021]: | |
A model driven engineering approach to build secure information systems | |
Modélisation formelle de systèmes de drones civils à l'aide de méthodes probabilistes paramétrées | |
Module informatique III, DEUG MIAS | |
Oracles du test de transformations de modèles | |
Parametric Statistical model checking of UAV flight plan. | |
Proceedings | |
Styles et méta-styles : une autre façon de réutiliser l' évolution d' architectures logicielles. | |
Towards an extensible framework for modelling and implementing correct and evolutive web applications, under variability hypothesis. | |
Vérification formelle et incrémentale de spécifications SysML pour la conception de systèmes à base de composants. | |
Views and program transformations for modular maintenances. | |
Vues et transformations de programmes pour la modularité des évolutions |