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

Chaima Boufaied

Chaima Boufaied

Research and development specialist

Faculté ou Centre Interdisciplinary Centre for Security, Reliability and Trust
Department SVV
Adresse postale Université du Luxembourg
29, avenue JF Kennedy
L-1855 Luxembourg
Bureau sur le campus JFK Building, E01-109
E-mail
Téléphone (+352) 46 66 44 5990
Fax (+352) 46 66 44 35990

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
orbilu.uni.lu

Sous presse

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 (in press)

Top of Page

2021

Top of Page

2020

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

2019

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