Liste des 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

[LBJ15] A. Louati, K. Barkaoui, C. Jerad. "Temporal Properties Verication 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,

[SBB14] B. S, K. Barkaoui, F. Belala, H. Boucheneb. "Transactional Petri nets: a semantic framework for UML2 activities", International Journal of Critical Computer-Based Systems, vol. 5(No 3/4), pp. 241-267, 2014

[ABR14a] M. Abbas, C. Ben Yelles, R. Rioboo. "Generating FoCaLiZe Specifications from UML Models", International Conference on Advanced Aspects of Software Engineering, ICAASE, November 2014, Vol. 1294, pp.157--164, Series CEUR-WS,
[ABR14] M. Abbas, C. Ben Yelles, R. Rioboo. "Modeling UML Template Classes with FoCaLiZe", Integrated Formal Methods, September 2014, pp.87--102, Series LNCS,
[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,

[BBB13] S. Boufenara, K. Barkaoui, F. Belala, H. Boucheneb. "Transactional Petri Nets : A Semantic Framework for UML2 Activities", International Journal of Critical Computer-Based Systems (IJCCBS), pp. 1-6, 2013

[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,

[KLA12] L. Khelifa, N. Lammari, J. Akoka, T. Bouabana-Tebibel. "Building Contextualized Topic Maps", 19th IBIMA (International Business Information Management Association) Conference on Innovation Vision 2020. Barcelona, Spain 12-13 Nov. 2012 , November 2012, pp..,

[PCA11] N. Prat, I. Comyn-Wattiau, J. Akoka. "Combining objects with rules to represent aggregation knowledge in data warehouse and OLAP systems", Data & Knowledge Engineering, vol. 70(8), pp. 732â€“752, 2011, (doi:http://dx.doi.org/10.1016/j.datak.2011.03.004)

[AAB11] J. Akoka, T. Aubonnet, J. Bucumi, I. Comyn-Wattiau, A. Idani , M. Labiadh, N. Lammari, Y. Ledru, J. Richier. "A UML profile for security concepts", Date de dépot: 2011/02/18, Nb pages 1 -18, (Tech. Rep.: CEDRIC-11-2343)