An Augmented Pattern Matcher as a Tool to Synthesize Conceptual Descriptions of Programs. - Francoise Balmas (KBSE, 1994)

Classifying Programs: a Key For program Understanding. - Francoise Balmas (SEKE, 1995)

ACL: a Tool for Conceptual Programming. - Francoise Balmas (SEKE, 1996)

PRISME: Formalizing Programming Strategies as a Way to Understand Programs. - Francoise Balmas (SEKE, 1996)

Toward a Framework for Conceptual and Formal Outlines of Programs. - Francoise Balmas (WCRE, 1997)

Outlining C Loops: Preliminary Results and Trends. - Francoise Balmas (WCRE, 1998)

QBO: A Query Tool Specially Developed to Explore Programs. - Francoise Balmas (WCRE, 1999)

Query by outlines: a new paradigm to help manage programs. - Françoise Balmas (ACM SIGSOFT Softw. Eng. Notes, 1999)

Understanding Program Understanding. - Francoise Balmas; Harald Wertz; Janice Singer (IWPC, 2000)

Using Dependence Graphs as a Support to Document Programs. - Francoise Balmas (SCAM, 2002)

DDFgraph: A Tool for Dynamic Data Flow Graphs Visualization. - Francoise Balmas (ICSM, 2004)

Displaying dependence graphs: a hierarchical approach. - Francoise Balmas (J. Softw. Maintenance Res. Pract., 2004)

Introduction to the special issue on software analysis, evolution and reengineering. - Francoise Balmas; Kostas Kontogiannis (Sci. Comput. Program., 2006)

SQUALE - Software QUALity Enhancement. - Alexandre Bergel; Simon Denier; Stéphane Ducasse; Jannik Laval; Fabrice Bellingard; Philippe Vaillergues; Francoise Balmas; Karine Mordal-Manet (CSMR, 2009)

The squale model - A practice-based industrial quality model. - Karine Mordal-Manet; Francoise Balmas; Simon Denier; Stéphane Ducasse; Harald Wertz; Jannik Laval; Fabrice Bellingard; Philippe Vaillergues (ICSM, 2009)

An Empirical Model for Continuous and Weighted Metric Aggregation. - Karine Mordal-Manet; Jannik Laval; Stéphane Ducasse; Nicolas Anquetil; Francoise Balmas; Fabrice Bellingard; Laurent Bouhier; Philippe Vaillergues; Thomas J. McCabe (CSMR, 2011)