Time properties verification of UML/MARTE real-time systems. - Aymen Louati; Kamel Barkaoui; Chadlia Jerad (IRI, 2014)

Formalization and Verification of Hierarchical Use of Interaction Overview Diagrams Using Timing Diagrams. - Aymen Louati; Chadlia Jerad; Kamel Barkaoui (CoRR, 2014)

Contribution à la formalisation et à la vérification des diagrammes dynamiques UML2 à base des réseaux de Petri. (Contribution of Formalization and Verification of UML2 Dynamic Diagrams Based on Petri Nets). - Aymen Louati (2015)

Temporal Properties Verification of Real-Time Systems Using UML/MARTE/OCL-RT. - Aymen Louati; Kamel Barkaoui; Chadlia Jerad (Formalisms for Reuse and Systems Integration, 2015)

Formal Verification of UML2 Timing Diagrams based on Time Petri Nets. - Aymen Louati; Kamel Barkaoui (Int. J. Inf. Syst. Serv. Sect., 2016)

A Novel Density-Based Clustering Approach for Outlier Detection in High-Dimensional Data. - Thouraya Aouled Messaoud; Abir Smiti; Aymen Louati (HAIS, 2019)

AF-DBSCAN: An unsupervised Automatic Fuzzy Clustering method based on DBSCAN approach. - Sihem Jebari; Abir Smiti; Aymen Louati (IWOBI, 2019)

Performance measurement of reading teaching-learning Business Processes: case of whole-word and syllabic reading methods in primary schools. - Amel Sahli; Asma Mejri 002; Aymen Louati (CENTERIS/ProjMAN/HCist, 2023)