Formal Derivation of Functional Architectural Design. - Ridha Khédri; Imen Bourguiba (SEFM, 2004)

Requirements Scenarios Based System-Testing. - Ridha Khédri; Imen Bourguiba (SEKE, 2004)

Tabular Expressions vs Software Cost Reduction. - Imen Bourguiba; Ryszard Janicki (Software Engineering Research and Practice, 2009)

Tabular Expressions Operators. - Imen Bourguiba; Belaid Moa (Fundam. Informaticae, 2012)

Improving the semantics of the Software Cost Reduction method. - Imen Bourguiba; Belaid Moa (J. Appl. Log., 2012)

Teaching professional practice and career development to graduate students. - Kin Fun Li; John Fagan; Imen Bourguiba (TALE, 2016)