Babita Sharma

Publication Activity (10 Years)

Years Active: 2002-2008
Publications (10 Years): 0

Publications

Franck van Breugel, Babita Sharma, James Worrell
Approximating a Behavioural Pseudometric without Discount for Probabilistic Systems CoRR (2008)
Franck van Breugel, Babita Sharma, James Worrell
Approximating a Behavioural Pseudometric without Discount for Probabilistic Systems. Log. Methods Comput. Sci. 4 (2) (2008)
Babita Sharma
Structure and Mechanism of a Transmission Blocking Vaccine Candidate Protein Pfs25 from P. falciparum: A Molecular Modeling and Docking Study. Silico Biol. 8 (3-4) (2008)
Franck van Breugel, Babita Sharma, James Worrell
Approximating a Behavioural Pseudometric Without Discount for Probabilistic Systems. FoSSaCS (2007)
Ajith K. John, Babita Sharma, A. K. Bhattacharjee, S. D. Dhodapkar, S. Ramesh
Detection of Runtime Errors in MISRA C Programs: A Deductive Approach. SAFECOMP (2007)
Babita Sharma, Paritosh K. Pandya, Supratik Chakraborty
Bounded Validity Checking of Interval Duration Logic. TACAS (2005)
Babita Sharma, S. D. Dhodapkar, S. Ramesh
Assertion checking environment (ACE) for formal verification of C programs. Reliab. Eng. Syst. Saf. 81 (3) (2003)
Babita Sharma, S. D. Dhodapkar, S. Ramesh
Assertion Checking Environment (ACE) for Formal Verification of C Programs. SAFECOMP (2002)