 | 2009 |
|---|
| 27 |       | Christian Attiogbé:
Can Component/Service-Based Systems Be Proved Correct?.
SOFSEM 2009: 3-18 |
| 26 | | Christian Attiogbé:
Modelling and Analysing Dynamic Decentralised Systems
CoRR abs/0909.4896: (2009) |
| 25 | | Christian Attiogbé:
Tool-Assisted Multi-Facet Analysis of Formal Specifications (Using Alelier-B and ProB)
CoRR abs/0910.1690: (2009) |
| 24 | | Christian Attiogbé:
Can Component/Service-Based Systems Be Proved Correct?
CoRR abs/0910.1901: (2009) |
| 2008 |
|---|
| 23 | | Christian Attiogbé:
Event-Based Approach to Modelling Dynamic Architecture: Application to Mobile Ad-Hoc Network.
ISoLA 2008: 769-781 |
| 22 | | Pascal André,
Gilles Ardourel,
Christian Attiogbé:
Composing Components with Shared Services in the KmeliaModel.
Software Composition 2008: 125-140 |
| 21 | | Pascal André,
Christian Attiogbé:
Éditorial.
L'OBJET 14(4): 7-10 (2008) |
| 2007 |
|---|
| 20 |  | Pascal André,
Gilles Ardourel,
Christian Attiogbé:
Protocoles d'utilisation de composants : spécification et analyse en Kmelia.
LMO 2007: 19-34 |
| 19 | | Pascal André,
Gilles Ardourel,
Christian Attiogbé:
Defining Component Protocols with Service Composition: Illustration with the Kmelia Model.
Software Composition 2007: 2-17 |
| 18 | | Pascal André,
Gilles Ardourel,
Christian Attiogbé:
Adaptation for Hierarchical Components and Services.
Electr. Notes Theor. Comput. Sci. 189: 5-20 (2007) |
| 17 | | 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) |
| 2006 |
|---|
| 16 | | Pascal André,
Gilles Ardourel,
Christian Attiogbé:
Spécification d'architectures en Kmelia : hiérarchie de connexion et composition.
CAL 2006: 101-118 |
| 15 | | Christian Attiogbé:
Tool-Assisted Multi-Facet Analysis of Formal Specifications (Using Alelier-B and ProB).
IASTED Conf. on Software Engineering 2006: 85-90 |
| 14 | | Christian Attiogbé:
Multi-process Systems Analysis Using Event B: Application to Group Communication Systems.
ICFEM 2006: 660-677 |
| 13 | | Christian Attiogbé,
Pascal André,
Gilles Ardourel:
Checking Component Composability.
Software Composition 2006: 18-33 |
| 2005 |
|---|
| 12 | | Christian Attiogbé:
A Stepwise Development of the Peterson's Mutual Exclusion Algorithm Using B Abstract Systems.
ZB 2005: 124-141 |
| 11 | | Christian Attiogbé:
Semantic Embedding of Petri Nets into Event-B
CoRR abs/cs/0510073: (2005) |
| 2004 |
|---|
| 10 | | Christian Attiogbé:
A Mechanically Proved Development Combining B Abstract Systems and Spin.
QSIC 2004: 42-49 |
| 2003 |
|---|
| 9 | | Christian Attiogbé,
Pascal Poizat,
Gwen Salaün:
Integration of Formal Datatypes within State Diagrams.
FASE 2003: 341-355 |
| 8 | | Gwen Salaün,
Christian Attiogbé:
Formalising an Integrated Language in PVS.
ICFEM 2003: 187-205 |
| 7 | | 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 |
|---|
| 6 | | 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 |
| 5 | | Christian Attiogbé:
Mechanization of an Integrated Approach: Shallow Embedding into SAL/PVS.
ICFEM 2002: 120-131 |
| 4 | | Gwen Salaün,
Michel Allemand,
Christian Attiogbé:
Specification of an Access Control System with a Formalism Combining CCS and CASL.
IPDPS 2002 |
| 3 | | Gwen Salaün,
Michel Allemand,
Christian Attiogbé:
Foundations for a Combination of Heterogeneous Specification Components.
Electr. Notes Theor. Comput. Sci. 66(4): (2002) |
| 2001 |
|---|
| 2 | | 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 |
|---|
| 1 | | Christian Attiogbé,
Jean-Louis Durieux:
Handling Interaction in Software Specification.
VCHCI 1993: 155-171 |
