Yago Isasi Parache

Publication Activity (10 Years)

Years Active: 2019-2023
Publications (10 Years): 9

Top Topics

Pspace Complete

Temporal Properties

Top Venues

ACM Trans. Softw. Eng. Methodol.

J. Syst. Softw.

Publications

Jaekwon Lee, Seung Yeob Shin, Shiva Nejati, Lionel C. Briand, Yago Isasi Parache
Estimating Probabilistic Safe WCET Ranges of Real-Time Systems at Design Stages. ACM Trans. Softw. Eng. Methodol. 32 (2) (2023)
Khouloud Gaaloul, Claudio Menghi, Shiva Nejati, Lionel C. Briand, Yago Isasi Parache
Combining Genetic Programming and Model Checking to Generate Environment Assumptions. IEEE Trans. Software Eng. 48 (9) (2022)
Chaima Boufaied, Maris Jukss, Domenico Bianculli, Lionel Claude Briand, Yago Isasi Parache
Signal-Based Properties of Cyber-Physical Systems: Taxonomy and Logic-based Characterization. J. Syst. Softw. 174 (2021)
Khouloud Gaaloul, Claudio Menghi, Shiva Nejati, Lionel C. Briand, Yago Isasi Parache
Combining Genetic Programming and Model Checking to Generate Environment Assumptions. CoRR (2021)
Claudio Menghi, Shiva Nejati, Lionel C. Briand, Yago Isasi Parache
Approximation-refinement testing of compute-intensive cyber-physical models: an approach based on system identification. ICSE (2020)
Chaima Boufaied, Claudio Menghi, Domenico Bianculli, Lionel C. Briand, Yago Isasi Parache
Trace-Checking Signal-based Temporal Properties: A Model-Driven Approach. ASE (2020)
Jaekwon Lee, Seung Yeob Shin, Shiva Nejati, Lionel C. Briand, Yago Isasi Parache
Schedulability Analysis of Real-Time Systems with Uncertain Worst-Case Execution Times. CoRR (2020)
Claudio Menghi, Shiva Nejati, Lionel C. Briand, Yago Isasi Parache
Approximation-Refinement Testing of Compute-Intensive Cyber-Physical Models: An Approach Based on System Identification. CoRR (2019)
Chaima Boufaied, Maris Jukss, Domenico Bianculli, Lionel Claude Briand, Yago Isasi Parache
Signal-Based Properties: Taxonomy and Logic-based Characterization. CoRR (2019)