Sandip Ray Home Page Coauthor index pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

DBLP keys2011
20Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLOswaldo Olivo, Sandip Ray, Jayanta Bhadra, Vivekananda M. Vedula: A Unified Formal Framework for Analyzing Functional and Speed-path Properties. MTV 2011: 44-45
19Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMichael J. C. Gordon, Matt Kaufmann, Sandip Ray: The Right Tools for the Job: Correctness of Cone of Influence Reduction Proved Using ACL2 and HOL4. J. Autom. Reasoning 47(1): 1-16 (2011)
2010
18Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKecheng Hao, Fei Xie, Sandip Ray, Jin Yang: Optimizing equivalence checking for behavioral synthesis. DATE 2010: 1500-1505
17Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSandip Ray, Jayanta Bhadra, Thomas Portlock, Ronald Syzdek: Modeling and verification of industrial flash memories. ISQED 2010: 705-712
16Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSandip Ray, Jayanta Bhadra: Innovative practices session 7C: Verification and testing challenges in high-level synthesis. VTS 2010: 250
2009
15Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSandip Ray, Kecheng Hao, Yan Chen, Fei Xie, Jin Yang: Formal Verification for High-Assurance Behavioral Synthesis. ATVA 2009: 337-351
14Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSandip Ray, Warren A. Hunt Jr.: Connecting pre-silicon and post-silicon verification. FMCAD 2009: 160-163
13Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMatt Kaufmann, J. Strother Moore, Sandip Ray, Erik Reeber: Integrating external deduction tools with ACL2. J. Applied Logic 7(1): 3-25 (2009)
2008
12Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWarren A. Hunt Jr., Robert Bellarmine Krug, Sandip Ray, William D. Young: Mechanized Information Flow Analysis through Inductive Assertions. FMCAD 2008: 1-4
11Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSandip Ray: Abstraction as a Practical Debugging Tool. MTV 2008: 45-48
10Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSandip Ray, Warren A. Hunt Jr., John Matthews, J. Strother Moore: A Mechanical Analysis of Program Verification Strategies. J. Autom. Reasoning 40(4): 245-269 (2008)
9Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDavid A. Greve, Matt Kaufmann, Panagiotis Manolios, J. Strother Moore, Sandip Ray, José-Luis Ruiz-Reina, Rob Sumners, Daron Vroon, Matthew Wilding: Efficient execution in an automated reasoning environment. J. Funct. Program. 18(1): 15-46 (2008)
2007
8Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSandip Ray, Jayanta Bhadra: A Mechanized Refinement Framework for Analysis of Custom Memories. FMCAD 2007: 239-242
7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSandip Ray, Warren A. Hunt Jr.: Mechanized Certification of Secure Hardware Designs. MTV 2007: 25-32
6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJayanta Bhadra, Magdy S. Abadir, Li-C. Wang, Sandip Ray: A Survey of Hybrid Techniques for Functional Verification. IEEE Design & Test of Computers 24(2): 112-122 (2007)
5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSandip Ray, Rob Sumners: Combining Theorem Proving with Model Checking through Predicate Abstraction. IEEE Design & Test of Computers 24(2): 132-139 (2007)
2006
4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSandip Ray: Quantification in tail-recursive function definitions. ACL2 2006: 95-98
3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJohn Matthews, J. Strother Moore, Sandip Ray, Daron Vroon: Verification Condition Generation Via Theorem Proving. LPAR 2006: 362-376
2004
2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSandip Ray, Warren A. Hunt Jr.: Deductive Verification of Pipelined Machines Using First-Order Quantification. CAV 2004: 31-43
1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSandip Ray, J. Strother Moore: Proof Styles in Operational Semantics. FMCAD 2004: 67-81

Coauthor Index

1Magdy S. Abadir [6]
2Jayanta Bhadra (Jay Bhadra) [6] [8] [16] [17] [20]
3Yan Chen [15]
4Michael J. C. Gordon [19]
5David A. Greve [9]
6Kecheng Hao [15] [18]
7Warren A. Hunt Jr. [2] [7] [10] [12] [14]
8Matt Kaufmann [9] [13] [19]
9Robert Bellarmine Krug [12]
10Panagiotis Manolios (Pete Manolios) [9]
11John Matthews [3] [10]
12J. Strother Moore [1] [3] [9] [10] [13]
13Oswaldo Olivo [20]
14Thomas Portlock [17]
15Erik Reeber [13]
16José-Luis Ruiz-Reina [9]
17Robert W. Sumners (Rob Sumners) [5] [9]
18Ronald Syzdek [17]
19Vivekananda M. Vedula [20]
20Daron Vroon [3] [9]
21Li-C. Wang [6]
22Matthew Wilding [9]
23Fei Xie [15] [18]
24Jin Yang [15] [18]
25William D. Young [12]

Colors in the list of coauthors

Last update Sat May 26 02:31:23 2012 CET by the DBLP TeamThis material is Open Data Data released under the ODC-BY 1.0 license — See also our legal information page