 | 2008 |
|---|
| 4 |       | Swarup Mohalik,
A. C. Rajeev,
Manoj G. Dixit,
S. Ramesh,
P. Vijay Suman,
Paritosh K. Pandya,
Shengbing Jiang:
Model checking based analysis of end-to-end latency in embedded, real-time systems with clock drifts.
DAC 2008: 296-299 |
| 3 | | Prahladavaradan Sampath,
A. C. Rajeev,
S. Ramesh,
K. C. Shashidhar:
Behaviour Directed Testing of Auto-code Generators.
SEFM 2008: 191-200 |
| 2007 |
|---|
| 2 | | Prahladavaradan Sampath,
A. C. Rajeev,
S. Ramesh,
K. C. Shashidhar:
Testing Model-Processing Tools for Embedded Systems.
IEEE Real-Time and Embedded Technology and Applications Symposium 2007: 203-214 |
| 1 | | Prahladavaradan Sampath,
A. C. Rajeev,
K. C. Shashidhar,
S. Ramesh:
How to Test Program Generators? A Case Study using flex.
SEFM 2007: 80-92 |
