Specifying and Verifying Aspect-Oriented Systems in Rewriting Logic. - Amina Boudjedir; Toufik Benouhiba; Djamel Meslati (ICAASE, 2014)

On using pre and postconditions to tackle the aspect scheduling problem by rewriting systems: a design-level approach. - Toufik Benouhiba; Amina Boudjedir (J. Object Technol., 2014)