Riadh Matmat

According to our database, Riadh Matmat authored at least 6 papers between 2011 and 2016.

Collaborative distances:

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

2016

Towards an Optimal Generation of Zones Graph Relating Timed Bisimulation Relation and Distribution.

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

Int. J. Distributed Syst. Technol., 2016

2014

True Concurrency Semantics: Towards a Verification of Timed Systems.

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

Int. J. Embed. Real Time Commun. Syst., 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