Lotfi Majdoub

According to our database, Lotfi Majdoub authored at least 6 papers between 1997 and 2009.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2009

Test Cases Generation for Nondeterministic Duration Systems.

Lotfi Majdoub, Riadh Robbana

Proceedings of the Modelling, 2009

2007

A Simplified Approach for Testing Real-Time Systems Based on Action Refinement.

Saddek Bensalem, Moez Krichen, Lotfi Majdoub, Riadh Robbana, Stavros Tripakis

Proceedings of the ISoLA 2007, 2007

Testing Duration Systems using an approximation method.

Lotfi Majdoub, Riadh Robbana

Proceedings of the 2007 International Conference on Dependability of Computer Systems (DepCoS-RELCOMEX 2007), 2007

2006

Test Purpose of Duration Systems.

Lotfi Majdoub, Riadh Robbana

Proceedings of the Modelling, 2006

1997

A Temporal Model for Fault-Tolerant Parallel Programs.

Yahya Slimani, Lotfi Majdoub

Proceedings of the 6th IEEE Workshop on Future Trends of Distributed Computer Systems (FTDCS '97), 1997

Defining Levels of Correctness for Parallel Programs with Temporal Logic of Actions.

Lotfi Majdoub, Yahya Slimani

Proceedings of the Participants Copies of Third International Seminar on the Use of Relational Methods in Computer Science, 1997