Author of the publication

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

, , , and . ICSE, page 372-384. ACM, (2020)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Estimating Probabilistic Safe WCET Ranges of Real-Time Systems at Design Stages., , , , and . ACM Trans. Softw. Eng. Methodol., 32 (2): 37:1-37:33 (April 2023)Approximation-refinement testing of compute-intensive cyber-physical models: an approach based on system identification., , , and . ICSE, page 372-384. ACM, (2020)Combining Genetic Programming and Model Checking to Generate Environment Assumptions., , , , and . IEEE Trans. Software Eng., 48 (9): 3664-3685 (2022)Combining Genetic Programming and Model Checking to Generate Environment Assumptions., , , , and . CoRR, (2021)Approximation-Refinement Testing of Compute-Intensive Cyber-Physical Models: An Approach Based on System Identification., , , and . CoRR, (2019)Trace-Checking Signal-based Temporal Properties: A Model-Driven Approach., , , , and . ASE, page 1004-1015. IEEE, (2020)Signal-Based Properties: Taxonomy and Logic-based Characterization., , , , and . CoRR, (2019)Signal-Based Properties of Cyber-Physical Systems: Taxonomy and Logic-based Characterization., , , , and . J. Syst. Softw., (2021)Schedulability Analysis of Real-Time Systems with Uncertain Worst-Case Execution Times., , , , and . CoRR, (2020)