Aymen Louati

According to our database, Aymen Louati authored at least 7 papers between 2014 and 2019.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2019

AF-DBSCAN: An unsupervised Automatic Fuzzy Clustering method based on DBSCAN approach.

Sihem Jebari, Abir Smiti, Aymen Louati

Proceedings of the IEEE International Work Conference on Bioinspired Intelligence, 2019

A Novel Density-Based Clustering Approach for Outlier Detection in High-Dimensional Data.

Thouraya Aouled Messaoud, Abir Smiti, Aymen Louati

Proceedings of the Hybrid Artificial Intelligent Systems - 14th International Conference, 2019

2016

Formal Verification of UML2 Timing Diagrams based on Time Petri Nets.

Aymen Louati, Kamel Barkaoui

Int. J. Inf. Syst. Serv. Sect., 2016

2015

Temporal Properties Verification of Real-Time Systems Using UML/MARTE/OCL-RT.

Aymen Louati, Kamel Barkaoui, Chadlia Jerad

Proceedings of the Formalisms for Reuse and Systems Integration, 2015

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

PhD thesis, 2015

2014

Formalization and Verification of Hierarchical Use of Interaction Overview Diagrams Using Timing Diagrams.

Aymen Louati, Chadlia Jerad, Kamel Barkaoui

CoRR, 2014

Time properties verification of UML/MARTE real-time systems.

Aymen Louati, Kamel Barkaoui, Chadlia Jerad

Proceedings of the 15th IEEE International Conference on Information Reuse and Integration, 2014