Chaima Boufaied

According to our database, Chaima Boufaied authored at least 9 papers between 2015 and 2023.

Collaborative distances:

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

2023

Trace Diagnostics for Signal-Based Temporal Properties.

Chaima Boufaied, Claudio Menghi, Domenico Bianculli, Lionel C. Briand

IEEE Trans. Software Eng., 2023

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

Shan Ali, Chaima Boufaied, Domenico Bianculli, Paula Branco, Lionel C. Briand, Nathan Aschbacher

CoRR, 2023

2021

Specification and Model-driven Trace Checking of Complex Temporal Properties.

Chaima Boufaied

PhD thesis, 2021

Signal-Based Properties of Cyber-Physical Systems: Taxonomy and Logic-based Characterization.

Chaima Boufaied, Maris Jukss, Domenico Bianculli, Lionel Claude Briand, Yago Isasi Parache

J. Syst. Softw., 2021

2020

Trace-Checking Signal-based Temporal Properties: A Model-Driven Approach.

Chaima Boufaied, Claudio Menghi, Domenico Bianculli, Lionel C. Briand, Yago Isasi Parache

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.

Chaima Boufaied, Domenico Bianculli, Lionel C. Briand

J. Object Technol., 2019

Signal-Based Properties: Taxonomy and Logic-based Characterization.

Chaima Boufaied, Maris Jukss, Domenico Bianculli, Lionel Claude Briand, Yago Isasi Parache

CoRR, 2019

2016

A construction of rotations-based rosters with a Genetic Algorithm.

Chaima Boufaied, Raja Trabelsi, Hela Masri, Saoussen Krichen

Proceedings of the IEEE Congress on Evolutionary Computation, 2016

2015

A decision support system for the AirCrew Rostering Problem case of TunisAir.

Chaima Boufaied, Saoussen Krichen, Nadia Dahmani

Proceedings of 10th IEEE International Conference on Service Operations and Logistics, 2015