Forward Analysis of Timed Automata with Action Durations: Theory and Implementation. - Souad Guellati; Ilham Kitouni; Riadh Matmat; Djamel-Eddine Saïdouni (CyberC, 2014)

Maximality-based Region Graph: A Novel Alternative. - Riadh Matmat; Ilham Kitouni; Souad Guellati; Djamel-Eddine Saïdouni (ICAASE, 2014)

Timed Automata with Action Durations - From Theory to Implementation. - Souad Guellati; Ilham Kitouni; Riadh Matmat; Djamel-Eddine Saïdouni (ICIST, 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)