( en | de | ru )

 

Disambiguation of "Nejati, Shiva"

Author of the publication

copydeleteadd this publication to your clipboard
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.

Mahmoud Nejati

Kirumakki Narayana Shivaram

Shiva Hemmati

Sunitha Shiva

Madhuri Shivalkar

 

Other publications of authors with the same name

Probabilistic WCET Estimation for Weakly Hard Real-Time Systems., , , and . CoRR, (2023)CoCoTest: a tool for model-in-the-loop testing of continuous controllers., , , and . ASE, page 855-858. ACM, (2014)Formal support for merging and negotiation.. ASE, page 456-460. ACM, (2005)Let's agree to disagree., and . ASE, page 287-290. ACM, (2005)PWWM: A Personal Web Workflow Methodology., , , , , and . The Personal Web, volume 7855 of Lecture Notes in Computer Science, Springer, (2013)Behavioural model fusion: an overview of challenges., and . MiSE, page 1-6. ACM, (2008)Worst-Case Scheduling of Software Tasks - A Constraint Optimization Model to Support Performance Testing., , , and . CP, volume 8656 of Lecture Notes in Computer Science, page 813-830. Springer, (2014)SimCoTest: a test suite generation tool for simulink/stateflow controllers., , , and . ICSE (Companion Volume), page 585-588. ACM, (2016)Mining assumptions for software components using machine learning., , , , and . ESEC/SIGSOFT FSE, page 159-171. ACM, (2020)Comparing Offline and Online Testing of Deep Neural Networks: An Autonomous Car Case Study., , , and . ICST, page 85-95. IEEE, (2020)