( en | de | ru )

 

Disambiguation of "Ramesh, S."

Author of the publication

copydeleteadd this publication to your clipboard
Assertion checking environment (ACE) for formal verification of C programs.

, , and . Reliab. Eng. Syst. Saf., 81 (3): 281-290 (2003)

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 Boggula

Ramesh Sheth

Ramesh Modi

 

Other publications of authors with the same name

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)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)A New and Efficient Implementation of Multiprocess Synchronization.. PARLE (2), volume 259 of Lecture Notes in Computer Science, page 387-401. Springer, (1987)Semantics and verification of hierarchical CRP programs, and . (1995)Communicating Reactive State Machines: Design, Model and Implementation. (1998)Communicating reactive processes, , and . POPL '93: Proceedings of the 20th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, page 85--98. New York, NY, USA, ACM Press, (1993)Model Checking of Statechart Models: Survey and Research Directions, and . ArXiv Computer Science e-prints, (July 2004)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)