Babita Sharma

According to our database, Babita Sharma authored at least 5 papers between 2003 and 2008.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2008

Approximating a Behavioural Pseudometric without Discount for Probabilistic Systems.

Franck van Breugel, Babita Sharma, James Worrell

Log. Methods Comput. Sci., 2008

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

2007

Detection of Runtime Errors in MISRA C Programs: A Deductive Approach.

Ajith K. John, Babita Sharma, A. K. Bhattacharjee, S. D. Dhodapkar, S. Ramesh

Proceedings of the Computer Safety, 2007

2005

Bounded Validity Checking of Interval Duration Logic.

Babita Sharma, Paritosh K. Pandya, Supratik Chakraborty

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2005

2003

Assertion checking environment (ACE) for formal verification of C programs.

Babita Sharma, S. D. Dhodapkar, S. Ramesh

Reliab. Eng. Syst. Saf., 2003