Lotfi Majdoub

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

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2009
Test Cases Generation for Nondeterministic Duration Systems.
Proceedings of the Modelling, 2009

2007
A Simplified Approach for Testing Real-Time Systems Based on Action Refinement.
Proceedings of the ISoLA 2007, 2007

Testing Duration Systems using an approximation method.
Proceedings of the 2007 International Conference on Dependability of Computer Systems (DepCoS-RELCOMEX 2007), 2007

2006
Test Purpose of Duration Systems.
Proceedings of the Modelling, 2006

1997
A Temporal Model for Fault-Tolerant Parallel Programs.
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.
Proceedings of the Participants Copies of Third International Seminar on the Use of Relational Methods in Computer Science, 1997


  Loading...