( en | de | ru )

 

Disambiguation of "Shashidhar, K. C."

Author of the publication

copydeleteadd this publication to your clipboard
Functional Equivalence Checking for Verification of Algebraic Transformations on Array-Intensive Source Code

, , , and . CoRR, (2007)

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.

Shashidhar Mathapati

Shashidhar Merugu

Harun K l ç

Refika K l ç

Rita C -K Chin

 

Other publications of authors with the same name

Functional Equivalence Checking for Verification of Algebraic Transformations on Array-Intensive Source Code., , , and . DATE, page 1310-1315. IEEE Computer Society, (2005)Generating and Analyzing Symbolic Traces of Simulink/Stateflow Models., , , , , and . CAV, volume 5643 of Lecture Notes in Computer Science, page 430-445. Springer, (2009)An Automatic Verification Technique for Loop and Data Reuse Transformations based on Geometric Modeling of Programs., , , and . J. Univers. Comput. Sci., 9 (3): 248-269 (2003)AutoMOTGen: Automatic Model Oriented Test Generator for Embedded Control Systems., , , , , and . CAV, volume 5123 of Lecture Notes in Computer Science, page 204-208. Springer, (2008)Symbolic analysis for improving simulation coverage of Simulink/Stateflow models., , , and . EMSOFT, page 89-98. ACM, (2008)Automatic functional verification of memory oriented global source code transformations., , , and . HLDVT, page 31-36. IEEE Computer Society, (2003)CLSE: Closed-Loop Symbolic Execution., , , and . NASA Formal Methods, volume 7226 of Lecture Notes in Computer Science, page 356-370. Springer, (2012)Verification of Source Code Transformations by Program Equivalence Checking., , , and . CC, volume 3443 of Lecture Notes in Computer Science, page 221-236. Springer, (2005)Functional Equivalence Checking for Verification of Algebraic Transformations on Array-Intensive Source Code, , , and . CoRR, (2007)Automatic test case generation from Simulink/Stateflow models using model checking., , , , and . Softw. Test. Verification Reliab., 24 (2): 155-180 (2014)