dblp.uni-trier.dewww.uni-trier.de

Babita Sharma

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2008
5EEFranck van Breugel, Babita Sharma, James Worrell: Approximating a Behavioural Pseudometric without Discount for Probabilistic Systems CoRR abs/0803.3796: (2008)
2007
4EEFranck van Breugel, Babita Sharma, James Worrell: Approximating a Behavioural Pseudometric Without Discount for Probabilistic Systems. FoSSaCS 2007: 123-137
3EEAjith 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: 491-504
2005
2EEBabita Sharma, Paritosh K. Pandya, Supratik Chakraborty: Bounded Validity Checking of Interval Duration Logic. TACAS 2005: 301-316
2002
1EEBabita Sharma, S. D. Dhodapkar, S. Ramesh: Assertion Checking Environment (ACE) for Formal Verification of C Programs. SAFECOMP 2002: 284-295

Coauthor Index

1A. K. Bhattacharjee [3]
2Franck van Breugel [4] [5]
3Supratik Chakraborty [2]
4S. D. Dhodapkar [1] [3]
5Ajith K. John [3]
6Paritosh K. Pandya [2]
7S. Ramesh (Sethu Ramesh) [1] [3]
8James Worrell [4] [5]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)