|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 5 occurrences of 4 keywords
|
|
|
|
|
Results
Found 25 publication records. Showing 25 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Françoise Bellegarde, Jacques Julliand, Hassan Mountassir, Emilie Oudot |
On the Contribution of a tau.  |
Electr. Notes Theor. Comput. Sci.  |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Samir Chouali, Jacques Julliand, Pierre-Alain Masson, Françoise Bellegarde |
PLTL Partitioned Model Checking for Reactive Systems under Fairness Assumptions |
CoRR |
2006 |
DBLP BibTeX RDF |
|
| 1 | Samir Chouali, Jacques Julliand, Pierre-Alain Masson, Françoise Bellegarde |
PLTL-partitioned model checking for reactive systems under fairness assumptions. |
ACM Trans. Embedded Comput. Syst. |
2005 |
DBLP DOI BibTeX RDF |
PLTL model checking, Refinement design, fairness assumptions, out-of-core model checking |
| 1 | Françoise Bellegarde, Samir Chouali, Jacques Julliand |
Refinemant verification of fair transition systems can contribute to PLTL model checking. |
MEMOCODE |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Françoise Bellegarde, Celina Charlet, Olga Kouchnarenko |
How to Compute the Refinement Relation for Parameterized Systems. |
MEMOCODE |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Françoise Bellegarde, Celina Charlet, Olga Kouchnarenko |
Raffiner pour vérifier des systèmes paramétrés. |
Technique et Science Informatiques |
2002 |
DBLP BibTeX RDF |
|
| 1 | Françoise Bellegarde, Samir Chouali, Jacques Julliand |
Verification of Dynamic Constraints for B Event Systems under Fairness Assumptions. |
ZB |
2002 |
DBLP DOI BibTeX RDF |
B event systems1, fairness hypotheses, PLTL verification, specification |
| 1 | Françoise Bellegarde, Jacques Julliand, Olga Kouchnarenko |
Synchronized Parallel Composition of Event Systems in B. |
ZB |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Françoise Bellegarde, Christophe Darlot, Jacques Julliand, Olga Kouchnarenko |
Reformulation: A Way to Combine Dynamic Properties and B Refinement. |
FME |
2001 |
DBLP DOI BibTeX RDF |
Verification of PLTL properties, Combination of proof and model-checking, Refinement development |
| 1 | Françoise Bellegarde, Jacques Julliand, Olga Kouchnarenko |
Ready-Simulation Is Not Ready to Express a Modular Refinement Relation. |
FASE |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Françoise Bellegarde, Christophe Darlot, Jacques Julliand, Olga Kouchnarenko |
Reformulate Dynamic Properties during B Refinement and Forget Variants and Loop Invariants. |
ZB |
2000 |
DBLP DOI BibTeX RDF |
B Refinement Design, Verification, Specification, Dynamic properties, Event Systems |
| 1 | Jeffrey M. Bell, Françoise Bellegarde, James Hook |
Type-Driven Defunctionalization. |
ICFP |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Françoise Bellegarde |
ASTRE: Towards a Fully Automated Program Transformation System. |
RTA |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | Françoise Bellegarde, James Hook |
Subsitution: A Formal Methods Case Study Using Monads and Transformations. |
Sci. Comput. Program. |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Françoise Bellegarde, James Hook |
Monads, Indexes and Transformations. |
TAPSOFT |
1993 |
DBLP DOI BibTeX RDF |
|
| 1 | Françoise Bellegarde |
A Transformation System Combining Partial Evaluation with Term Rewriting. |
HOA |
1993 |
DBLP DOI BibTeX RDF |
|
| 1 | Françoise Bellegarde |
Program Transformation and Rewriting. |
RTA |
1991 |
DBLP DOI BibTeX RDF |
|
| 1 | Françoise Bellegarde, Pierre Lescanne |
Termination by Completion. |
Appl. Algebra Eng. Commun. Comput. |
1990 |
DBLP DOI BibTeX RDF |
|
| 1 | Françoise Bellegarde |
A Matching Process Modulo a Theory of Categorical Products. |
ALP |
1990 |
DBLP DOI BibTeX RDF |
|
| 1 | Françoise Bellegarde, Pierre Lescanne |
Transformation Ordering. |
TAPSOFT, Vol.1 |
1987 |
DBLP DOI BibTeX RDF |
|
| 1 | Françoise Bellegarde |
Rewriting Systems on FP Expressions to Reduce the Number of Sequences Yielded. |
Sci. Comput. Program. |
1986 |
DBLP DOI BibTeX RDF |
|
| 1 | Françoise Bellegarde |
Convergent term rewriting systems can be used for program transformation. |
Programs as Data Objects |
1985 |
DBLP DOI BibTeX RDF |
|
| 1 | Françoise Bellegarde |
Rewriting Systems on FP Expressions that Reduce the Number of Sequences They Yield. |
LISP and Functional Programming |
1984 |
DBLP BibTeX RDF |
|
Displaying result #1 - #25 of 25 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")