The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Gwen Salaün: [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. Gwen Salaün, Wendelin Serwe, Yvain Thonnart, Pascal Vivet
    Formal Verification of CHP Specifications with CADP Illustration on an Asynchronous Network-on-Chip. [Citation Graph (0, 0)][DBLP]
    ASYNC, 2007, pp:73-82 [Conf]
  3. Carlos Canal, Pascal Poizat, Gwen Salaün
    Adaptation de composants logiciels Une approche automatisée basée sur des expressions régulières de vecteurs de synchronisation. [Citation Graph (0, 0)][DBLP]
    CAL, 2006, pp:31-39 [Conf]
  4. 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]
  5. Gwen Salaün, Andrea Ferrara, Antonella Chirichiello
    Negotiation Among Web Services Using LOTOS/CADP. [Citation Graph (0, 0)][DBLP]
    ECOWS, 2004, pp:198-212 [Conf]
  6. 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]
  7. Pascal Poizat, Jean-Claude Royer, Gwen Salaün
    Bounded Analysis and Decomposition for Behavioural Descriptions of Components. [Citation Graph (0, 0)][DBLP]
    FMOODS, 2006, pp:33-47 [Conf]
  8. Carlos Canal, Pascal Poizat, Gwen Salaün
    Synchronizing Behavioural Mismatch in Software Composition. [Citation Graph (0, 0)][DBLP]
    FMOODS, 2006, pp:63-77 [Conf]
  9. Gwen Salaün, Christian Attiogbé
    Formalising an Integrated Language in PVS. [Citation Graph (0, 0)][DBLP]
    ICFEM, 2003, pp:187-205 [Conf]
  10. Gwen Salaün, Lucas Bordeaux, Marco Schaerf
    Describing and Reasoning on Web Services using Process Algebra. [Citation Graph (0, 0)][DBLP]
    ICWS, 2004, pp:43-0 [Conf]
  11. Gwen Salaün, Wendelin Serwe
    Translating Hardware Process Algebras into Standard Process Algebras: Illustration with CHP and LOTOS. [Citation Graph (0, 0)][DBLP]
    IFM, 2005, pp:287-306 [Conf]
  12. 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]
  13. 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]
  14. Lucas Bordeaux, Gwen Salaün
    Using Process Algebra for Web Services: Early Results and Perspectives. [Citation Graph (0, 0)][DBLP]
    TES, 2004, pp:54-68 [Conf]
  15. Lucas Bordeaux, Gwen Salaün, Daniela Berardi, Massimo Mecella
    When are Two Web Services Compatible? [Citation Graph (0, 0)][DBLP]
    TES, 2004, pp:15-28 [Conf]
  16. Antonella Chirichiello, Gwen Salaün
    Encoding Abstract Descriptions into Executable Web Services: Towards a Formal Development. [Citation Graph (0, 0)][DBLP]
    Web Intelligence, 2005, pp:457-463 [Conf]
  17. 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]
  18. Gwen Salaün, Pascal Poizat
    Interacting Extended State Diagrams. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2005, v:115, n:, pp:49-57 [Journal]
  19. 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]
  20. Javier Cubo, Gwen Salaün, Javier Cámara, Carlos Canal, Ernesto Pimentel
    Context-Based Adaptation of Component Behavioural Interfaces. [Citation Graph (0, 0)][DBLP]
    COORDINATION, 2007, pp:305-323 [Conf]
  21. Pascal Poizat, Gwen Salaün
    Adaptation of Open Component-Based Systems. [Citation Graph (0, 0)][DBLP]
    FMOODS, 2007, pp:141-156 [Conf]
  22. Gwen Salaün, Jeff Kramer, Frédéric Lang, Jeff Magee
    Translating FSP into LOTOS and Networks of Automata. [Citation Graph (0, 0)][DBLP]
    IFM, 2007, pp:558-578 [Conf]
  23. Pascal Poizat, Gwen Salaün, Massimo Tivoli
    An Adaptation-based Approach to Incrementally Build Component Systems. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2007, v:182, n:, pp:155-170 [Journal]

  24. Clint: A Composition Language Interpreter (Tool Paper). [Citation Graph (, )][DBLP]


  25. ITACA: An integrated toolbox for the automatic composition and adaptation of Web services. [Citation Graph (, )][DBLP]


  26. Behavioural self-adaptation of services in ubiquitous computing environments. [Citation Graph (, )][DBLP]


  27. Adaptation of Service Protocols Using Process Algebra and On-the-Fly Reduction Techniques. [Citation Graph (, )][DBLP]


  28. Realizability of Choreographies Using Process Algebra Encodings. [Citation Graph (, )][DBLP]


  29. Behavioral adaptation of component compositions based on process algebra encodings. [Citation Graph (, )][DBLP]


  30. Interactive Specification and Verification of Behavioural Adaptation Contracts. [Citation Graph (, )][DBLP]


  31. Run-time Composition and Adaptation of Mismatching Behavioural Transactions. [Citation Graph (, )][DBLP]


  32. Generation of Service Wrapper Protocols from Choreography Specifications. [Citation Graph (, )][DBLP]


  33. Proceedings Ninth International Workshop on the Foundations of Coordination Languages and Software Architectures [Citation Graph (, )][DBLP]


  34. Handling Data-Based Concurrency in Context-Aware Service Protocols [Citation Graph (, )][DBLP]


  35. A Model-Based Approach to the Verification and Adaptation of WF/.NET Components. [Citation Graph (, )][DBLP]


  36. Multiple Concern Adaptation for Run-time Composition in Context-Aware Systems. [Citation Graph (, )][DBLP]


  37. Checking Protocol Compatibility using Maude. [Citation Graph (, )][DBLP]


  38. Analyzing Chor Specifications by Translation into FSP. [Citation Graph (, )][DBLP]


  39. A Formal Framework for Structural Reconfiguration of Components under Behavioural Adaptation. [Citation Graph (, )][DBLP]


Search in 0.005secs, Finished in 0.007secs
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