Françoise Bellegarde

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