Chaima Boufaied

14 papers A* 1B 1Journal 10Unranked 1
YearRankTypeTitle / Venue / Authors
2025 J jnl
A Gray Literature Study on Fairness Requirements in AI-enabled Software Engineering.
CoRR
Thanh Nguyen, Chaima Boufaied, Ronnie de Souza Santos
2025 J jnl
A comprehensive study of machine learning techniques for log-based anomaly detection.
Empir. Softw. Eng.
Shan Ali, Chaima Boufaied, Domenico Bianculli, Paula Branco, Lionel C. Briand
2025 J jnl
Practitioner Insights on Fairness Requirements in the AI Development Life Cycle: An Interview Study.
CoRR
Chaima Boufaied, Thanh Nguyen, Ronnie de Souza Santos
2025 J jnl
Security Debt in Practice: Nuanced Insights from Practitioners.
CoRR
Chaima Boufaied, Taher A. Ghaleb, Zainab Masood
2023 J jnl
An Empirical Study on Log-based Anomaly Detection Using Machine Learning.
CoRR
Shan Ali, Chaima Boufaied, Domenico Bianculli, Paula Branco, Lionel C. Briand, Nathan Aschbacher
2023 J jnl
Trace Diagnostics for Signal-Based Temporal Properties.
IEEE Trans. Software Eng.
Chaima Boufaied, Claudio Menghi, Domenico Bianculli, Lionel C. Briand
2022 J jnl
Trace Diagnostics for Signal-based Temporal Properties.
CoRR
Chaima Boufaied, Claudio Menghi, Domenico Bianculli, Lionel C. Briand
2021 J jnl
Signal-Based Properties of Cyber-Physical Systems: Taxonomy and Logic-based Characterization.
J. Syst. Softw.
Chaima Boufaied, Maris Jukss, Domenico Bianculli, Lionel Claude Briand, Yago Isasi Parache
2021 — —
Specification and Model-driven Trace Checking of Complex Temporal Properties.
Chaima Boufaied
2020 A* conf
Trace-Checking Signal-based Temporal Properties: A Model-Driven Approach.
ASE
Chaima Boufaied, Claudio Menghi, Domenico Bianculli, Lionel C. Briand, Yago Isasi Parache
2019 J jnl
A Model-driven Approach to Trace Checking of Temporal Properties with Aggregations.
J. Object Technol.
Chaima Boufaied, Domenico Bianculli, Lionel C. Briand
2019 J jnl
Signal-Based Properties: Taxonomy and Logic-based Characterization.
CoRR
Chaima Boufaied, Maris Jukss, Domenico Bianculli, Lionel Claude Briand, Yago Isasi Parache
2016 B conf
A construction of rotations-based rosters with a Genetic Algorithm.
CEC
Chaima Boufaied, Raja Trabelsi, Hela Masri, Saoussen Krichen
2015 — conf
A decision support system for the AirCrew Rostering Problem case of TunisAir.
SOLI
Chaima Boufaied, Saoussen Krichen, Nadia Dahmani