Page d'accueil // SnT // People // Chaima Boufaied

Chaima Boufaied

Chaima Boufaied
Adresse postale Université du Luxembourg
2, Avenue de l'Université
L-4365 Esch-sur-Alzette

BOUFAIED Chaima received her Master degree in Modeling information system and decision making in 2015, from the Higher Institute of Management in Tunisia. She has a professional experience as a teaching fellow at Tunis Business School. Chaima joined the Software Verification and Validation group – V&V Lab headed by Prof. Lionel Briand, and she will work on data analytics under the supervision of Prof. Lionel Briand.

Last updated on: vendredi 17 février 2017

powered by


Full Text
See detailSignal-Based Properties of Cyber-Physical Systems: Taxonomy and Logic-based Characterization
Boufaied, Chaima; Jukss, Maris; Bianculli, Domenico; Briand, Lionel; Yago, Isasi Parache

in Journal of Systems and Software (2021), 174

Top of Page


Full Text
See detailTrace-Checking Signal-based Temporal Properties: A Model-Driven Approach
Boufaied, Chaima; Menghi, Claudio; Bianculli, Domenico; Briand, Lionel; Isasi Parache, Yago

in Proceedings of the 35th IEEE/ACM International Conference on Automated Software Engineering (ASE ’20) (2020, September)

Top of Page


Full Text
See detailA Model-driven Approach to Trace Checking of Temporal Properties with Aggregations
Boufaied, Chaima; Bianculli, Domenico; Briand, Lionel

in Journal of Object Technology (2019, July), 18(2), 151-21

Top of Page