( en | de | ru )

 

Disambiguation of "Rayadurgam, Sanjai"

Author of the publication

copydeleteadd this publication to your clipboard
Structuring simulink models for verification and reuse.

, , , and . MiSE, page 19-24. ACM, (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.

Sanjai Narain

Sanjai Mahendra Shah

 

Other publications of authors with the same name

A reference model for simulating agile processes., , and . ICSSP, page 82-91. ACM, (2015)Domain modeling for development process simulation., , and . ICSSP, page 95-99. ACM, (2017)Manifold-based Test Generation for Image Classifiers., and . ICSE (Workshops), page 221. ACM, (2020)Counterexample-Guided Inductive Repair of Reactive Contracts., , , , and . FormaliSE@ICSE, page 46-57. ACM, (2022)From Requirements to Code: Model Based Development of a Medical Cyber Physical System., , , , , , , , and . FHIES/SEHC, volume 9062 of Lecture Notes in Computer Science, page 96-112. Springer, (2014)Representing Confidence in Assurance Case Evidence., , , , and . SAFECOMP Workshops, volume 9338 of Lecture Notes in Computer Science, page 15-26. Springer, (2015)Steering model-based oracles to admit real program behaviors., , and . ICSE Companion, page 428-431. ACM, (2014)An agent architecture for supporting individualized services in Internet applications., , , and . ICTAI, page 140-147. IEEE Computer Society, (1998)Run-Time Assurance for Learning-Enabled Systems., , , , , , , , and . NFM, volume 12229 of Lecture Notes in Computer Science, page 361-368. Springer, (2020)Key Applications for High-Assurance Systems., , , , , , , , , and 4 other author(s). Computer, 31 (4): 35-45 (1998)