Vijay D'Silva : Publications
Journal papers
[1] |
A lazy approach to symmetry reduction Thomas Wahl and Vijay D'Silva In Formal Aspects of Computing. Vol. 22. No. 6. Pages 713−733. 2010. |
[2] |
Synchronous protocol automata: a framework for modelling and verification of SoC communication architectures Vijay D'Silva‚ S. Ramesh and Arcot Sowmya In IEE Proceedings − Computers and Digital Techniques. Vol. 152. No. 1. Pages 20–27. January, 2005. |
[3] |
Provably correct on−chip communication: A formal approach to automatic protocol converter synthesis Karin Avnit‚ Vijay D'Silva‚ Arcot Sowmya‚ S. Ramesh and Sri Parameswaran In Transaction on Design Automation of Electronic Systems (TODAES). Vol. 14. No. 2. Pages 1–41. March, 2009. |
[4] |
A Survey of Automated Techniques for Formal Software Verification Vijay D'Silva‚ Daniel Kroening and Georg Weissenbacher In IEEE Transactions on Computer−Aided Design of Integrated Circuits and Systems (TCAD). Vol. 27. No. 7. Pages 1165−1178. July, 2008. |
Conference papers
[1] |
Numeric Bounds Analysis with Conflict−Driven Learning Vijay D'Silva‚ Leopold Haller‚ Daniel Kroening and Michael Tautschnig In TACAS. 2012. |
[2] |
Contextual Policy Enforcement in Android Programs with Permission Event Graphs Kevin Chen‚ Noah Johnson‚ Vijay D'Silva‚ Shuaifu Dai‚ Tom Magrino‚ Kyle Macnamarra‚ Edward Wu‚ Martin Rinard and Dawn Song In Proc. of the Conference on Networked and Distributed System Security. 2013. |
[3] |
Abstraction of Syntax V. D'Silva and D. Kroening In Proc. of the conference on Verification‚ Model Checking and Abstract Interpretation. Springer−Verlag. 2013. |
[4] |
Abstract Conflict Driven Learning V. D'Silva‚ L. Haller and D. Kroening In Proc. of the Symposium on Principles of Programming Languages. ACM. 2013. |
[5] |
An Abstract Interpretation of DPLL(T) M. Brain‚ V. D'Silva‚ L. Haller‚ A. Griggio and D. Kroening In Proc. of the conference on Verification‚ Model Checking and Abstract Interpretation. 2013. |
[6] |
Satisfiability Solvers are Static Analysers V. D'Silva‚ L. Haller and D. Kroening In Proc. of Static Analysis Symposium. Pages 317−333. Springer. 2012. |
[7] |
Propositional Interpolation and Abstract Interpretation Vijay D'Silva In Andrew Gordon, editor, Proceedings of the European Symposium on Programming. Vol. 6012/2010 of Lecture Notes in Computer Science. Pages 185−204. Springer.. 2010. Presentation slides. Paper from Springer. Details | BibTeX | DOI (10.1007/978-3-642-11957-6) | Download (pdf) |
[8] |
Interpolant Strength Vijay D'Silva‚ Daniel Kroening‚ Mitra Purandare and Georg Weissenbacher In Proceedings of the International Conference on Verification‚ Model Checking‚ and Abstract Interpretation (VMCAI). Vol. 5944 of Lecture Notes in Computer Science. Pages 129−145. Springer. January, 2010. Extended version available as technical report. Download slides. Details | BibTeX | DOI (10.1007/978-3-642-11319-2_12) | Link |
[9] |
A Toolset for Modelling and Verification of GALS Systems S. Ramesh‚ Sampada Sonalkar‚ Vijay D'Silva‚ Naveen Chandra and B. Vijayalakshmi In Rajeev Alur and Doron Peled, editors, 16th International Conference on Computer Aided Verification (CAV). Vol. 3114 of Lecture Notes in Computer Science. Pages 506−509. Springer. July, 2004. |
[10] |
Bridge Over Troubled Wrappers: Automated Interface Synthesis Vijay D'Silva‚ S. Ramesh and Arcot Sowmya In Dinesh Sharma and Srimat Chakradar, editors, Proceedings of the 17th International Conference on VLSI Design. Pages 189. Washington‚ DC‚ USA. January, 2004. IEEE Computer Society. Details | BibTeX | DOI (http://doi.ieeecomputersociety.org/10.1109/ICVD.2004.1260923) | Link |
[11] |
Synchronous Protocol Automata: A Framework for Modelling and Verification of SoC Communication Architectures Vijay D'Silva‚ S. Ramesh and Arcot Sowmya In Georges Gielen, editor, Proceedings of the Conference on Design Automation and Test in Europe (DATE). Vol. 1. Pages 10390–10395. ACM/IEEE. February, 2004. |
[12] |
Existential abstractions for distributed reactive systems via syntactic transformations Vijay D'Silva‚ Sampada Sonalkar and S. Ramesh In Christoph M. Kirsch and Reinhard Wilhelm, editors, Proceedings of the 7th ACM & IEEE international conference on Embedded software (EMSOFT). Pages 240 − 248. September, 2007. |
[13] |
Approximation Refinement for Interpolation−Based Model Checking Vijay D'Silva‚ Mitra Purandare and Daniel Kroening In Francesco Logozzo‚ Doron Peled and Lenore D. Zuck, editors, Proceedings of the International Conference on Verification‚ Model Checking‚ and Abstract Interpretation (VMCAI). Vol. 4905 of Lecture Notes in Computer Science. Pages 68–82. Heidelberg‚ Germany. January, 2008. Springer. |
[14] |
A Formal Approach To The Protocol Converter Problem Karin Avnit‚ Vijay D'Silva‚ Arcot Sowmya‚ S. Ramesh and Sri Parameswaran In Zebo Peng, editor, Proceedings of the Conference on Design‚ Automation and Test in Europe (DATE). Pages 294–299. ACM/IEEE. March, 2008. |
[15] |
Fixed Points in Multi−Cycle Path Detection Vijay D'Silva and Daniel Kroening In Bashir Al−Hashimi, editor, Proceedings of the Conference on Design Automation and Test in Europe (DATE). IEEE. April, 2009. |
Miscellaneous
[1] |
Tales from Verification History Vijay D'Silva 2009. |
[2] |
Restructuring Resolution Refutations for Interpolation Vijay D'Silva‚ Daniel Kroening‚ Mitra Purandare and Georg Weissenbacher October, 2008. |