The .NET Contract Wizard: Adding Design by Contract to Languages Other than Eiffel. - Karine Arnout; Raphael Simon (TOOLS (39), 2001)

Finding Implicit Contracts in .NET Components. - Karine Arnout; Bertrand Meyer 001 (FMCO, 2002)

Extracting implicit contracts from .NET libraries. - Karine Arnout (OOPSLA Companion, 2002)

Event Library: An Object-Oriented Library for Event-Driven Design. - Volkan Arslan; Piotr Nienaltowski; Karine Arnout (JMLC, 2003)

Contrats cachés en .NET. Mise au jour et ajout de contrats a posteriori. - Karine Arnout; Bertrand Meyer 001 (Obj. Logiciel Base données Réseaux, 2003)

Uncovering Hidden Contracts: The .NET Example. - Karine Arnout; Bertrand Meyer 001 (Computer, 2003)

How to get a Singleton in Eiffel. - Karine Arnout; Eric Bezault (J. Object Technol., 2004)

From patterns to components. - Karine Arnout (2004)

Componentization: The Visitor Example. - Bertrand Meyer 001; Karine Arnout (Computer, 2006)

Pattern Componentization: The Factory Example. - Karine Arnout; Bertrand Meyer 001 (Innov. Syst. Softw. Eng., 2006)