|
Conference publications:
-
Vijay D'silva, Sampada Sonalkar, S.Ramesh:
"Existential Abstractions for Distributed Reactive Systems
via Syntactic Transformations"
International Conference on Embedded Systems Software (EMSOFT), 2007
-
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"
International Conference on Formal Methods and Models for Codesign (MEMOCODE), 2007
-
Haibo Zeng, Abhijit Davare, Alberto Sangiovanni-Vincentelli,
Sampada Sonalkar, Sri Kanajan, Claudio Pinello:
"Design Space Exploration of Automotive Platforms in Metropolis"
Society of Automotive Engineers Congress (SAE), 2006.
-
S. Ramesh, Sampada Sonalkar, Vijay D'Silva, Naveen Chandra, B. Vijayalakshmi:
"A Toolset for Modelling and Verification of GALS Systems"
International Conference on Computer Aided Verification (CAV), 2004
|
|