Chaima Boufaied
|
|
||||
| Faculty or Centre | Interdisciplinary Centre for Security, Reliability and Trust | ||||
| Department | SVV | ||||
| Postal Address |
Université du Luxembourg 29, avenue JF Kennedy L-1855 Luxembourg |
||||
| Campus Office | JFK Building, E01-109 | ||||
|
|||||
| Telephone | (+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: Friday, 17 February 2017
powered by
In press
Signal-Based Properties of Cyber-Physical Systems: Taxonomy and Logic-based Characterization; ; ; ;
in Journal of Systems and Software (in press)
2020
Trace-Checking Signal-based Temporal Properties: A Model-Driven Approach; ; ; ;
in Proceedings of the 35th IEEE/ACM International Conference on Automated Software Engineering (ASE ’20) (2020, September)
2019
A Model-driven Approach to Trace Checking of Temporal Properties with Aggregations; ;
in Journal of Object Technology (2019, July), 18(2), 151-21
