2008 |
4 | EE | 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 | EE | Prahladavaradan Sampath,
A. C. Rajeev,
S. Ramesh,
K. C. Shashidhar:
Behaviour Directed Testing of Auto-code Generators.
SEFM 2008: 191-200 |
2007 |
2 | EE | 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 | EE | Prahladavaradan Sampath,
A. C. Rajeev,
K. C. Shashidhar,
S. Ramesh:
How to Test Program Generators? A Case Study using flex.
SEFM 2007: 80-92 |