Riadh Matmat

According to our database, Riadh Matmat authored at least 4 papers between 2011 and 2014.

Collaborative distances:

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

2014

Timed Automata with Action Durations - From Theory to Implementation.

Souad Guellati, Ilham Kitouni, Riadh Matmat, Djamel-Eddine Saïdouni

Proceedings of the Information and Software Technologies - 20th International Conference, 2014

Maximality-based Region Graph: A Novel Alternative.

Riadh Matmat, Ilham Kitouni, Souad Guellati, Djamel-Eddine Saïdouni

Proceedings of the 1st International Conference on Advanced Aspects of Software Engineering, 2014

Forward Analysis of Timed Automata with Action Durations: Theory and Implementation.

Souad Guellati, Ilham Kitouni, Riadh Matmat, Djamel-Eddine Saïdouni

Proceedings of the 2014 International Conference on Cyber-Enabled Distributed Computing and Knowledge Discovery, 2014

2011

A Distributed Algorithm for MLTS Generation with Aggregation of Transitions.

Djamel-Eddine Saïdouni, Riadh Matmat, Nacer Tabib

Proceedings of the Third International Conference on Computer Science and its Applications (CIIA'11), 2011