2009 |
24 | EE | Christian Attiogbé:
Can Component/Service-Based Systems Be Proved Correct?.
SOFSEM 2009: 3-18 |
2008 |
23 | EE | Christian Attiogbé:
Event-Based Approach to Modelling Dynamic Architecture: Application to Mobile Ad-Hoc Network.
ISoLA 2008: 769-781 |
22 | EE | Pascal André,
Gilles Ardourel,
Christian Attiogbé:
Composing Components with Shared Services in the KmeliaModel.
Software Composition 2008: 125-140 |
21 | EE | 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 | EE | Pascal André,
Gilles Ardourel,
Christian Attiogbé:
Defining Component Protocols with Service Composition: Illustration with the Kmelia Model.
Software Composition 2007: 2-17 |
18 | EE | Pascal André,
Gilles Ardourel,
Christian Attiogbé:
Adaptation for Hierarchical Components and Services.
Electr. Notes Theor. Comput. Sci. 189: 5-20 (2007) |
17 | EE | 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 | EE | Christian Attiogbé:
Multi-process Systems Analysis Using Event B: Application to Group Communication Systems.
ICFEM 2006: 660-677 |
13 | EE | Christian Attiogbé,
Pascal André,
Gilles Ardourel:
Checking Component Composability.
Software Composition 2006: 18-33 |
2005 |
12 | EE | Christian Attiogbé:
A Stepwise Development of the Peterson's Mutual Exclusion Algorithm Using B Abstract Systems.
ZB 2005: 124-141 |
11 | EE | Christian Attiogbé:
Semantic Embedding of Petri Nets into Event-B
CoRR abs/cs/0510073: (2005) |
2004 |
10 | EE | Christian Attiogbé:
A Mechanically Proved Development Combining B Abstract Systems and Spin.
QSIC 2004: 42-49 |
2003 |
9 | EE | Christian Attiogbé,
Pascal Poizat,
Gwen Salaün:
Integration of Formal Datatypes within State Diagrams.
FASE 2003: 341-355 |
8 | EE | Gwen Salaün,
Christian Attiogbé:
Formalising an Integrated Language in PVS.
ICFEM 2003: 187-205 |
7 | EE | 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 | EE | 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 | EE | Christian Attiogbé:
Mechanization of an Integrated Approach: Shallow Embedding into SAL/PVS.
ICFEM 2002: 120-131 |
4 | EE | Gwen Salaün,
Michel Allemand,
Christian Attiogbé:
Specification of an Access Control System with a Formalism Combining CCS and CASL.
IPDPS 2002 |
3 | EE | 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 | EE | 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 |