Vijay D'Silva Coauthor index pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Other views: by type - by year (modern) - classic-C
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo
DBLP keys2013
c14Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Vijay D'Silva, Leopold Haller, Daniel Kroening: Abstract conflict driven learning. POPL 2013: 143-154
c13Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Vijay D'Silva, Daniel Kroening: Abstraction of Syntax. VMCAI 2013: 396-413
c12Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Martin Brain, Vijay D'Silva, Leopold Haller, Alberto Griggio, Daniel Kroening: An Abstract Interpretation of DPLL(T). VMCAI 2013: 455-475
2012
c11Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Vijay D'Silva, Leopold Haller, Daniel Kroening: Satisfiability Solvers Are Static Analysers. SAS 2012: 317-333
c10Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Vijay D'Silva, Leopold Haller, Daniel Kroening, Michael Tautschnig: Numeric Bounds Analysis with Conflict-Driven Learning. TACAS 2012: 48-63
2010
j3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Thomas Wahl, Vijay D'Silva: A lazy approach to symmetry reduction. Formal Asp. Comput. 22(6): 713-733 (2010)
c9Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Vijay D'Silva: Propositional Interpolation and Abstract Interpretation. ESOP 2010: 185-204
c8Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Vijay D'Silva, Daniel Kroening, Mitra Purandare, Georg Weissenbacher: Interpolant Strength. VMCAI 2010: 129-145
2009
j2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
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)
c7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Vijay D'Silva, Daniel Kroening: Fixed points for multi-cycle path detection. DATE 2009: 1710-1715
2008
j1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
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)
c6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Karin Avnit, Vijay D'Silva, Arcot Sowmya, S. Ramesh, Sri Parameswaran: A Formal Approach To The Protocol Converter Problem. DATE 2008: 294-299
c5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Vijay D'Silva, Mitra Purandare, Daniel Kroening: Approximation Refinement for Interpolation-Based Model Checking. VMCAI 2008: 68-82
2007
c4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Vijay D'Silva, Sampada Sonalkar, S. Ramesh: Existential abstractions for distributed reactive systems via syntactic transformations. EMSOFT 2007: 240-248
2004
c3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
S. Ramesh, Sampada Sonalkar, Vijay D'Silva, Naveen Chandra, B. Vijayalakshmi: A Toolset for Modelling and Verification of GALS Systems. CAV 2004: 506-509
c2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Vijay D'Silva, S. Ramesh, Arcot Sowmya: Synchronous Protocol Automata: A Framework for Modelling and Verification of SoC Communication Architectures. DATE 2004: 390-395
c1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Vijay D'Silva, S. Ramesh, Arcot Sowmya: Bridge Over Troubled Wrappers: Automated Interface Synthesis. VLSI Design 2004: 189-194

Coauthor Index

1Karin Avnit
[j2] [c6]
2Martin Brain
[c12]
3Naveen Chandra
[c3]
4Alberto Griggio
[c12]
5Leopold Haller
[c14] [c12] [c11] [c10]
6Daniel Kroening (Daniel Kröning)
[c14] [c13] [c12] [c11] [c10] [c8] [c7] [j1] [c5]
7Sri Parameswaran
[j2] [c6]
8Mitra Purandare
[c8] [c5]
9S. Ramesh (Sethu Ramesh)
[j2] [c6] [c4] [c3] [c2] [c1]
10Sampada Sonalkar
[c4] [c3]
11Arcot Sowmya
[j2] [c6] [c2] [c1]
12Michael Tautschnig
[c10]
13B. Vijayalakshmi
[c3]
14Thomas Wahl
[j3]
15Georg Weissenbacher
[c8] [j1]

Colors in the list of coauthors

Home | Conferences | Journals | Series | FAQ — Search: Faceted | Free | Complete | Author
Last update Sat May 25 13:21:22 2013 CET by the DBLP Team — This material is Open Data Data released under the ODC-BY 1.0 license — See also our legal information page