( en | de | ru )

 

Disambiguation of "Ramesh, S."

Author of the publication

copydeleteadd this publication to your clipboard
When to stop verification?: Statistical trade-off between expected loss and simulation cost.

, , , and . DATE, page 1309-1314. IEEE, (2011)

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 Sheth

Ramesh Boggula

Ramesh Sharma

Ramesh Samanta

 

Other publications of authors with the same name

Assertion Checking Environment (ACE) for Formal Verification of C Programs., , and . SAFECOMP, volume 2434 of Lecture Notes in Computer Science, page 284-295. Springer, (2002)The Liveness Property of On-the-Fly Garbage Collector - A Proof., and . Inf. Process. Lett., 17 (4): 189-195 (1983)Concurrent Logic Programming and pi Calculus., and . ICLP, page 411. MIT Press, (1997)Pointer Analysis of Multithreaded Java Programs., and . SAC, page 1068-1075. ACM, (2003)A New and Efficient Implementation of Multiprocess Synchronization.. PARLE (2), volume 259 of Lecture Notes in Computer Science, page 387-401. Springer, (1987)A framework for mining hybrid automata from input/output traces., , , and . EMSOFT, page 177-186. IEEE, (2015)Assertion checking environment (ACE) for formal verification of C programs., , and . Reliab. Eng. Syst. Saf., 81 (3): 281-290 (2003)Grid integration of renewable energy sources (RES) for power quality improvement using adaptive fuzzy logic controller based series hybrid active power filter (SHAPF)., and . J. Intell. Fuzzy Syst., 35 (1): 749-766 (2018)Formalizing Traceability and Derivability in Software Product Lines, , , , and . CoRR, (2012)Compositional Verification of Evolving Software Product Lines, , , and . CoRR, (2012)