Chaima Boufaied

Publication Activity (10 Years)

Years Active: 2015-2023
Publications (10 Years): 9

Top Topics

Knowledge Elicitation

Possibility Theory

Temporal Properties

Top Venues

J. Syst. Softw.

J. Object Technol.

Publications

Shan Ali, Chaima Boufaied, Domenico Bianculli, Paula Branco, Lionel C. Briand, Nathan Aschbacher
An Empirical Study on Log-based Anomaly Detection Using Machine Learning. CoRR (2023)
Chaima Boufaied, Claudio Menghi, Domenico Bianculli, Lionel C. Briand
Trace Diagnostics for Signal-Based Temporal Properties. IEEE Trans. Software Eng. 49 (5) (2023)
Chaima Boufaied, Claudio Menghi, Domenico Bianculli, Lionel C. Briand
Trace Diagnostics for Signal-based Temporal Properties. CoRR (2022)
Chaima Boufaied, Maris Jukss, Domenico Bianculli, Lionel Claude Briand, Yago Isasi Parache
Signal-Based Properties of Cyber-Physical Systems: Taxonomy and Logic-based Characterization. J. Syst. Softw. 174 (2021)
Chaima Boufaied, Claudio Menghi, Domenico Bianculli, Lionel C. Briand, Yago Isasi Parache
Trace-Checking Signal-based Temporal Properties: A Model-Driven Approach. ASE (2020)
Chaima Boufaied, Domenico Bianculli, Lionel C. Briand
A Model-driven Approach to Trace Checking of Temporal Properties with Aggregations. J. Object Technol. 18 (2) (2019)
Chaima Boufaied, Maris Jukss, Domenico Bianculli, Lionel Claude Briand, Yago Isasi Parache
Signal-Based Properties: Taxonomy and Logic-based Characterization. CoRR (2019)
Chaima Boufaied, Raja Trabelsi, Hela Masri, Saoussen Krichen
A construction of rotations-based rosters with a Genetic Algorithm. CEC (2016)
Chaima Boufaied, Saoussen Krichen, Nadia Dahmani
A decision support system for the AirCrew Rostering Problem case of TunisAir. SOLI (2015)