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