Françoise Bellegarde

Publication Activity (10 Years)

Years Active: 1984-2006
Publications (10 Years): 0

Publications

Françoise Bellegarde, Jacques Julliand, Hassan Mountassir, Emilie Oudot
Experiments in the use of τ-simulations for the components-verification of real-time systems. SAVCBS@FSE (2006)
Françoise Bellegarde, Jacques Julliand, Hassan Mountassir, Emilie Oudot
On the Contribution of a tau. Electron. Notes Theor. Comput. Sci. 160 (2006)
Samir Chouali, Jacques Julliand, Pierre-Alain Masson, Françoise Bellegarde
PLTL Partitioned Model Checking for Reactive Systems under Fairness Assumptions CoRR (2006)
Samir Chouali, Jacques Julliand, Pierre-Alain Masson, Françoise Bellegarde
PLTL-partitioned model checking for reactive systems under fairness assumptions. ACM Trans. Embed. Comput. Syst. 4 (2) (2005)
Françoise Bellegarde, Samir Chouali, Jacques Julliand
Refinemant verification of fair transition systems can contribute to PLTL model checking. MEMOCODE (2005)
Françoise Bellegarde, Celina Charlet, Olga Kouchnarenko
How to Compute the Refinement Relation for Parameterized Systems. MEMOCODE (2003)
Françoise Bellegarde, Samir Chouali, Jacques Julliand
Verification of Dynamic Constraints for B Event Systems under Fairness Assumptions. ZB (2002)
Françoise Bellegarde, Jacques Julliand, Olga Kouchnarenko
Synchronized Parallel Composition of Event Systems in B. ZB (2002)
Françoise Bellegarde, Celina Charlet, Olga Kouchnarenko
Raffiner pour vérifier des systèmes paramétrés. Tech. Sci. Informatiques 21 (8) (2002)
Françoise Bellegarde, Christophe Darlot, Jacques Julliand, Olga Kouchnarenko
Reformulation: A Way to Combine Dynamic Properties and B Refinement. FME (2001)
Françoise Bellegarde, Jacques Julliand, Olga Kouchnarenko
Ready-Simulation Is Not Ready to Express a Modular Refinement Relation. FASE (2000)
Françoise Bellegarde, Christophe Darlot, Jacques Julliand, Olga Kouchnarenko
Reformulate Dynamic Properties during B Refinement and Forget Variants and Loop Invariants. ZB (2000)
Jeffrey M. Bell, Françoise Bellegarde, James Hook
Type-Driven Defunctionalization. ICFP (1997)
Françoise Bellegarde
ASTRE: Towards a Fully Automated Program Transformation System. RTA (1995)
Richard B. Kieburtz, Françoise Bellegarde, Jeffrey M. Bell, James Hook, Jeffrey Lewis, Dino Oliva, Tim Sheard, Lisa Walton, Tong Zhou
Calculating Software Generators from Solution Specifications. TAPSOFT (1995)
Françoise Bellegarde, James Hook
Subsitution: A Formal Methods Case Study Using Monads and Transformations. Sci. Comput. Program. 23 (2-3) (1994)
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. TRI-Ada (1994)
Françoise Bellegarde, James Hook
Monads, Indexes and Transformations. TAPSOFT (1993)
Françoise Bellegarde
A Transformation System Combining Partial Evaluation with Term Rewriting. HOA (1993)
Françoise Bellegarde
Program Transformation and Rewriting. RTA (1991)
Françoise Bellegarde
A Matching Process Modulo a Theory of Categorical Products. ALP (1990)
Françoise Bellegarde, Pierre Lescanne
Termination by Completion. Appl. Algebra Eng. Commun. Comput. 1 (1990)
Françoise Bellegarde, Pierre Lescanne
Transformation Ordering. TAPSOFT, Vol.1 (1987)
Françoise Bellegarde
Rewriting Systems on FP Expressions to Reduce the Number of Sequences Yielded. Sci. Comput. Program. 6 (1) (1986)
Françoise Bellegarde
Convergent term rewriting systems can be used for program transformation. Programs as Data Objects (1985)
Françoise Bellegarde
Rewriting Systems on FP Expressions that Reduce the Number of Sequences They Yield. LISP and Functional Programming (1984)