Assertion checking environment (ACE) for formal verification of C programs. - Babita Sharma; S. D. Dhodapkar; S. Ramesh 001 (Reliab. Eng. Syst. Saf., 2003)

Bounded Validity Checking of Interval Duration Logic. - Babita Sharma; Paritosh K. Pandya; Supratik Chakraborty (TACAS, 2005)

Detection of Runtime Errors in MISRA C Programs: A Deductive Approach. - Ajith K. John; Babita Sharma; A. K. Bhattacharjee; S. D. Dhodapkar; S. Ramesh 001 (SAFECOMP, 2007)

Structure and Mechanism of a Transmission Blocking Vaccine Candidate Protein Pfs25 from P. falciparum: A Molecular Modeling and Docking Study. - Babita Sharma (Silico Biol., 2008)

Approximating a Behavioural Pseudometric without Discount for Probabilistic Systems. - Franck van Breugel; Babita Sharma; James Worrell 001 (Log. Methods Comput. Sci., 2008)