 | 2007 |
|---|
| 3 |       | Vijay D'Silva,
Sampada Sonalkar,
S. Ramesh:
Existential abstractions for distributed reactive systems via syntactic transformations.
EMSOFT 2007: 240-248 |
| 2 | | Cheng-Hong Li,
Rebecca L. Collins,
Sampada Sonalkar,
Luca P. Carloni:
Design, Implementation, and Validation of a New Class of Interface Circuits for Latency-Insensitive Design.
MEMOCODE 2007: 13-22 |
| 2004 |
|---|
| 1 | | S. Ramesh,
Sampada Sonalkar,
Vijay D'Silva,
Naveen Chandra,
B. Vijayalakshmi:
A Toolset for Modelling and Verification of GALS Systems.
CAV 2004: 506-509 |
