( en | de | ru )

 

Disambiguation of "Nejati, Shiva"

Author of the publication

copydeleteadd this publication to your clipboard
Traceability and SysML design slices to support safety inspections: A controlled experiment.

, , , , and . ACM Trans. Softw. Eng. Methodol., 23 (1): 9:1-9:43 (2014)

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

Test Cost Reduction for 5G and Beyond using Machine Learning., , , , and . ICSTW, page 373-376. IEEE, (2023)Digital Twins Are Not Monozygotic - Cross-Replicating ADAS Testing in Two Industry-Grade Automotive Simulators., , , , and . ICST, page 383-393. IEEE, (2021)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)Probabilistic Safe WCET Estimation for Weakly Hard Real-time Systems at Design Stages., , , and . ACM Trans. Softw. Eng. Methodol., 33 (2): 32:1-32:34 (February 2024)An Active Learning Approach for Improving the Accuracy of Automated Domain Model Extraction., , , and . ACM Trans. Softw. Eng. Methodol., 28 (1): 4:1-4:34 (2019)Combining Genetic Algorithms and Constraint Programming to Support Stress Testing of Task Deadlines., , , and . ACM Trans. Softw. Eng. Methodol., 25 (1): 4:1-4:37 (2015)Search-Based Software Testing for Formal Software Verification - and Vice Versa.. SSBSE, volume 12420 of Lecture Notes in Computer Science, page 3-6. Springer, (2020)Approximation-refinement testing of compute-intensive cyber-physical models: an approach based on system identification., , , and . ICSE, page 372-384. ACM, (2020)Testing autonomous cars for feature interaction failures using many-objective search., , , , and . ASE, page 143-154. ACM, (2018)Matching and Merging of Statecharts Specifications., , , , and . ICSE, page 54-64. IEEE Computer Society, (2007)