A Toolset for Modelling and Verification of GALS Systems. - S. Ramesh; Sampada Sonalkar; Vijay D'Silva; Naveen Chandra; B. Vijayalakshmi (CAV, 2004)

Synchronous Protocol Automata: A Framework for Modelling and Verification of SoC Communication Architectures. - Vijay D'Silva; S. Ramesh 001; Arcot Sowmya (DATE, 2004)

Bridge Over Troubled Wrappers: Automated Interface Synthesis. - Vijay D'Silva; S. Ramesh 001; Arcot Sowmya (VLSI Design, 2004)

Existential abstractions for distributed reactive systems via syntactic transformations. - Vijay D'Silva; Sampada Sonalkar; S. Ramesh (EMSOFT, 2007)

A Formal Approach To The Protocol Converter Problem. - Karin Avnit; Vijay D'Silva; Arcot Sowmya; S. Ramesh; Sri Parameswaran (DATE, 2008)

Provably correct on-chip communication: A formal approach to automatic protocol converter synthesis. - Karin Avnit; Vijay D'Silva; Arcot Sowmya; S. Ramesh; Sri Parameswaran (ACM Trans. Design Autom. Electr. Syst., 2009)

Propositional Interpolation and Abstract Interpretation. - Vijay D'Silva (ESOP, 2010)

Generalizing Simulation to Abstract Domains. - Vijay D'Silva (CONCUR, 2013)

BLITZ: Compositional bounded model checking for real-world programs. - Chia Yuan Cho; Vijay D'Silva; Dawn Song (ASE, 2013)

Contextual Policy Enforcement in Android Applications with Permission Event Graphs. - Kevin Zhijie Chen; Noah M. Johnson; Vijay D'Silva; Shuaifu Dai; Kyle MacNamara; Thomas R. Magrino; Edward XueJun Wu; Martin C. Rinard; Dawn Xiaodong Song (NDSS, 2013)

Conflict-Driven Conditional Termination. - Vijay D'Silva; Caterina Urban (CAV (2), 2015)

ASPIRE: Iterative Specification Synthesis for Security. - Kevin Zhijie Chen; Warren He; Devdatta Akhawe; Vijay D'Silva; Prateek Mittal; Dawn Song (HotOS, 2015)

The Correctness-Security Gap in Compiler Optimization. - Vijay D'Silva; Mathias Payer; Dawn Xiaodong Song (IEEE Symposium on Security and Privacy Workshops, 2015)

Büchi, Lindenbaum, Tarski: A Program Analysis Appetizer. - Vijay D'Silva; Caterina Urban (IJCAI, 2016)

Abstract Interpretation as Automated Deduction. - Vijay D'Silva; Caterina Urban (J. Autom. Reason., 2017)