| 2008 |
|---|
| 10 | EE | Deepak D'Souza,
Madhu Gopinathan,
S. Ramesh,
Prahladavaradan Sampath:
Conflict-Tolerant Real-Time Features.
QEST 2008: 274-283 |
| 9 | EE | Prahladavaradan Sampath,
A. C. Rajeev,
S. Ramesh,
K. C. Shashidhar:
Behaviour Directed Testing of Auto-code Generators.
SEFM 2008: 191-200 |
| 2007 |
|---|
| 8 | EE | Andrei Hagiescu,
Unmesh D. Bordoloi,
Samarjit Chakraborty,
Prahladavaradan Sampath,
P. Vignesh V. Ganesan,
Sethu Ramesh:
Performance Analysis of FlexRay-based ECU Networks.
DAC 2007: 284-289 |
| 7 | 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 |
| 6 | 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 |
| 2006 |
|---|
| 5 | EE | Prahladavaradan Sampath,
Shrawan Kumar:
Composing Context Sensitive Analysis.
SEFM 2006: 186-195 |
| 4 | EE | Prahladavaradan Sampath:
Duality of Fix-Points for Distributive Lattices
CoRR abs/cs/0609118: (2006) |
| 2003 |
|---|
| 3 | EE | Prahladavaradan Sampath:
Multi-agent Reactive Systems.
PADL 2003: 177-193 |
| 2002 |
|---|
| 2 | EE | Prahladavaradan Sampath:
Modelling Multi-agent Reactive Systems.
ICLP 2002: 476 |
| 1 | EE | Chris Hankin,
Rajagopal Nagarajan,
Prahladavaradan Sampath:
Flow Analysis: Games and Nets.
The Essence of Computation 2002: 135-156 |
