Riad MATMAT
...
Maître de conférences
Univ. Constantine 2
Equipe : CFSC

Détails
5 dernières publications
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)
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)
Thèse de doctorat
Riad Matmat
Approche par bissimulation de maximalité temporelle pour la vérification des systèmes temps réel. Université Constantine 2, Algérie (2020)