The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Françoise Bellegarde: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Françoise Bellegarde
    Rewriting Systems on FP Expressions to Reduce the Number of Sequences Yielded. [Citation Graph (2, 0)][DBLP]
    Sci. Comput. Program., 1986, v:6, n:1, pp:11-34 [Journal]
  2. Françoise Bellegarde
    Rewriting Systems on FP Expressions that Reduce the Number of Sequences They Yield. [Citation Graph (1, 0)][DBLP]
    LISP and Functional Programming, 1984, pp:63-73 [Conf]
  3. Françoise Bellegarde
    A Matching Process Modulo a Theory of Categorical Products. [Citation Graph (0, 0)][DBLP]
    ALP, 1990, pp:270-282 [Conf]
  4. Françoise Bellegarde, Jacques Julliand, Olga Kouchnarenko
    Ready-Simulation Is Not Ready to Express a Modular Refinement Relation. [Citation Graph (0, 0)][DBLP]
    FASE, 2000, pp:266-283 [Conf]
  5. Françoise Bellegarde, Christophe Darlot, Jacques Julliand, Olga Kouchnarenko
    Reformulation: A Way to Combine Dynamic Properties and B Refinement. [Citation Graph (0, 0)][DBLP]
    FME, 2001, pp:2-19 [Conf]
  6. Françoise Bellegarde
    A Transformation System Combining Partial Evaluation with Term Rewriting. [Citation Graph (0, 0)][DBLP]
    HOA, 1993, pp:40-55 [Conf]
  7. Jeffrey M. Bell, Françoise Bellegarde, James Hook
    Type-Driven Defunctionalization. [Citation Graph (0, 0)][DBLP]
    ICFP, 1997, pp:25-37 [Conf]
  8. Françoise Bellegarde, Samir Chouali, Jacques Julliand
    Refinemant verification of fair transition systems can contribute to PLTL model checking. [Citation Graph (0, 0)][DBLP]
    MEMOCODE, 2005, pp:166-175 [Conf]
  9. Françoise Bellegarde, Celina Charlet, Olga Kouchnarenko
    How to Compute the Refinement Relation for Parameterized Systems. [Citation Graph (0, 0)][DBLP]
    MEMOCODE, 2003, pp:103-112 [Conf]
  10. Françoise Bellegarde
    Convergent term rewriting systems can be used for program transformation. [Citation Graph (0, 0)][DBLP]
    Programs as Data Objects, 1985, pp:24-41 [Conf]
  11. Françoise Bellegarde
    Program Transformation and Rewriting. [Citation Graph (0, 0)][DBLP]
    RTA, 1991, pp:226-239 [Conf]
  12. Françoise Bellegarde
    ASTRE: Towards a Fully Automated Program Transformation System. [Citation Graph (0, 0)][DBLP]
    RTA, 1995, pp:403-407 [Conf]
  13. Jeffrey M. Bell, Françoise Bellegarde, James Hook, Richard B. Kieburtz, Alex Kotov, Jeffrey Lewis, Laura McKinney, Dino Oliva, Tim Sheard, L. Tong, Lisa Walton, Tong Zhou
    Software design for reliability and reuse: a proof-of-concept demonstration. [Citation Graph (0, 0)][DBLP]
    TRI-Ada, 1994, pp:396-404 [Conf]
  14. Françoise Bellegarde, James Hook
    Monads, Indexes and Transformations. [Citation Graph (0, 0)][DBLP]
    TAPSOFT, 1993, pp:314-327 [Conf]
  15. Françoise Bellegarde, Pierre Lescanne
    Transformation Ordering. [Citation Graph (0, 0)][DBLP]
    TAPSOFT, Vol.1, 1987, pp:69-80 [Conf]
  16. Richard B. Kieburtz, Françoise Bellegarde, Jef Bell, James Hook, Jeffrey Lewis, Dino Oliva, Tim Sheard, Lisa Walton, Tong Zhou
    Calculating Software Generators from Solution Specifications. [Citation Graph (0, 0)][DBLP]
    TAPSOFT, 1995, pp:546-560 [Conf]
  17. Françoise Bellegarde, Samir Chouali, Jacques Julliand
    Verification of Dynamic Constraints for B Event Systems under Fairness Assumptions. [Citation Graph (0, 0)][DBLP]
    ZB, 2002, pp:477-496 [Conf]
  18. Françoise Bellegarde, Christophe Darlot, Jacques Julliand, Olga Kouchnarenko
    Reformulate Dynamic Properties during B Refinement and Forget Variants and Loop Invariants. [Citation Graph (0, 0)][DBLP]
    ZB, 2000, pp:230-249 [Conf]
  19. Françoise Bellegarde, Jacques Julliand, Olga Kouchnarenko
    Synchronized Parallel Composition of Event Systems in B. [Citation Graph (0, 0)][DBLP]
    ZB, 2002, pp:436-457 [Conf]
  20. Françoise Bellegarde, Pierre Lescanne
    Termination by Completion. [Citation Graph (0, 0)][DBLP]
    Appl. Algebra Eng. Commun. Comput., 1990, v:1, n:, pp:79-96 [Journal]
  21. Françoise Bellegarde, Jacques Julliand, Hassan Mountassir, Emilie Oudot
    On the Contribution of a tau. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2006, v:160, n:, pp:97-111 [Journal]
  22. Françoise Bellegarde, James Hook
    Subsitution: A Formal Methods Case Study Using Monads and Transformations. [Citation Graph (0, 0)][DBLP]
    Sci. Comput. Program., 1994, v:23, n:2-3, pp:287-311 [Journal]
  23. Samir Chouali, Jacques Julliand, Pierre-Alain Masson, Françoise Bellegarde
    PLTL-partitioned model checking for reactive systems under fairness assumptions. [Citation Graph (0, 0)][DBLP]
    ACM Trans. Embedded Comput. Syst., 2005, v:4, n:2, pp:267-301 [Journal]
  24. Françoise Bellegarde, Celina Charlet, Olga Kouchnarenko
    Raffiner pour vérifier des systèmes paramétrés. [Citation Graph (0, 0)][DBLP]
    Technique et Science Informatiques, 2002, v:21, n:8, pp:1121-1149 [Journal]
  25. Samir Chouali, Jacques Julliand, Pierre-Alain Masson, Françoise Bellegarde
    PLTL Partitioned Model Checking for Reactive Systems under Fairness Assumptions [Citation Graph (0, 0)][DBLP]
    CoRR, 2006, v:0, n:, pp:- [Journal]

Search in 0.014secs, Finished in 0.015secs
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