The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Pascal Poizat: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Christine Choppy, Pascal Poizat, Jean-Claude Royer
    A Global Semantics for Views. [Citation Graph (0, 0)][DBLP]
    AMAST, 2000, pp:165-180 [Conf]
  2. Christine Choppy, Pascal Poizat, Jean-Claude Royer
    Formal Specification of Mixed Components with Korrigan. [Citation Graph (0, 0)][DBLP]
    APSEC, 2001, pp:169-176 [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. Olivier Maréchal, Pascal Poizat, Jean-Claude Royer
    Checking Asynchronously Communicating Components Using Symbolic Transition Systems. [Citation Graph (0, 0)][DBLP]
    CoopIS/DOA/ODBASE (2), 2004, pp:1502-1519 [Conf]
  5. Carlos Canal, Juan Manuel Murillo, Pascal Poizat
    Coordination and Adaptation Techniques for Software Entities. [Citation Graph (0, 0)][DBLP]
    ECOOP Workshops, 2004, pp:133-147 [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. Christine Choppy, Pascal Poizat, Jean-Claude Royer
    Specification of Mixed Systems in KORRIGAN with the Support of a UML-Inspired Graphical Notation. [Citation Graph (0, 0)][DBLP]
    FASE, 2001, pp:124-139 [Conf]
  8. Henri Habrias, Pascal Poizat, Jean-Yves Lafaye
    A Study of Collaborative Work: Answers to a Test on Formal Specification in B. [Citation Graph (0, 0)][DBLP]
    World Congress on Formal Methods, 1999, pp:1856-1857 [Conf]
  9. Pascal Poizat, Christine Choppy, Jean-Claude Royer
    From Informal Requirements to COOP: A Concurrent Automata Approach. [Citation Graph (0, 0)][DBLP]
    World Congress on Formal Methods, 1999, pp:939-962 [Conf]
  10. 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]
  11. Carlos Canal, Pascal Poizat, Gwen Salaün
    Synchronizing Behavioural Mismatch in Software Composition. [Citation Graph (0, 0)][DBLP]
    FMOODS, 2006, pp:63-77 [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. Sebastian Pavel, Jacques Noyé, Pascal Poizat, Jean-Claude Royer
    A Java Implementation of a Component Model with Explicit Symbolic Protocols. [Citation Graph (0, 0)][DBLP]
    Software Composition, 2005, pp:115-124 [Conf]
  14. Pascal Poizat, Christine Choppy, Jean-Claude Royer
    Concurrency and Data Types: A Specification Method: An Example with LOTOS. [Citation Graph (0, 0)][DBLP]
    WADT, 1998, pp:277-292 [Conf]
  15. Marc Aiguier, Fabrice Barbier, Pascal Poizat
    A Logic with Temporal Glue for Mixed Specifications. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2004, v:97, n:, pp:155-174 [Journal]
  16. 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]
  17. Christine Choppy, Pascal Poizat, Jean-Claude Royer
    The Korrigan Environment. [Citation Graph (0, 0)][DBLP]
    J. UCS, 2001, v:7, n:1, pp:19-36 [Journal]
  18. Pascal Poizat, Jean-Claude Royer
    A Formal Architectural Description Language based on Symbolic Transition Systems and Temporal Logic [Citation Graph (0, 0)][DBLP]
    J. UCS, 2006, v:12, n:12, pp:1741-1782 [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. Steffen Becker, Carlos Canal, Nikolay Diakov, Juan Manuel Murillo, Pascal Poizat, Massimo Tivoli
    Coordination and Adaptation Techniques: Bridging the Gap Between Design and Implementation. [Citation Graph (0, 0)][DBLP]
    ECOOP Workshops, 2006, pp:72-86 [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. Serge Haddad, Pascal Poizat
    Transactional Reduction of Component Compositions. [Citation Graph (0, 0)][DBLP]
    FORTE, 2007, pp:341-357 [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. Steffen Becker, Carlos Canal, Nikolay Diakov, Juan Manuel Murillo, Pascal Poizat, Massimo Tivoli
    Preface. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2007, v:189, n:, pp:1-3 [Journal]

  25. Practical Approaches for Software Adaptation. [Citation Graph (, )][DBLP]


  26. Distributed Behavioural Adaptation for the Automatic Composition of Semantic Services. [Citation Graph (, )][DBLP]


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


  28. Automated Service Composition with Adaptive Planning. [Citation Graph (, )][DBLP]


  29. Self-Adaptive Service Composition Through Graphplan Repair. [Citation Graph (, )][DBLP]


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


  31. A Formal Framework for Service Orchestration Testing Based on Symbolic Transition Systems. [Citation Graph (, )][DBLP]


  32. Repairing Service Compositions in a Changing World. [Citation Graph (, )][DBLP]


  33. Software Adaptation. [Citation Graph (, )][DBLP]


  34. Une proposition de composants formels. [Citation Graph (, )][DBLP]


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


  36. Preface. [Citation Graph (, )][DBLP]


  37. Preface. [Citation Graph (, )][DBLP]


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