( en | de | ru )

 

Disambiguation of "Ramesh, S."

Author of the publication

copydeleteadd this publication to your clipboard
Detection of Runtime Errors in MISRA C Programs: A Deductive Approach.

, , , , and . SAFECOMP, volume 4680 of Lecture Notes in Computer Science, page 491-504. Springer, (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.

Ramesh Ummanni

Ramesh Boggula

Ramesh Sharma

Ramesh Sheth

Ramesh Samanta

 

Other publications of authors with the same name

Fully Abstract Semantics for Higher Order Communicating Systems.. MFCS, volume 629 of Lecture Notes in Computer Science, page 463-471. Springer, (1992)Extending Statecharts with Temporal Logic., and . IEEE Trans. Software Eng., 24 (3): 216-231 (1998)A formal approach to component based development of synchronous programs., , and . ASP-DAC, page 421-424. ACM, (2001)Randomized directed testing (REDIRECT) for Simulink/Stateflow models., , and . EMSOFT, page 217-226. ACM, (2008)A simulation condition for correct asynchronous implementation of synchronous design., , , and . ACC, page 1728-1733. IEEE, (2008)SmartTestGen+: A Test Suite Booster for Enhanced Structural Coverage., , , and . ICTAC, volume 7521 of Lecture Notes in Computer Science, page 164-167. Springer, (2012)k-time Forced Simulation: A Formal Verification Technique for IP Reuse., , and . ICCD, page 50-55. IEEE Computer Society, (2002)Bridge Over Troubled Wrappers: Automated Interface Synthesis., , and . VLSI Design, page 189-194. IEEE Computer Society, (2004)Some results on Parametric Temporal Logic., , and . Inf. Process. Lett., 111 (20): 994-998 (2011)Slicing tools for synchronous reactive programs., , and . ISSTA, page 217-220. ACM, (2004)