Riadh Matmat

Publication Activity (10 Years)

Years Active: 2011-2016
Publications (10 Years): 1

Top Topics

Efficient Implementation

Top Venues

Int. J. Embed. Real Time Commun. Syst.

Publications

Riadh Matmat, Ilham Kitouni, Djamel-Eddine Saïdouni
Towards an Optimal Generation of Zones Graph Relating Timed Bisimulation Relation and Distribution. Int. J. Distributed Syst. Technol. 7 (3) (2016)
Souad Guellati, Ilham Kitouni, Riadh Matmat, Djamel-Eddine Saïdouni
Timed Automata with Action Durations - From Theory to Implementation. ICIST (2014)
Souad Guellati, Ilham Kitouni, Riadh Matmat, Djamel-Eddine Saïdouni
Forward Analysis of Timed Automata with Action Durations: Theory and Implementation. CyberC (2014)
Riadh Matmat, Ilham Kitouni, Souad Guellati, Djamel-Eddine Saïdouni
Maximality-based Region Graph: A Novel Alternative. ICAASE (2014)
Souad Guellati, Ilham Kitouni, Riadh Matmat, Djamel-Eddine Saïdouni
True Concurrency Semantics: Towards a Verification of Timed Systems. Int. J. Embed. Real Time Commun. Syst. 5 (2) (2014)
Djamel-Eddine Saïdouni, Riadh Matmat, Nacer Tabib
A Distributed Algorithm for MLTS Generation with Aggregation of Transitions. CIIA (2011)