Search the dblp DataBase
Christian Attiogbé :
[Publications ]
[Author Rank by year ]
[Co-authors ]
[Prefers ]
[Cites ]
[Cited by ]
Publications of Author
Gwen Salaün , Michel Allemand , Christian Attiogbé Formal Framework for a Generic Combination of a Process Algebra with an Algebraic Specification Language. [Citation Graph (0, 0)][DBLP ] APSEC, 2001, pp:299-0 [Conf ] Pascal André , Gilles Ardourel , Christian Attiogbé Spécification d'architectures en Kmelia : hiérarchie de connexion et composition. [Citation Graph (0, 0)][DBLP ] CAL, 2006, pp:101-118 [Conf ] Gwen Salaün , Michel Allemand , Christian Attiogbé A Method to Combine any Process Algebra with an Algebraic Specification Language: the p-Calculus Example. [Citation Graph (0, 0)][DBLP ] COMPSAC, 2002, pp:385-392 [Conf ] Christian Attiogbé , Pascal Poizat , Gwen Salaün Integration of Formal Datatypes within State Diagrams. [Citation Graph (0, 0)][DBLP ] FASE, 2003, pp:341-355 [Conf ] Christian Attiogbé Tool-Assisted Multi-Facet Analysis of Formal Specifications (Using Alelier-B and ProB). [Citation Graph (0, 0)][DBLP ] IASTED Conf. on Software Engineering, 2006, pp:85-90 [Conf ] Christian Attiogbé Mechanization of an Integrated Approach: Shallow Embedding into SAL/PVS. [Citation Graph (0, 0)][DBLP ] ICFEM, 2002, pp:120-131 [Conf ] Christian Attiogbé Multi-process Systems Analysis Using Event B: Application to Group Communication Systems. [Citation Graph (0, 0)][DBLP ] ICFEM, 2006, pp:660-677 [Conf ] Gwen Salaün , Christian Attiogbé Formalising an Integrated Language in PVS. [Citation Graph (0, 0)][DBLP ] ICFEM, 2003, pp:187-205 [Conf ] Christian Attiogbé , Pascal Poizat , Gwen Salaün Specification of a Gas Station Using a Formalism Integrating Formal Datatypes within State Diagrams. [Citation Graph (0, 0)][DBLP ] IPDPS, 2003, pp:240- [Conf ] Gwen Salaün , Michel Allemand , Christian Attiogbé Specification of an Access Control System with a Formalism Combining CCS and CASL. [Citation Graph (0, 0)][DBLP ] IPDPS, 2002, pp:- [Conf ] Christian Attiogbé A Mechanically Proved Development Combining B Abstract Systems and Spin. [Citation Graph (0, 0)][DBLP ] QSIC, 2004, pp:42-49 [Conf ] Christian Attiogbé , Pascal André , Gilles Ardourel Checking Component Composability. [Citation Graph (0, 0)][DBLP ] Software Composition, 2006, pp:18-33 [Conf ] Christian Attiogbé , Jean-Louis Durieux Handling Interaction in Software Specification. [Citation Graph (0, 0)][DBLP ] VCHCI, 1993, pp:155-171 [Conf ] Christian Attiogbé A Stepwise Development of the Peterson's Mutual Exclusion Algorithm Using B Abstract Systems. [Citation Graph (0, 0)][DBLP ] ZB, 2005, pp:124-141 [Conf ] Pascal André , Gilles Ardourel , Christian Attiogbé Protocoles d'utilisation de composants : spécification et analyse en Kmelia. [Citation Graph (0, 0)][DBLP ] LMO, 2007, pp:19-34 [Conf ] Gwen Salaün , Michel Allemand , Christian Attiogbé Foundations for a Combination of Heterogeneous Specification Components. [Citation Graph (0, 0)][DBLP ] Electr. Notes Theor. Comput. Sci., 2002, v:66, n:4, pp:- [Journal ] Christian Attiogbé , Pascal Poizat , Gwen Salaün A Formal and Tool-Equipped Approach for the Integration of State Diagrams and Formal Datatypes. [Citation Graph (0, 0)][DBLP ] IEEE Trans. Software Eng., 2007, v:33, n:3, pp:157-170 [Journal ] Pascal André , Gilles Ardourel , Christian Attiogbé Adaptation for Hierarchical Components and Services. [Citation Graph (0, 0)][DBLP ] Electr. Notes Theor. Comput. Sci., 2007, v:189, n:, pp:5-20 [Journal ] Using Event-B to Verify the Kmelia Components and Their Assemblies. [Citation Graph (, )][DBLP ] Event-Based Approach to Modelling Dynamic Architecture: Application to Mobile Ad-Hoc Network. [Citation Graph (, )][DBLP ] Defining Component Protocols with Service Composition: Illustration with the Kmelia Model. [Citation Graph (, )][DBLP ] Composing Components with Shared Services in the KmeliaModel. [Citation Graph (, )][DBLP ] Can Component/Service-Based Systems Be Proved Correct?. [Citation Graph (, )][DBLP ] Éditorial. [Citation Graph (, )][DBLP ] Semantic Embedding of Petri Nets into Event-B [Citation Graph (, )][DBLP ] Modelling and Analysing Dynamic Decentralised Systems [Citation Graph (, )][DBLP ] Tool-Assisted Multi-Facet Analysis of Formal Specifications (Using Alelier-B and ProB) [Citation Graph (, )][DBLP ] Can Component/Service-Based Systems Be Proved Correct? [Citation Graph (, )][DBLP ] Using Assertions to Enhance the Correctness of Kmelia Components and their Assemblies. [Citation Graph (, )][DBLP ] Search in 0.009secs, Finished in 0.010secs