Une expression de la synchronisatin et de l'oronnancement des processus concurrents par variables partagées. - H. Bahsoun; Claude Bétourné; Louis Féraud (Symposium on Programming, 1984)

A "Two Degrees of Freedom" Approach for Parallel Programming. - Jean Paul Bahsoun; Louis Féraud; Claude Bétourné (ICCL, 1990)

A Model to Design Reusable Parallel Software Components. - Jean Paul Bahsoun; Louis Féraud (PARLE, 1992)

Designing and Implementing Synchronization: an Object Oriented Approach. - Jean Paul Bahsoun; Louis Féraud; Jean-Christophe Sakdavong (TOOLS (10), 1993)

How could object-oriented concepts and parallelism cohabit? - Jean Paul Bahsoun; Jean-Pierre Briot; Denis Caromel; Louis Féraud; Oscar Nierstrasz; Peter Wegner (ICCL, 1994)

Using the abstract interpretation technique for static pointer analysis. - Hugues Cassé; Louis Féraud; Christine Rochange; Pascal Sainrat (SIGARCH Comput. Archit. News, 1999)

Une approche pour réduire la complexité du flot de contrôle dans les programmes C. - Hugues Cassé; Louis Féraud; Christine Rochange; Pascal Sainrat (Tech. Sci. Informatiques, 2002)

An Approach of Model Transformation Based on Attribute Grammars. - May Dehayni; Louis Féraud (OOIS, 2003)

Formal Verification of Dynamic UML Diagrams using TLA+. - M. Couzinier; Louis Féraud (Automation, Control, and Information Technology, 2005)

A Unified Categorical Approach for Attributed Graph Rewriting. - Maxime Rebout; Louis Féraud; Sergei Soloviev 001 (CSR, 2008)

Towards Interoperability in Component Based Development with a Family of DSLs. - Ileana Ober; Ali Abou Dib; Louis Féraud; Christian Percebois (ECSA, 2008)

Computations in Graph Rewriting: Inductive Types and Pullbacks in DPO Approach. - Maxime Rebout; Louis Féraud; Lionel Marie-Magdeleine; Sergei Soloviev 001 (CEE-SET, 2009)

Attribute Computations in the DPoPb Graph Transformation Engine. - Hanh Nhi Tran; Christian Percebois; Ali Abou Dib; Louis Féraud; Sergei Soloviev 001 (Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2010)

Dealing with variability within a family of domain-specific languages: comparative analysis of different techniques. - Ileana Ober; Louis Féraud; Christian Percebois (Innov. Syst. Softw. Eng., 2010)

Une approche formelle de l'interopérabilité en modélisation orientée métier. - Ali Abou Dib; Louis Féraud; Ileana Ober; Christian Percebois (Tech. Sci. Informatiques, 2010)

Typed lambda-terms in categorical attributed graph transformation - Bertrand Boisvert; Louis Féraud; Sergei Soloviev 001 (AMMSE, 2011)

Incorporating Proofs in a Categorical Attributed Graph Transformation System for Software Modelling and Verification. - Bertrand Boisvert; Louis Féraud; Sergei Soloviev 001 (MODELSWARD, 2013)