Souad Guellati

Publication Activity (10 Years)

Years Active: 2014-2014
Publications (10 Years): 0

Top Topics

Top Venues

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

Publications

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)