activity
20192026
most citedSignal-Based Properties of Cyber-Physical Systems: Taxonomy and Logic-based Characterization

16 citations · 40 across the 6 of their papers we have counts for

collaborators
Showing cs.SEShow all

5 papers · 1 filter

cs.SE2025

A Gray Literature Study on Fairness Requirements in AI-enabled Software Engineering

Thanh Nguyen, Chaima Boufaied, Ronnie de Souza Santos

Today, with the growing obsession with applying Artificial Intelligence (AI), particularly Machine Learning (ML), to software across various contexts, much of the focus has been on…

cs.SE2025

Practitioner Insights on Fairness Requirements in the AI Development Life Cycle: An Interview Study

Chaima Boufaied, Thanh Nguyen, Ronnie de Souza Santos

Nowadays, Artificial Intelligence (AI), particularly Machine Learning (ML) and Large Language Models (LLMs), is widely applied across various contexts. However, the corresponding m…

cs.SE2025

Security Debt in Practice: Nuanced Insights from Practitioners

Chaima Boufaied, Taher Ghaleb, Zainab Masood

With the increasing reliance on software and automation nowadays, tight deadlines, limited resources, and prioritization of functionality over security can lead to insecure coding…

cs.SE2023★ 15 cited

A Comprehensive Study of Machine Learning Techniques for Log-Based Anomaly Detection

Shan Ali, Chaima Boufaied, Domenico Bianculli +2

Growth in system complexity increases the need for automated log analysis techniques, such as Log-based Anomaly Detection (LAD). While deep learning (DL) methods have been widely u…

cs.SE2022★ 9 cited

Trace Diagnostics for Signal-based Temporal Properties

Chaima Boufaied, Claudio Menghi, Domenico Bianculli +1

Most of the trace-checking tools only yield a Boolean verdict. However, when a property is violated by a trace, engineers usually inspect the trace to understand the cause of the v…