A theory of timed automata, Theoretical Computer Science (TCS'94), pp.183-235, 1994. ,
Modèles de temps et leur intérét à la vérification formelle des systèmes temps-réel, 2010. ,
Contribution à la modélisation des systèmes à temps constraint et application au multimedia, 1997. ,
From DATA to Timed Automata, 2012. ,
Maximality preservation and the st-idea for action refinement Advances in Petri Nets, pp.108-151, 1992. ,
Time Stream Petri Nets a model for timed multimedia information, 1994. ,
DOI : 10.1007/3-540-58152-9_13
Temporal and Modal Logic, pp.995-1072, 1990. ,
DOI : 10.1016/B978-0-444-88074-1.50021-4
Verification of Durational Action Timed Automata using UPPAAL, International Journal of Computer Applications, vol.56, issue.11, 2012. ,
DOI : 10.5120/8938-3077
A Graph Transformation Approach for Testing Timed Systems, The 18th International Conference on Information and Software Technologies, pp.123-137, 2012. ,
DOI : 10.1007/978-3-642-33308-8_11
Authoring and presentation environment for interactive multimedia documents, Proc. of the 4th Conf. on Multimedia Modelling, 1997. ,
Réseaux de Petri Ptemporels : Contribution à l'Etude des Systèmes à Evénements Discrets, 1997. ,
P-time petri nets for manufacturing systems. International Workshop on Discrete Event Systems, WODES'96, pp.94-102, 1996. ,
Durational Actions Timed Automata: Determinization and Expressiveness, International Journal of Applied Information Systems, vol.4, issue.2, pp.2249-0868, 2012. ,
DOI : 10.5120/ijais12-450609
A study of the recoverability of computing systems, 1974. ,
Analysis of Asynchronous Concurrent Systems by Timed Petri Nets, 1974. ,
Application au raffinement d'actions en LOTOS ,
Actions duration in timed models, Proceedings of International Arab Conference on Information Technology (ACIT'2006), 2006. ,
Aggregation of transitions in marking graph generation based on maximality semantics for petri nets, proceding of the Second International Workchop on Verification and Evaluation of Computer and Communication systems(VeCoS'2008), pp.1477-9358, 2008. ,
Using maximality-based labelled transition system as a model for petri nets. The International Arab Journal of Information Technology, pp.440-446, 2009. ,
Prise en compte des durées d'action dans les algèbres de processus par l'utilisation de la sémantique de maximalité, Proceedings of CFIP2003, 2003. ,