Person: Anne-Françoise Le Meur

DBLP: Meur:Anne=Fran=ccedil=oise_Le

Contributed to:

2009

2008

2008

2008

2007

2005

2005

2004

2003

2002

Wrote 10 papers:

QoSA-2009-WaignierMD #component #debugging #design #framework #modelling

A Model-Based Framework to Design and Debug Safe Component-Based Autonomic Systems (GW, AFLM, LD), pp. 1–17.

FASE-2008-MohaGMD #algorithm #analysis #design #detection #fault

A Domain Analysis to Specify Design Defects and Generate Detection Algorithms (NM, YGG, AFLM, LD), pp. 276–291.

MoDELS-2008-WaignierSMD #component #framework #interactive #modelling

A Model-Based Framework for Statically and Dynamically Checking Component Interactions (GW, PS, AFLM, LD), pp. 371–385.

QoSA-2008-WaignierMD #analysis #architecture #specification

Architectural Specification and Static Analyses of Contractual Application Properties (GW, AFLM, LD), pp. 152–170.

ECSA-2007-WaignierMD #architecture #framework #named

FIESTA: A Generic Framework for Integrating New Functionalities into Software Architectures (GW, AFLM, LD), pp. 76–91.

GPCE-2005-LawallDMM #composition #domain-specific language

Bossa Nova: Introducing Modularity into the Bossa Domain-Specific Language (JLL, HD, GM, AFLM), pp. 78–93.

WICSA-2005-BaraisLMD #architecture

Providing Support for Safe Software Architecture Transformations (OB, JLL, AFLM, LD), pp. 201–202.

GPCE-2004-LawallMM #component #design #domain-specific language #independence #on the

On Designing a Target-Independent DSL for Safe OS Process-Scheduling Components (JLL, AFLM, GM), pp. 436–455.

ASE-2003-AbergLSMM #aspect-oriented #automation #evolution #kernel #logic #on the #using

On the automatic evolution of an OS kernel using temporal logic and AOP (RAÅ, JLL, MS, GM, AFLM), pp. 196–204.

PEPM-2002-MeurLC #partial evaluation #programming language #towards

Towards bridging the gap between programming languages and partial evaluation (AFLM, JLL, CC), pp. 9–18.