Volgen
Vijay D'Silva
Vijay D'Silva
Google Inc.
Geverifieerd e-mailadres voor google.com - Homepage
Titel
Geciteerd door
Geciteerd door
Jaar
A survey of automated techniques for formal software verification
V D'Silva, D Kroening, G Weissenbacher
Computer-Aided Design of Integrated Circuits and Systems, IEEE Transactions …, 2008
5452008
Contextual Policy Enforcement in Android Applications with Permission Event Graphs
KZ Chen, N Johnson, V D’Silva, S Dai, K MacNamara, T Magrino, E Wu, ...
198*
Interpolant strength
V D’Silva, D Kroening, M Purandare, G Weissenbacher
Verification, Model Checking, and Abstract Interpretation, 129-145, 2010
1272010
The correctness-security gap in compiler optimization
V D'Silva, M Payer, D Song
2015 IEEE Security and Privacy Workshops, 73-87, 2015
1022015
Deciding floating-point logic with abstract conflict driven clause learning
M Brain, V D’silva, A Griggio, L Haller, D Kroening
Formal Methods in System Design 45 (2), 213-245, 2014
722014
Synchronous protocol automata: a framework for modelling and verification of SoC communication architectures
V D'silva, S Ramesh, A Sowmya
IEE Proceedings-Computers and Digital Techniques 152 (1), 20-27, 2005
652005
Synchronous protocol automata: a framework for modelling and verification of SoC communication architectures
V D'silva, S Ramesh, A Sowmya
IEE Proceedings-Computers and Digital Techniques 152 (1), 20-27, 2005
652005
Synchronous protocol automata: A framework for modelling and verification of soc communication architectures
V D'silva, S Ramesh, A Sowmya
Proceedings of the conference on Design, automation and test in Europe …, 2004
652004
Bridge over troubled wrappers: Automated interface synthesis
V D'silva, S Ramesh, A Sowmya
VLSI Design, 2004. Proceedings. 17th International Conference on, 189-194, 2004
562004
Abstract conflict driven learning
V D'Silva, L Haller, D Kroening
Proceedings of the 40th annual ACM SIGPLAN-SIGACT symposium on Principles of …, 2013
542013
Numeric bounds analysis with conflict-driven learning
V D’Silva, L Haller, D Kroening, M Tautschnig
Tools and Algorithms for the Construction and Analysis of Systems: 18th …, 2012
542012
Blitz: Compositional bounded model checking for real-world programs
CY Cho, V D'Silva, D Song
2013 28th IEEE/ACM International Conference on Automated Software …, 2013
442013
A toolset for modelling and verification of gals systems
S Ramesh, S Sonalkar, V D’silva, N Chandra R, B Vijayalakshmi
Computer Aided Verification, 385-387, 2004
362004
Satisfiability solvers are static analysers
V D’Silva, L Haller, D Kroening
Static Analysis: 19th International Symposium, SAS 2012, Deauville, France …, 2012
322012
Interpolation-based verification of floating-point programs with abstract CDCL
M Brain, V D’Silva, A Griggio, L Haller, D Kroening
Static Analysis: 20th International Symposium, SAS 2013, Seattle, WA, USA …, 2013
252013
Provably correct on-chip communication: A formal approach to automatic protocol converter synthesis
K Avnit, V D'silva, A Sowmya, S Ramesh, S Parameswaran
ACM Transactions on Design Automation of Electronic Systems (TODAES) 14 (2 …, 2009
212009
Approximation refinement for interpolation-based model checking
V D’Silva, M Purandare, D Kroening
Verification, Model Checking, and Abstract Interpretation, 68-82, 2008
212008
Widening for automata
V D’silva
Diploma Thesis, Institut Fur Informatick, Universitat Zurich, 2006
212006
Abstract satisfaction
V D'Silva, L Haller, D Kroening
Proceedings of the 41st ACM SIGPLAN-SIGACT Symposium on Principles of …, 2014
202014
A formal approach to the protocol converter problem
K Avnit, V D'Silva, A Sowmya, S Ramesh, S Parameswaran
Proceedings of the conference on Design, automation and test in Europe, 294-299, 2008
202008
Het systeem kan de bewerking nu niet uitvoeren. Probeer het later opnieuw.
Artikelen 1–20