Babita Sharma
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
4
Venues
3
Active years
2002–2007
Best venue rank
B
Where they publish
Papers
4 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2007 | FOSSACS | Approximating a Behavioural Pseudometric Without Discount for Probabilistic Systems. | Franck van Breugel, Babita Sharma, James Worrell |
| 2007 | SAFECOMP | Detection of Runtime Errors in MISRA C Programs: A Deductive Approach. | Ajith K. John, Babita Sharma, A. K. Bhattacharjee, S. D. Dhodapkar, S. Ramesh |
| 2005 | TACAS | Bounded Validity Checking of Interval Duration Logic. | Babita Sharma, Paritosh K. Pandya, Supratik Chakraborty |
| 2002 | SAFECOMP | Assertion Checking Environment (ACE) for Formal Verification of C Programs. | Babita Sharma, S. D. Dhodapkar, S. Ramesh |