Defining Levels of Correctness for Parallel Programs with Temporal Logic of Actions. - Lotfi Majdoub; Yahya Slimani (RelMiCS, 1997)

A Temporal Model for Fault-Tolerant Parallel Programs. - Yahya Slimani; Lotfi Majdoub (FTDCS, 1997)

Test Purpose of Duration Systems. - Lotfi Majdoub; Riadh Robbana (MSVVEIS, 2006)

Testing Duration Systems using an approximation method. - Lotfi Majdoub; Riadh Robbana (DepCoS-RELCOMEX, 2007)

A Simplified Approach for Testing Real-Time Systems Based on Action Refinement. - Saddek Bensalem; Moez Krichen; Lotfi Majdoub; Riadh Robbana; Stavros Tripakis (ISoLA, 2007)

Test Cases Generation for Nondeterministic Duration Systems. - Lotfi Majdoub; Riadh Robbana (MSVVEIS, 2009)