Back
  1. Home
  2. Profile of Chaima BOUFAIED (Unilu)
Profil

BOUFAIED Chaima

Main Referenced Co-authors
BIANCULLI, Domenico  (3)
BRIAND, Lionel  (3)
Isasi Parache, Yago (1)
Jukss, Maris (1)
MENGHI, Claudio  (1)
Main Referenced Keywords
temporal properties (3); cyber-physical systems (2); signals (2); specification patterns (2); aggregation operators (1);
Main Referenced Unit & Research Centers
Interdisciplinary Centre for Security, Reliability and Trust (SnT) > Software Verification and Validation Lab (SVV Lab) (4)
ULHPC - University of Luxembourg: High Performance Computing (1)
Main Referenced Disciplines
Computer science (4)

Publications (total 4)

The most downloaded
514 downloads
BOUFAIED, C., MENGHI, C., BIANCULLI, D., BRIAND, L., & Isasi Parache, Y. (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). doi:10.5381/JOT.2019.18.2.A15 https://hdl.handle.net/10993/44159

The most cited

8 citations (OpenAlex)

BOUFAIED, C., Jukss, M., BIANCULLI, D., BRIAND, L., & Yago, I. P. (April 2021). Signal-Based Properties of Cyber-Physical Systems: Taxonomy and Logic-based Characterization. Journal of Systems and Software, 174, 110881. doi:10.1016/j.jss.2020.110881 https://hdl.handle.net/10993/44916

BOUFAIED, C. (2021). Specification and Model-driven Trace Checking of Complex Temporal Properties [Doctoral thesis, Unilu - University of Luxembourg]. ORBilu-University of Luxembourg. https://orbilu.uni.lu/handle/10993/47339

BOUFAIED, C., Jukss, M., BIANCULLI, D., BRIAND, L., & Yago, I. P. (April 2021). Signal-Based Properties of Cyber-Physical Systems: Taxonomy and Logic-based Characterization. Journal of Systems and Software, 174, 110881. doi:10.1016/j.jss.2020.110881
Peer Reviewed verified by ORBi

BOUFAIED, C., MENGHI, C., BIANCULLI, D., BRIAND, L., & Isasi Parache, Y. (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). doi:10.5381/JOT.2019.18.2.A15
Peer reviewed

BOUFAIED, C., BIANCULLI, D., & BRIAND, L. (July 2019). A Model-driven Approach to Trace Checking of Temporal Properties with Aggregations. Journal of Object Technology, 18 (2), 15:1-21. doi:10.5381/jot.2019.18.2.a15
Peer Reviewed verified by ORBi

Contact ORBilu