| |
| 2005 | ||
|---|---|---|
| 4 | EE | Sidi O. Ehmety, Lawrence C. Paulson: Mechanizing compositional reasoning for concurrent systems: some lessons. Formal Asp. Comput. 17(1): 58-68 (2005) |
| 2002 | ||
| 3 | EE | Sidi O. Ehmety, Lawrence C. Paulson: Program Composition in Isabelle/UNITY. IPDPS 2002 |
| 1996 | ||
| 2 | Isabelle Attali, Denis Caromel, Sidi O. Ehmety, Sylvain Lippi: Semantic-Based Visualization for Parallel Object-Oriented Programming. OOPSLA 1996: 421-440, 453-456 | |
| 1 | EE | Isabelle Attali, Denis Caromel, Sidi O. Ehmety: A Natural Semantics for Eiffel Dynamic Binding. ACM Trans. Program. Lang. Syst. 18(6): 711-729 (1996) |
| 1 | Isabelle Attali | [1] [2] |
| 2 | Denis Caromel | [1] [2] |
| 3 | Sylvain Lippi | [2] |
| 4 | Lawrence C. Paulson | [3] [4] |