| Timed automata with action durations–from theory to implementation S Guellati, I Kitouni, R Matmat, DE Saidouni Information and Software Technologies: 20th International Conference, ICIST …, 2014 | 10 | 2014 |
| Verification of durational action timed automata using uppaal S Guellati, I Kitouni, D Saidouni International Journal of Computer Applications 56 (11), 2012 | 9 | 2012 |
| Maximality-based Region Graph: a Novel Alternative RMIKS GUELLATI, DE SAIDOUNI | 5* | 2014 |
| Prise en compte des durées d'actions dans la vérification des automates temporisés DE Saidouni, A Boumaza, S Guellati 1st International Conference on Information Systems and Technologies (ICIST …, 2011 | 5 | 2011 |
| True Concurrency Semantics: Towards a Verification of Timed Systems S Guellati, I Kitouni, R Matmat, DE Saidouni International Journal of Embedded and Real-Time Communication Systems …, 2014 | 2 | 2014 |
| Forward Analysis of Timed Automata with Action Durations: Theory and Implementation SGIKR MATMAT, DE SAIDOUNI | 1* | 2014 |
| Logic Verification of Real Time Systems in the Context of the Maximality Semantics S Guellati | | 2018 |
| Vérification Formelle des Systèmes Temps-Réel Exprimant la non Atomicité Temporelle S Guellati, A Boumaza, A Segueni, K Sedrati, DE Saidouni The Second International Conference on Complex Systems (CISC'11), Jijel, Algeria, 2011 | | 2011 |
