 | 2009 |
|---|
| 9 |       | Vijay D'Silva,
Daniel Kroening:
Fixed points for multi-cycle path detection.
DATE 2009: 1710-1715 |
| 8 | | 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 | | Karin Avnit,
Vijay D'Silva,
Arcot Sowmya,
S. Ramesh,
Sri Parameswaran:
A Formal Approach To The Protocol Converter Problem.
DATE 2008: 294-299 |
| 6 | | Vijay D'Silva,
Mitra Purandare,
Daniel Kroening:
Approximation Refinement for Interpolation-Based Model Checking.
VMCAI 2008: 68-82 |
| 5 | | 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 | | Vijay D'Silva,
Sampada Sonalkar,
S. Ramesh:
Existential abstractions for distributed reactive systems via syntactic transformations.
EMSOFT 2007: 240-248 |
| 2004 |
|---|
| 3 | | 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 | | 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 | | Vijay D'Silva,
S. Ramesh,
Arcot Sowmya:
Bridge Over Troubled Wrappers: Automated Interface Synthesis.
VLSI Design 2004: 189-194 |
