Publications
Résultat de la recherche :
Auteur = Matmat Riad
2016
|
Riadh Matmat; Ilham Kitouni; Djamel Eddine Saidouni
Towards an Optimal Generation of Zones Graph Relating Timed Bisimulation Relation and Distribution. Int. J. of Distributed Systems and Technologies (IJDST) 7(3): 21-41 (2016) |
2014
|
Souad Guellati; Ilham Kitouni; Riadh Matmat; Djamel Eddine Saidouni
True Concurrency Semantics: Towards a Verification of Timed Systems. Int. J. of Embedded and Real-Time Communication Systems (IJERTCS) 5(2): 22-42 (2014) |
|
|
Souad Guellati; Ilham Kitouni; Riadh Matmat; Djamel Eddine Saidouni
Forward Analysis of Timed Automata with Action Durations: Theory and Implementation. 6th Int. Conf. on Cyber-Enabled Distributed Computing and Knowledge Discovery (CyberC'14): 269-276 (2014) |
|
|
Riadh Matmat; Ilham Kitouni; Souad Guellati; Djamel Eddine Saidouni
Maximality-based Region Graph: A Novel Alternative. 1st Int. Conf. on Advanced Aspects of Software Engineering (ICAASE'14): 125-132 (2014) |
|
|
Souad Guellati; Ilham Kitouni; Riadh Matmat; Djamel Eddine Saidouni
Timed Automata with Action Durations: From Theory to Implementation. 20th Int. Conf. Information and Software Technologies (ICIST'14): 94-109 (2014) |
2011
|
Djamel Eddine Saidouni; Riadh Matmat; Nacer Tabib
A Distributed Algorithm for MLTS Generation with Aggregation of Transitions. 3th Int. Conf. on Computer Science and its Applications (CIIA'11) (2011) |