Software validation. - Bernard Carré (Microprocess. Microsystems, 1980)

Information-Flow and Data-Flow Analysis of while-Programs. - Jean-Francois Bergeretti; Bernard Carré (ACM Trans. Program. Lang. Syst., 1985)

The Point of View Notion for Multiple Inheritance. - Bernard Carré; Jean-Marc Geib (OOPSLA/ECOOP, 1990)

SPARK - an annotated Ada subset for safety-critical programming. - Bernard Carré; Johnathan Randall Garnsworthy (TRI-Ada, 1990)

Ada: the cheapest way to build a line of business. - James Sutton; Bernard Carré (TRI-Ada, 1995)

Un cadre de conception par contextes fonctionnels de systèmes d'information à objets. - Laurent Debrauwer; Gilles Vanwormhoudt; Bernard Carré (INFORSID, 1997)

Programmation par objets et contextes fonctionnels. Application de Crome à Smalltalk. - Gilles Vanwormhoudt; Bernard Carré; Laurent Debrauwer (LMO, 1997)

Achieving high integrity at low cost: a constructive approach. - James Sutton; Bernard Carré (Microprocess. Microsystems, 1997)

Contextualization of OODB Schemas in CROME. - Olivier Caron; Bernard Carré; Laurent Debrauwer (DEXA, 2000)

CromeJava : une implémentation du modèle CROME de conception par contextes fonctionnels pour les bases de données à objets en Java. - Olivier Caron; Bernard Carré; Laurent Debrauwer (LMO, 2000)

An Original View Mechanism for the CORBA Middleware. - Olivier Caron; Bernard Carré; Laurent Debrauwer (TOOLS (33), 2000)

A Framework for Supporting Views in Component Oriented Information Systems. - Olivier Caron; Bernard Carré; Alexis Muller; Gilles Vanwormhoudt (OOIS, 2003)

Réutilisation d'aspects fonctionnels : des vues aux composants. - Alexis Muller; Olivier Caron; Bernard Carré; Gilles Vanwormhoudt (Obj. Logiciel Base données Réseaux, 2003)

An OCL Formulation of UML2 Template Binding. - Olivier Caron; Bernard Carré; Alexis Muller; Gilles Vanwormhoudt (UML, 2004)

Objets et représentation, un couple en devenir. - Amedeo Napoli; Bernard Carré; Roland Ducournau; Jérôme Euzenat; François Rechenmann (Obj. Logiciel Base données Réseaux, 2004)

On Some Properties of Parameterized Model Application. - Alexis Muller; Olivier Caron; Bernard Carré; Gilles Vanwormhoudt (ECMDA-FA, 2005)

Mise en oeuvre d'aspects fonctionnels réutilisables par adaptation. - Olivier Caron; Bernard Carré; Alexis Muller; Gilles Vanwormhoudt (Obj. Logiciel Base données Réseaux, 2005)

Ingénierie multi-modèles : Projection flexible d'assemblages de modèles. - Alexis Muller; Olivier Caron; Bernard Carré; Gilles Vanwormhoudt; Salim Bouzitouna (LMO, 2007)

Programmation par objets structurée en contextes. - Olivier Caron; Bernard Carré; Alexis Muller (Obj. Logiciel Base données Réseaux, 2007)

A Coding Framework for Functional Adaptation of Coarse-Grained Components in Extensible EJB Servers. - Olivier Caron; Bernard Carré; Alexis Muller; Gilles Vanwormhoudt (TOOLS (47), 2009)

From subsets of model elements to submodels - A characterization of submodels and their properties. - Bernard Carré; Gilles Vanwormhoudt; Olivier Caron (Softw. Syst. Model., 2015)

Isolating and Reusing Template Instances in UML. - Matthieu Allon; Gilles Vanwormhoudt; Bernard Carré; Olivier Caron (ECMFA, 2016)

Aspectual templates in UML - Enhancing the semantics of UML templates in OCL. - Gilles Vanwormhoudt; Olivier Caron; Bernard Carré (Softw. Syst. Model., 2017)

On submodels and submetamodels with their relation - A uniform formalization through inclusion properties. - Bernard Carré; Gilles Vanwormhoudt; Olivier Caron (Softw. Syst. Model., 2018)

Template based model engineering in UML. - Gilles Vanwormhoudt; Matthieu Allon; Olivier Caron; Bernard Carré (MoDELS, 2020)

Model projection relative to submetamodeling dimensions. - Bernard Carré; Gilles Vanwormhoudt; Olivier Caron (Softw. Syst. Model., 2024)