The SCEAS System
Navigation Menu

Search the dblp DataBase


Pascale Le Gall: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Gilles Bernot, Sophie Coudert, Pascale Le Gall
    Towards Heterogeneous Formal Specification. [Citation Graph (0, 0)][DBLP]
    AMAST, 1996, pp:458-472 [Conf]
  2. Sophie Coudert, Pascale Le Gall
    A Reuse-Oriented Framework for Hierarchical Specifications. [Citation Graph (0, 0)][DBLP]
    AMAST, 2000, pp:438-453 [Conf]
  3. Marc Aiguier, Christophe Gaston, Pascale Le Gall
    Feature Logics and Refinement. [Citation Graph (0, 0)][DBLP]
    APSEC, 2002, pp:385-0 [Conf]
  4. Marc Aiguier, Pascale Le Gall, Delphine Longuet, Assia Touil
    A Temporal Logic for Input Output Symbolic Transition Systems. [Citation Graph (0, 0)][DBLP]
    APSEC, 2005, pp:43-50 [Conf]
  5. Gilles Bernot, Pascale Le Gall
    Label Algebras: A Systematic Use of Terms. [Citation Graph (0, 0)][DBLP]
    COMPASS/ADT, 1991, pp:144-163 [Conf]
  6. Pascale Le Gall, Agnès Arnould
    Formal Specifications and Test: Correctness and Oracle. [Citation Graph (0, 0)][DBLP]
    COMPASS/ADT, 1995, pp:342-358 [Conf]
  7. Agnès Arnould, Pascale Le Gall, Bruno Marre
    Dynamic Testing from Bounded Data Type Specifications. [Citation Graph (0, 0)][DBLP]
    EDCC, 1996, pp:285-302 [Conf]
  8. Marc Aiguier, Agnès Arnould, Clément Boin, Pascale Le Gall, Bruno Marre
    Testing from Algebraic Specifications: Test Data Set Selection by Unfolding Axioms. [Citation Graph (0, 0)][DBLP]
    FATES, 2005, pp:203-217 [Conf]
  9. Helene Jouve, Pascale Le Gall, Sophie Coudert
    An Automatic Off-Line Feature Interaction Detection Method by Static Analysis of Specifications. [Citation Graph (0, 0)][DBLP]
    FIW, 2005, pp:131-146 [Conf]
  10. Karim Berkani, Rémy Cave, Sophie Coudert, Francis Klay, Pascale Le Gall, Farid Ouabdesselam, Jean-Luc Richier
    An Environment for Interactive Service Specification. [Citation Graph (0, 0)][DBLP]
    FIW, 2003, pp:25-41 [Conf]
  11. Marc Aiguier, Karim Berkani, Pascale Le Gall
    Feature Specification and Static Analysis for Interaction Resolution. [Citation Graph (0, 0)][DBLP]
    FM, 2006, pp:364-379 [Conf]
  12. Gilles Bernot, Laurent Bouaziz, Pascale Le Gall
    A Theory of Probabilistic Functional Testing. [Citation Graph (0, 0)][DBLP]
    ICSE, 1997, pp:216-226 [Conf]
  13. Christophe Gaston, Pascale Le Gall, Nicolas Rapin, Assia Touil
    Symbolic Execution Techniques for Test Purpose Definition. [Citation Graph (0, 0)][DBLP]
    TestCom, 2006, pp:1-18 [Conf]
  14. Gilles Bernot, Pascale Le Gall
    Exception Handling and Term Labelling. [Citation Graph (0, 0)][DBLP]
    TAPSOFT, 1993, pp:421-436 [Conf]
  15. Sophie Coudert, Gilles Bernot, Pascale Le Gall
    Hierarchical Heterogeneous Specifications. [Citation Graph (0, 0)][DBLP]
    WADT, 1998, pp:107-121 [Conf]
  16. Franck Ledoux, Agnès Arnould, Pascale Le Gall, Yves Bertrand
    Geometric Modelling with CASL. [Citation Graph (0, 0)][DBLP]
    WADT, 2001, pp:176-200 [Conf]
  17. Gilles Bernot, Pascale Le Gall, Marc Aiguier
    Label Algebras and Exception Handling. [Citation Graph (0, 0)][DBLP]
    Sci. Comput. Program., 1994, v:23, n:2-3, pp:227-286 [Journal]
  18. Agnès Arnould, Pascale Le Gall
    Test de conformité : une approche algébrique. [Citation Graph (0, 0)][DBLP]
    Technique et Science Informatiques, 2002, v:21, n:9, pp:1219-1242 [Journal]
  19. Franck Ledoux, Jean-Marc Mota, Agnès Arnould, Catherine Dubois, Pascale Le Gall, Yves Bertrand
    Spécifications formelles du chanfreinage. [Citation Graph (0, 0)][DBLP]
    Technique et Science Informatiques, 2002, v:21, n:8, pp:1073-1098 [Journal]
  20. Alain Faivre, Christophe Gaston, Pascale Le Gall
    Symbolic Model Based Testing for Component Oriented Systems. [Citation Graph (0, 0)][DBLP]
    TestCom/FATES, 2007, pp:90-106 [Conf]
  21. Pascale Le Gall, Nicolas Rapin, Assia Touil
    Symbolic Execution Techniques for Refinement Testing. [Citation Graph (0, 0)][DBLP]
    TAP, 2007, pp:131-148 [Conf]
  22. Marc Aiguier, Agnès Arnould, Pascale Le Gall, Delphine Longuet
    Test Selection Criteria for Quantifier-Free First-Order Specifications. [Citation Graph (0, 0)][DBLP]
    FSEN, 2007, pp:144-159 [Conf]

  23. Emergent Properties in Reactive Systems. [Citation Graph (, )][DBLP]

  24. Graph Transformation for Topology Modelling. [Citation Graph (, )][DBLP]

  25. Test Purpose Concretization through Symbolic Action Refinement. [Citation Graph (, )][DBLP]

  26. Observability and Controllability Issues in Conformance Testing of Web Service Compositions. [Citation Graph (, )][DBLP]

  27. Designing a Topological Modeler Kernel: A Rule-Based Approach. [Citation Graph (, )][DBLP]

  28. A Formal Definition of Complex Software. [Citation Graph (, )][DBLP]

  29. Property Preservation along Embedding of Biological Regulatory Networks. [Citation Graph (, )][DBLP]

  30. Testing Data Types Implementations from Algebraic Specifications. [Citation Graph (, )][DBLP]

  31. Generation of All-Paths Unit Test with Function Calls. [Citation Graph (, )][DBLP]

  32. Spatial Information and Boolean Genetic Regulatory Networks. [Citation Graph (, )][DBLP]

  33. Testing data types implementations from algebraic specifications [Citation Graph (, )][DBLP]

Search in 0.035secs, Finished in 0.036secs
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
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 [] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002