- CSB - MetaPress - Google - Bing - Yahoo
 | 2011 | |
|---|---|---|
| j6 |      | Pascal André, Gilles Ardourel, Christian Attiogbé: Kmelia, un modèle abstrait et formel pour la description et la composition de composants et de services. Technique et Science Informatiques 30(6): 627-658 (2011) |
| i5 | | |
| 2010 | ||
| j5 | | Pascal André, Gilles Ardourel, Christian Attiogbé, Arnaud Lanoix: Using Assertions to Enhance the Correctness of Kmelia Components and their Assemblies. Electr. Notes Theor. Comput. Sci. 263: 5-30 (2010) |
| c22 | | Pascal André, Gilles Ardourel, Christian Attiogbé, Arnaud Lanoix: Using Event-B to Verify the Kmelia Components and Their Assemblies. ASM 2010: 410 |
| c21 | | Mohamed Messabihi, Pascal André, Christian Attiogbé: Multilevel Contracts for Trusted Components. WCSI 2010: 71-85 |
| 2009 | ||
| c20 | | |
| i4 | | Christian Attiogbé: Modelling and Analysing Dynamic Decentralised Systems. CoRR abs/0909.4896 (2009) |
| i3 | | Christian Attiogbé: Tool-Assisted Multi-Facet Analysis of Formal Specifications (Using Alelier-B and ProB). CoRR abs/0910.1690 (2009) |
| i2 | | Christian Attiogbé: Can Component/Service-Based Systems Be Proved Correct? CoRR abs/0910.1901 (2009) |
| 2008 | ||
| j4 | | |
| c19 | | Christian Attiogbé: Mastering Specification Heterogeneity with Multifacet Analysis. ICST Workshops 2008: 121-130 |
| c18 | | Christian Attiogbé: Event-Based Approach to Modelling Dynamic Architecture: Application to Mobile Ad-Hoc Network. ISoLA 2008: 769-781 |
| c17 | | Pascal André, Gilles Ardourel, Christian Attiogbé: Composing Components with Shared Services in the KmeliaModel. Software Composition 2008: 125-140 |
| 2007 | ||
| j3 | | Pascal André, Gilles Ardourel, Christian Attiogbé: Adaptation for Hierarchical Components and Services. Electr. Notes Theor. Comput. Sci. 189: 5-20 (2007) |
| j2 | | Christian Attiogbé, Pascal Poizat, Gwen Salaün: A Formal and Tool-Equipped Approach for the Integration of State Diagrams and Formal Datatypes. IEEE Trans. Software Eng. 33(3): 157-170 (2007) |
| c16 |  | Pascal André, Gilles Ardourel, Christian Attiogbé: Protocoles d'utilisation de composants : spécification et analyse en Kmelia. LMO 2007: 19-34 |
| c15 | | Pascal André, Gilles Ardourel, Christian Attiogbé: Defining Component Protocols with Service Composition: Illustration with the Kmelia Model. Software Composition 2007: 2-17 |
| 2006 | ||
| c14 | | Pascal André, Gilles Ardourel, Christian Attiogbé: Spécification d'architectures en Kmelia : hiérarchie de connexion et composition. CAL 2006: 101-118 |
| c13 | | Christian Attiogbé: Tool-Assisted Multi-Facet Analysis of Formal Specifications (Using Alelier-B and ProB). IASTED Conf. on Software Engineering 2006: 85-90 |
| c12 | | Christian Attiogbé: Multi-process Systems Analysis Using Event B: Application to Group Communication Systems. ICFEM 2006: 660-677 |
| c11 | | Christian Attiogbé, Pascal André, Gilles Ardourel: Checking Component Composability. Software Composition 2006: 18-33 |
| 2005 | ||
| c10 | | Christian Attiogbé: A Stepwise Development of the Peterson's Mutual Exclusion Algorithm Using B Abstract Systems. ZB 2005: 124-141 |
| i1 | | |
| 2004 | ||
| c9 | | Christian Attiogbé: A Mechanically Proved Development Combining B Abstract Systems and Spin. QSIC 2004: 42-49 |
| 2003 | ||
| c8 | | Christian Attiogbé, Pascal Poizat, Gwen Salaün: Integration of Formal Datatypes within State Diagrams. FASE 2003: 341-355 |
| c7 | | |
| c6 | | Christian Attiogbé, Pascal Poizat, Gwen Salaün: Specification of a Gas Station Using a Formalism Integrating Formal Datatypes within State Diagrams. IPDPS 2003: 240 |
| 2002 | ||
| j1 | | Gwen Salaün, Michel Allemand, Christian Attiogbé: Foundations for a Combination of Heterogeneous Specification Components. Electr. Notes Theor. Comput. Sci. 66(4): 114-133 (2002) |
| c5 | | Gwen Salaün, Michel Allemand, Christian Attiogbé: A Method to Combine any Process Algebra with an Algebraic Specification Language: the p-Calculus Example. COMPSAC 2002: 385-392 |
| c4 | | Christian Attiogbé: Mechanization of an Integrated Approach: Shallow Embedding into SAL/PVS. ICFEM 2002: 120-131 |
| c3 | | Gwen Salaün, Michel Allemand, Christian Attiogbé: Specification of an Access Control System with a Formalism Combining CCS and CASL. IPDPS 2002 |
| 2001 | ||
| c2 | | Gwen Salaün, Michel Allemand, Christian Attiogbé: Formal Framework for a Generic Combination of a Process Algebra with an Algebraic Specification Language. APSEC 2001: 299- |
| 1993 | ||
| c1 | | Christian Attiogbé, Jean-Louis Durieux: Handling Interaction in Software Specification. VCHCI 1993: 155-171 |
| 1 | Michel Allemand | |
| 2 | Pascal André | |
| 3 | Gilles Ardourel | |
| 4 | Jean-Louis Durieux | |
| 5 | Arnaud Lanoix | |
| 6 | Mohamed Messabihi | |
| 7 | Pascal Poizat | |
| 8 | Gwen Salaün |
Colors in the list of coauthors
Last update Mon May 20 17:36:05 2013 CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page