The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Christian Attiogbé: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. 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]
  2. 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]
  3. 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]
  4. 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]
  5. 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]
  6. Christian Attiogbé
    Mechanization of an Integrated Approach: Shallow Embedding into SAL/PVS. [Citation Graph (0, 0)][DBLP]
    ICFEM, 2002, pp:120-131 [Conf]
  7. 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]
  8. Gwen Salaün, Christian Attiogbé
    Formalising an Integrated Language in PVS. [Citation Graph (0, 0)][DBLP]
    ICFEM, 2003, pp:187-205 [Conf]
  9. 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]
  10. 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]
  11. Christian Attiogbé
    A Mechanically Proved Development Combining B Abstract Systems and Spin. [Citation Graph (0, 0)][DBLP]
    QSIC, 2004, pp:42-49 [Conf]
  12. Christian Attiogbé, Pascal André, Gilles Ardourel
    Checking Component Composability. [Citation Graph (0, 0)][DBLP]
    Software Composition, 2006, pp:18-33 [Conf]
  13. Christian Attiogbé, Jean-Louis Durieux
    Handling Interaction in Software Specification. [Citation Graph (0, 0)][DBLP]
    VCHCI, 1993, pp:155-171 [Conf]
  14. 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]
  15. 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]
  16. 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]
  17. 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]
  18. 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]

  19. Using Event-B to Verify the Kmelia Components and Their Assemblies. [Citation Graph (, )][DBLP]


  20. Event-Based Approach to Modelling Dynamic Architecture: Application to Mobile Ad-Hoc Network. [Citation Graph (, )][DBLP]


  21. Defining Component Protocols with Service Composition: Illustration with the Kmelia Model. [Citation Graph (, )][DBLP]


  22. Composing Components with Shared Services in the KmeliaModel. [Citation Graph (, )][DBLP]


  23. Can Component/Service-Based Systems Be Proved Correct?. [Citation Graph (, )][DBLP]


  24. Éditorial. [Citation Graph (, )][DBLP]


  25. Semantic Embedding of Petri Nets into Event-B [Citation Graph (, )][DBLP]


  26. Modelling and Analysing Dynamic Decentralised Systems [Citation Graph (, )][DBLP]


  27. Tool-Assisted Multi-Facet Analysis of Formal Specifications (Using Alelier-B and ProB) [Citation Graph (, )][DBLP]


  28. Can Component/Service-Based Systems Be Proved Correct? [Citation Graph (, )][DBLP]


  29. Using Assertions to Enhance the Correctness of Kmelia Components and their Assemblies. [Citation Graph (, )][DBLP]


Search in 0.003secs, Finished in 0.004secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002