arXiv2
Search
Dark
/ Date
/ Name
Aa
W
/ Date
/ Name
"au:"Yago Isasi Parache"" — arXiv2 Search
Showing 1–4 of 4 results
/ Date
/ Name
Jul 20, 2020
Estimating Probabilistic Safe WCET Ranges of Real-Time Systems at Design Stages
Oct 7, 2019
Approximation-Refinement Testing of Compute-Intensive Cyber-Physical Models: An Approach Based on System Identification
Jan 6, 2021
Combining Genetic Programming and Model Checking to Generate Environment Assumptions
Oct 18, 2019
Signal-Based Properties of Cyber-Physical Systems: Taxonomy and Logic-based Characterization