( en | de | ru )

 

Disambiguation of "Ramesh, S."

Author of the publication

copydeleteadd this publication to your clipboard
Apportioning: a technique for efficient reachability analysis of concurrent object-oriented programs.

, and . HiPC, page 124-131. IEEE Computer Society, (1998)

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 Sharma

Ramesh Sheth

Ramesh Boggula

Ramesh Samanta

 

Other publications of authors with the same name

A formal approach to component based development of synchronous programs., , and . ASP-DAC, page 421-424. ACM, (2001)Some results on Parametric Temporal Logic., , and . Inf. Process. Lett., 111 (20): 994-998 (2011)Multiple Mutation Testing from Finite State Machines with Symbolic Inputs., , and . ICTSS, volume 10533 of Lecture Notes in Computer Science, page 108-125. Springer, (2017)A simulation condition for correct asynchronous implementation of synchronous design., , , and . ACC, page 1728-1733. IEEE, (2008)Efficient coverage of parallel and hierarchical stateflow models for test case generation., , , and . Softw. Test. Verification Reliab., 22 (7): 457-479 (2012)A compositional axiomatization of Statecharts, , and . Theoretical Computer Science, 101 (2): 289--335 (July 1992)Model Checking of Statechart Models: Survey and Research Directions, and . ArXiv Computer Science e-prints, (July 2004)Implementation of communicating reactive processes. Parallel Computing, 25 (6): 703--727 (June 1999)SmartTestGen+: A Test Suite Booster for Enhanced Structural Coverage., , , and . ICTAC, volume 7521 of Lecture Notes in Computer Science, page 164-167. Springer, (2012)Bridge Over Troubled Wrappers: Automated Interface Synthesis., , and . VLSI Design, page 189-194. IEEE Computer Society, (2004)