2009 |
8 | EE | Karin Avnit,
Vijay D'Silva,
Arcot Sowmya,
S. Ramesh,
Sri Parameswaran:
Provably correct on-chip communication: A formal approach to automatic protocol converter synthesis.
ACM Trans. Design Autom. Electr. Syst. 14(2): (2009) |
2008 |
7 | EE | Karin Avnit,
Vijay D'Silva,
Arcot Sowmya,
S. Ramesh,
Sri Parameswaran:
A Formal Approach To The Protocol Converter Problem.
DATE 2008: 294-299 |
6 | EE | Vijay D'Silva,
Mitra Purandare,
Daniel Kroening:
Approximation Refinement for Interpolation-Based Model Checking.
VMCAI 2008: 68-82 |
5 | EE | Vijay D'Silva,
Daniel Kroening,
Georg Weissenbacher:
A Survey of Automated Techniques for Formal Software Verification.
IEEE Trans. on CAD of Integrated Circuits and Systems 27(7): 1165-1178 (2008) |
2007 |
4 | EE | Vijay D'Silva,
Sampada Sonalkar,
S. Ramesh:
Existential abstractions for distributed reactive systems via syntactic transformations.
EMSOFT 2007: 240-248 |
2004 |
3 | EE | S. Ramesh,
Sampada Sonalkar,
Vijay D'Silva,
Naveen Chandra,
B. Vijayalakshmi:
A Toolset for Modelling and Verification of GALS Systems.
CAV 2004: 506-509 |
2 | EE | Vijay D'Silva,
S. Ramesh,
Arcot Sowmya:
Synchronous Protocol Automata: A Framework for Modelling and Verification of SoC Communication Architectures.
DATE 2004: 390-395 |
1 | EE | Vijay D'Silva,
S. Ramesh,
Arcot Sowmya:
Bridge Over Troubled Wrappers: Automated Interface Synthesis.
VLSI Design 2004: 189-194 |