dblp.uni-trier.dewww.uni-trier.de

Françoise Bellegarde

Françoise Bellegarde-Webb

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo
Home Page

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

Coauthor Index

1Jeffrey M. Bell [11] [12] [14]
2Celina Charlet [18] [21]
3Samir Chouali [19] [22] [23] [25]
4Christophe Darlot [15] [17]
5James Hook [8] [10] [11] [12] [14]
6Jacques Julliand [15] [16] [17] [19] [20] [22] [23] [24] [25]
7Richard B. Kieburtz (Dick Kieburtz) [11] [12]
8Alex Kotov [11]
9Olga Kouchnarenko [15] [16] [17] [18] [20] [21]
10Pierre Lescanne [4] [5]
11Jeffrey Lewis [11] [12]
12Pierre-Alain Masson [22] [25]
13Laura McKinney [11]
14Hassan Mountassir [24]
15Dino Oliva [11] [12]
16Emilie Oudot [24]
17Tim Sheard [11] [12]
18L. Tong [11]
19Lisa Walton [11] [12]
20Tong Zhou [11] [12]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)