Enabling Model Testing of Cyber-Physical Systems. - Carlos A. González; Mojtaba Varmazyar; Shiva Nejati 001; Lionel C. Briand; Yago Isasi (MoDELS, 2018)

Signal-Based Properties: Taxonomy and Logic-based Characterization. - Chaima Boufaied; Maris Jukss; Domenico Bianculli; Lionel Claude Briand; Yago Isasi Parache (CoRR, 2019)

Approximation-refinement testing of compute-intensive cyber-physical models: an approach based on system identification. - Claudio Menghi; Shiva Nejati 001; Lionel C. Briand; Yago Isasi Parache (ICSE, 2020)

Trace-Checking Signal-based Temporal Properties: A Model-Driven Approach. - Chaima Boufaied; Claudio Menghi; Domenico Bianculli; Lionel C. Briand; Yago Isasi Parache (ASE, 2020)

Schedulability Analysis of Real-Time Systems with Uncertain Worst-Case Execution Times. - Jaekwon Lee; Seung Yeob Shin; Shiva Nejati 001; Lionel C. Briand; Yago Isasi Parache (CoRR, 2020)

Signal-Based Properties of Cyber-Physical Systems: Taxonomy and Logic-based Characterization. - Chaima Boufaied; Maris Jukss; Domenico Bianculli; Lionel Claude Briand; Yago Isasi Parache (J. Syst. Softw., 2021)

Combining Genetic Programming and Model Checking to Generate Environment Assumptions. - Khouloud Gaaloul; Claudio Menghi; Shiva Nejati 001; Lionel C. Briand; Yago Isasi Parache (IEEE Trans. Software Eng., 2022)

Estimating Probabilistic Safe WCET Ranges of Real-Time Systems at Design Stages. - Jaekwon Lee; Seung Yeob Shin; Shiva Nejati 001; Lionel C. Briand; Yago Isasi Parache (ACM Trans. Softw. Eng. Methodol., 2023)