Vijay D'Silva

Citado por

	Total	Desde 2020
Citas	1825	483
Índice h	18	8
Índice i10	22	8

180

135

20042005200620072008200920102011201220132014201520162017201820192020202120222023202420256 4 18 16 28 49 64 63 68 99 149 151 171 155 144 131 98 116 72 105 75 17

Acceso público

Ver todo

1 artículo

0 artículos

disponibles

no disponibles

Basado en requisitos de financiación

Coautores

Daniel KroeningAmazonDirección de correo verificada de amazon.com
Ramesh S.formerly Professor of Computer Science, IIT Bombay, now Technical Fellow, General Motors R&DDirección de correo verificada de iitbombay.org
Dawn SongProfessor of Computer Science, UC BerkeleyDirección de correo verificada de cs.berkeley.edu
Georg WeissenbacherProfessor of Computer Science, TU WienDirección de correo verificada de tuwien.ac.at
Mitra PurandareDirección de correo verificada de ost.ch
Alberto GriggioResearcher, Fondazione Bruno KesslerDirección de correo verificada de fbk.eu
Caterina UrbanInria & École Normale Supérieure | Université PSL, Paris, FranceDirección de correo verificada de inria.fr
Karin AvnitSingapore Institute of TechnologyDirección de correo verificada de singaporetech.edu.sg
Mathias PayerEPFL IC, HexHive LaboratoryDirección de correo verificada de nebelwelt.net
Marcelo SousaReviewpadDirección de correo verificada de reviewpad.com
Michael TautschnigQueen Mary University of LondonDirección de correo verificada de qmul.ac.uk
Naveen Chandra RanganathDirección de correo verificada de alum.mit.edu
César RodríguezCadence & Associate Professor, University of Paris 13, FranceDirección de correo verificada de lipn.fr
Thomas WahlNortheastern University, Boston, USADirección de correo verificada de northeastern.edu
Devdatta AkhaweFigma, Inc.Dirección de correo verificada de berkeley.edu
Prateek MittalProfessor, Princeton UniversityDirección de correo verificada de princeton.edu
Alessandra PalmigianoVrije Universiteit AmsterdamDirección de correo verificada de vu.nl
Leopold HallerAgentic AI Corporation

Seguir

Vijay D'Silva

Google Inc.

Dirección de correo verificada de google.com - Página principal

Logic Program Analysis Abstract Interpretation Data Visualization


Título Ordenar por citas Ordenar por año Ordenar por título	Citado por Citado por	Año
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	641	2008
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, ...	209*
The correctness-security gap in compiler optimization V D'Silva, M Payer, D Song 2015 IEEE Security and Privacy Workshops, 73-87, 2015	151	2015
Interpolant strength V D’Silva, D Kroening, M Purandare, G Weissenbacher Verification, Model Checking, and Abstract Interpretation, 129-145, 2010	135	2010
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	79	2014
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	62	2004
Numeric bounds analysis with conflict-driven learning V D’Silva, L Haller, D Kroening, M Tautschnig International Conference on Tools and Algorithms for the Construction and …, 2012	57	2012
Abstract conflict driven learning V D'Silva, L Haller, D Kroening Proceedings of the 40th annual ACM SIGPLAN-SIGACT symposium on Principles of …, 2013	55	2013
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	55	2004
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	51	2013
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	34	2004
Satisfiability solvers are static analysers V D’Silva, L Haller, D Kroening International Static Analysis Symposium, 317-333, 2012	32	2012
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	26	2013
Widening for automata V D’silva Diploma Thesis, Institut Fur Informatick, Universitat Zurich, 2006	25	2006
Approximation refinement for interpolation-based model checking V D’Silva, M Purandare, D Kroening Verification, Model Checking, and Abstract Interpretation, 68-82, 2008	23	2008
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	21	2009
Abstract satisfaction V D'Silva, L Haller, D Kroening Proceedings of the 41st ACM SIGPLAN-SIGACT Symposium on Principles of …, 2014	20	2014
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	20	2008
Propositional interpolation and abstract interpretation V D’Silva European Symposium on Programming, 185-204, 2010	18	2010
Abstract Interpretation with Unfoldings M Sousa, C Rodríguez, V D'Silva, D Kroening arXiv preprint arXiv:1705.00595, 2017	17	2017

El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.

Artículos 1–20

Citas por año

Citas duplicadas

Citas combinadas

Añadir coautoresCoautores

Seguir

Citado por

Coautores