Yago Isasi

According to our database, Yago Isasi authored at least 8 papers between 2018 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

Estimating Probabilistic Safe WCET Ranges of Real-Time Systems at Design Stages.

Jaekwon Lee, Seung Yeob Shin, Shiva Nejati, Lionel C. Briand, Yago Isasi Parache

ACM Trans. Softw. Eng. Methodol., April, 2023

2022

Combining Genetic Programming and Model Checking to Generate Environment Assumptions.

Khouloud Gaaloul, Claudio Menghi, Shiva Nejati, Lionel C. Briand, Yago Isasi Parache

IEEE Trans. Software Eng., 2022

2021

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

2020

Schedulability Analysis of Real-Time Systems with Uncertain Worst-Case Execution Times.

Jaekwon Lee, Seung Yeob Shin, Shiva Nejati, Lionel C. Briand, Yago Isasi Parache

CoRR, 2020

Trace-Checking Signal-based Temporal Properties: A Model-Driven Approach.

Chaima Boufaied, Claudio Menghi, Domenico Bianculli, Lionel C. Briand, Yago Isasi Parache

Proceedings of the 35th IEEE/ACM International Conference on Automated Software Engineering, 2020

Approximation-refinement testing of compute-intensive cyber-physical models: an approach based on system identification.

Claudio Menghi, Shiva Nejati, Lionel C. Briand, Yago Isasi Parache

Proceedings of the ICSE '20: 42nd International Conference on Software Engineering, Seoul, South Korea, 27 June, 2020

2019

Signal-Based Properties: Taxonomy and Logic-based Characterization.

Chaima Boufaied, Maris Jukss, Domenico Bianculli, Lionel Claude Briand, Yago Isasi Parache

CoRR, 2019

2018

Enabling Model Testing of Cyber-Physical Systems.

Carlos A. González, Mojtaba Varmazyar, Shiva Nejati, Lionel C. Briand, Yago Isasi

Proceedings of the 21th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, 2018