|
 
|
Aymen Louati
|
Equipe SYS Mail : aymen.louati  cnam.fr
Tel : (33)15880 Fax : (33)15880 http://cedric.cnam.fr/~ |
Aymen's Tag-Cloud : |
Publications
2016
- [LB16] A. Louati, K. Barkaoui. "Formal Verification of UML2 Timing Diagrams based on Time Petri Nets", International Journal of Information Systems in the Service Sector (IJISSS), vol. 8(2), pp. 87-97, 2016
Revue Internationale avec comité de lecture
2015
- [LBJ15] A. Louati, K. Barkaoui, C. Jerad. "Temporal Properties Veri cation of Real-Time Systems Using UML/MARTE/OCL-RT; ", Advances in Intelligence Systems and Computing, Springer Verlag., vol. 346, pp. 133-147, 2015, (doi:2194-5357)
- [LBS15] A. Louati, K. Barkaoui, Z. Sbai. "Formal Verification of UML2 Timing Diagrams Based on Time Petri Nets", The 5th International Conference on Information Systems and Technologies (ICIST 2015), March 2015, pp.12-22, Istanbul, Turkey,
Revue Internationale avec comité de lecture
Conférence Internationale avec comité de lecture
2014
- [LBJ14] A. Louati, K. Barkaoui, C. Jerad. "Time properties Verification of UML/MARTE Real-Time Systems", Proceedings of the 15th {IEEE} International Conference on Information Reuse and Integration, {IRI} 2014, August 2014, pp.386-393, Redwood City CA, USA,
Conférence Internationale avec comité de lecture
2013
- [LJB13] A. Louati, C. Jerad, K. Barkaoui. "Formalization and Verification of Hierarchical Use of Interaction Overview Diagrams Using Timing Diagrams", International Journal of Soft Computing and Software Engineering [JSCSE], 2013, vol. 3(3), pp. 205-211, 2013, (doi:10.732)
- [LJBa13] A. Louati, C. Jerad, K. Barkaoui. "Formalization and Verification of Hierarchical Use of Interaction Overview Diagrams Using Timing Diagrams", The International Journal of Soft Computing and Software Engineering [JSCSE], Vol. 3, , Special Issue:, vol. 3(No. 3), pp. 205-211, 2013, (doi:10.7321/jscse.v3.n3.31 )
- [LJBb13] A. Louati, C. Jerad, K. Barkaoui. "On CPN-based Verification of Hierarchical Formalization of UML2 Interaction Overview Diagrams", 5th International Conference On Modeling, Simulation and Applied Optimization, (IEEE-ICMSAO 2013), April 2013, pp.1-6,
