Semantic-Based Visualization for Parallel Object-Oriented Programming. - Isabelle Attali; Denis Caromel; Sidi O. Ehmety; Sylvain Lippi (OOPSLA, 1996)

A Natural Semantics for Eiffel Dynamic Binding. - Isabelle Attali; Denis Caromel; Sidi O. Ehmety (ACM Trans. Program. Lang. Syst., 1996)

Program Composition in Isabelle/UNITY. - Sidi O. Ehmety; Lawrence C. Paulson (IPDPS, 2002)

Mechanizing compositional reasoning for concurrent systems: some lessons. - Sidi O. Ehmety; Lawrence C. Paulson (Formal Aspects Comput., 2005)