Chaima Boufaied

Orcid: 0000-0003-3448-4675

According to our database1, Chaima Boufaied authored at least 10 papers between 2015 and 2025.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2025
A comprehensive study of machine learning techniques for log-based anomaly detection.
Empir. Softw. Eng., October, 2025

2023
Trace Diagnostics for Signal-Based Temporal Properties.
IEEE Trans. Software Eng., 2023

An Empirical Study on Log-based Anomaly Detection Using Machine Learning.
CoRR, 2023

2021
Specification and Model-driven Trace Checking of Complex Temporal Properties.
PhD thesis, 2021

Signal-Based Properties of Cyber-Physical Systems: Taxonomy and Logic-based Characterization.
J. Syst. Softw., 2021

2020
Trace-Checking Signal-based Temporal Properties: A Model-Driven Approach.
Proceedings of the 35th IEEE/ACM International Conference on Automated Software Engineering, 2020

2019
A Model-driven Approach to Trace Checking of Temporal Properties with Aggregations.
J. Object Technol., 2019

Signal-Based Properties: Taxonomy and Logic-based Characterization.
CoRR, 2019

2016
A construction of rotations-based rosters with a Genetic Algorithm.
Proceedings of the IEEE Congress on Evolutionary Computation, 2016

2015
A decision support system for the AirCrew Rostering Problem case of TunisAir.
Proceedings of 10th IEEE International Conference on Service Operations and Logistics, 2015


  Loading...