Souad Guellati

According to our database, Souad Guellati authored at least 4 papers in 2014.

Collaborative distances:

• Dijkstra number of six.
• Erdős number of five.

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

Timed Automata with Action Durations - From Theory to Implementation.

Souad Guellati, Ilham Kitouni, Riadh Matmat, Djamel-Eddine Saïdouni

Proceedings of the Information and Software Technologies - 20th International Conference, 2014

Maximality-based Region Graph: A Novel Alternative.

Riadh Matmat, Ilham Kitouni, Souad Guellati, Djamel-Eddine Saïdouni

Proceedings of the 1st International Conference on Advanced Aspects of Software Engineering, 2014

Forward Analysis of Timed Automata with Action Durations: Theory and Implementation.

Souad Guellati, Ilham Kitouni, Riadh Matmat, Djamel-Eddine Saïdouni

Proceedings of the 2014 International Conference on Cyber-Enabled Distributed Computing and Knowledge Discovery, 2014