The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Vijay Ganesh" ( http://dblp.L3S.de/Authors/Vijay_Ganesh )

URL (Homepage):  https://ece.uwaterloo.ca/~vganesh/  Author page on DBLP  Author page in RDF  Community of Vijay Ganesh in ASPL-2

Publication years (Num. hits)
1999-2012 (20) 2013-2015 (16) 2016-2017 (26) 2018 (16) 2019 (12)
Publication types (Num. hits)
article(33) inproceedings(55) proceedings(2)
Venues (Conferences, Journals, ...)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 12 occurrences of 7 keywords

Results
Found 91 publication records. Showing 90 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Jianmei Guo, Jia Hui Liang, Kai Shi 0006, Dingyu Yang, Jingsong Zhang, Krzysztof Czarnecki, Vijay Ganesh, Huiqun Yu SMTIBEA: a hybrid multi-objective optimization algorithm for configuring large constrained software product lines. Search on Bibsonomy Software and Systems Modeling The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Curtis Bright, Ilias Kotsireas, Albert Heinle, Vijay Ganesh Complex Golay Pairs up to Length 28: A Search via Computer Algebra and Programmatic SAT. Search on Bibsonomy CoRR The full citation details ... 2019 DBLP  BibTeX  RDF
1Curtis Bright, Ilias Kotsireas, Vijay Ganesh SAT Solvers and Computer Algebra Systems: A Powerful Combination for Mathematics. Search on Bibsonomy CoRR The full citation details ... 2019 DBLP  BibTeX  RDF
1Curtis Bright, Dragomir Z. Dokovic, Ilias Kotsireas, Vijay Ganesh The SAT+CAS Method for Combinatorial Search with Applications to Best Matrices. Search on Bibsonomy CoRR The full citation details ... 2019 DBLP  BibTeX  RDF
1Curtis Bright, Jürgen Gerhard, Ilias Kotsireas, Vijay Ganesh Effective problem solving using SAT solvers. Search on Bibsonomy CoRR The full citation details ... 2019 DBLP  BibTeX  RDF
1Curtis Bright, Ilias Kotsireas, Vijay Ganesh New Infinite Families of Perfect Quaternion Sequences and Williamson Sequences. Search on Bibsonomy CoRR The full citation details ... 2019 DBLP  BibTeX  RDF
1Yannik Potdevin, Dirk Nowotka, Vijay Ganesh An Empirical Investigation of Randomized Defenses against Adversarial Attacks. Search on Bibsonomy CoRR The full citation details ... 2019 DBLP  BibTeX  RDF
1Hari Govind V. K., Yakir Vizel, Vijay Ganesh, Arie Gurfinkel Interpolating Strong Induction. Search on Bibsonomy CoRR The full citation details ... 2019 DBLP  BibTeX  RDF
1Hari Govind Vediramana Krishnan, Yakir Vizel, Vijay Ganesh, Arie Gurfinkel Interpolating Strong Induction. Search on Bibsonomy CAV (2) The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Reza Babaee, Vijay Ganesh, Sean Sedwards Accelerated Learning of Predictive Runtime Monitors for Rare Failure. Search on Bibsonomy RV The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Curtis Bright, Dragomir Z. Ðokovic, Ilias Kotsireas, Vijay Ganesh A SAT+CAS Approach to Finding Good Matrices: New Examples and Counterexamples. Search on Bibsonomy AAAI The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Adam Kiezun, Philip J. Guo, Pieter Hooimeijer, Michael D. Ernst, Vijay Ganesh Theory and practice of string solvers (invited talk abstract). Search on Bibsonomy ISSTA The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Curtis Bright, Ilias Kotsireas, Vijay Ganesh The SAT+CAS paradigm and the Williamson conjecture. Search on Bibsonomy ACM Comm. Computer Algebra The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Curtis Bright, Ilias S. Kotsireas, Vijay Ganesh Applying Computer Algebra Systems and SAT Solvers to the Williamson Conjecture. Search on Bibsonomy CoRR The full citation details ... 2018 DBLP  BibTeX  RDF
1Curtis Bright, Ilias S. Kotsireas, Albert Heinle, Vijay Ganesh Enumeration of Complex Golay Pairs via Programmatic SAT. Search on Bibsonomy CoRR The full citation details ... 2018 DBLP  BibTeX  RDF
1Curtis Bright, Dragomir Z. Djokovic, Ilias S. Kotsireas, Vijay Ganesh A SAT+CAS Approach to Finding Good Matrices: New Examples and Counterexamples. Search on Bibsonomy CoRR The full citation details ... 2018 DBLP  BibTeX  RDF
1Joel D. Day, Vijay Ganesh, Paul He, Florin Manea, Dirk Nowotka The Satisfiability of Extended Word Equations: The Boundary Between Decidability and Undecidability. Search on Bibsonomy CoRR The full citation details ... 2018 DBLP  BibTeX  RDF
1Robert Robere, Antonina Kolokolova, Vijay Ganesh The Proof Complexity of SMT Solvers. Search on Bibsonomy CAV (2) The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Dmitry Blotsky, Federico Mora, Murphy Berzish, Yunhui Zheng, Ifaz Kabir, Vijay Ganesh StringFuzz: A Fuzzer for String Solvers. Search on Bibsonomy CAV (2) The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Curtis Bright, Ilias S. Kotsireas, Vijay Ganesh A SAT+CAS Method for Enumerating Williamson Matrices of Even Order. Search on Bibsonomy AAAI The full citation details ... 2018 DBLP  BibTeX  RDF
1Zack Newsham, Vijay Ganesh, Sebastian Fischmeister Predicting SAT Solver Performance on Heterogeneous Hardware. Search on Bibsonomy POS@SAT The full citation details ... 2018 DBLP  BibTeX  RDF
1Jia Hui Liang, Chanseok Oh, Minu Mathew, Ciza Thomas, Chunxiao Li, Vijay Ganesh Machine Learning-Based Restart Policy for CDCL SAT Solvers. Search on Bibsonomy SAT The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Edward Zulkoski, Ruben Martins, Christoph M. Wintersteiger, Jia Hui Liang, Krzysztof Czarnecki, Vijay Ganesh The Effect of Structural Measures and Merges on SAT Solver Performance. Search on Bibsonomy CP The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Edward Zulkoski, Ruben Martins, Christoph M. Wintersteiger, Robert Robere, Jia Hui Liang, Krzysztof Czarnecki, Vijay Ganesh Learning-Sensitive Backdoors with Restarts. Search on Bibsonomy CP The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Saeed Nejati, Jan Horácek, Catherine H. Gebotys, Vijay Ganesh Algebraic Fault Attack on SHA Hash Functions Using Programmatic SAT Solvers. Search on Bibsonomy CP The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Joel D. Day, Vijay Ganesh, Paul He, Florin Manea, Dirk Nowotka The Satisfiability of Word Equations: Decidable and Undecidable Theories. Search on Bibsonomy RP The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Jia Liang, Hari Govind V. K., Pascal Poupart, Krzysztof Czarnecki, Vijay Ganesh An Empirical Study of Branching Heuristics through the Lens of Global Learning Rate. Search on Bibsonomy IJCAI The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Curtis Bright, Ilias S. Kotsireas, Albert Heinle, Vijay Ganesh Enumeration of Complex Golay Pairs via Programmatic SAT. Search on Bibsonomy ISSAC The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Yunhui Zheng, Vijay Ganesh, Sanu Subramanian, Omer Tripp, Murphy Berzish, Julian Dolby, Xiangyu Zhang 0001 Z3str2: an efficient solver for strings, regular expressions, and length constraints. Search on Bibsonomy Formal Methods in System Design The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Martín Ochoa, Sebastian Banescu, Cynthia Disenfeld, Gilles Barthe, Vijay Ganesh Reasoning about Probabilistic Defense Mechanisms against Remote Attacks. Search on Bibsonomy CoRR The full citation details ... 2017 DBLP  BibTeX  RDF
1Edward Zulkoski, Ruben Martins, Christoph M. Wintersteiger, Robert Robere, Jia Liang, Krzysztof Czarnecki, Vijay Ganesh Relating Complexity-theoretic Parameters with SAT Solver Performance. Search on Bibsonomy CoRR The full citation details ... 2017 DBLP  BibTeX  RDF
1Murphy Berzish, Yunhui Zheng, Vijay Ganesh Z3str3: A String Solver with Theory-aware Branching. Search on Bibsonomy CoRR The full citation details ... 2017 DBLP  BibTeX  RDF
1Edward Zulkoski, Curtis Bright, Albert Heinle, Ilias S. Kotsireas, Krzysztof Czarnecki, Vijay Ganesh Combining SAT Solvers with Computer Algebra Systems to Verify Combinatorial Conjectures. Search on Bibsonomy J. Autom. Reasoning The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Saeed Nejati, Jia Hui Liang, Catherine H. Gebotys, Krzysztof Czarnecki, Vijay Ganesh Adaptive Restart and CEGAR-Based Solver for Inverting Cryptographic Hash Functions. Search on Bibsonomy VSTTE The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Martín Ochoa, Sebastian Banescu, Cynthia Disenfeld, Gilles Barthe, Vijay Ganesh Reasoning about Probabilistic Defense Mechanisms against Remote Attacks. Search on Bibsonomy EuroS&P The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Erika Ábrahám, John Abbott, Bernd Becker 0001, Anna Maria Bigatti, Martin Brain, Alessandro Cimatti, James H. Davenport, Matthew England, Pascal Fontaine, Stephen Forrest, Vijay Ganesh, Alberto Griggio, Daniel Kroening, Werner M. Seiler SC-square: when Satisfiability Checking and Symbolic Computation join forces. Search on Bibsonomy ARCADE@CADE The full citation details ... 2017 DBLP  BibTeX  RDF
1Jia Hui Liang, Hari Govind V. K., Pascal Poupart, Krzysztof Czarnecki, Vijay Ganesh An Empirical Study of Branching Heuristics Through the Lens of Global Learning Rate. Search on Bibsonomy SAT The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Saeed Nejati, Zack Newsham, Joseph Scott, Jia Hui Liang, Catherine H. Gebotys, Pascal Poupart, Vijay Ganesh A Propagation Rate Based Splitting Heuristic for Divide-and-Conquer Solvers. Search on Bibsonomy SAT The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Murphy Berzish, Vijay Ganesh, Yunhui Zheng Z3str3: A string solver with theory-aware heuristics. Search on Bibsonomy FMCAD The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Sanu Subramanian, Murphy Berzish, Vijay Ganesh, Omer Tripp A solver for a theory of string and bit-vectors. Search on Bibsonomy ICSE (Companion Volume) The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Matthew England, Vijay Ganesh Preface. Search on Bibsonomy SC²@ISSAC The full citation details ... 2017 DBLP  BibTeX  RDF
1Matthew England, Vijay Ganesh (eds.) Proceedings of the 2nd International Workshop on Satisfiability Checking and Symbolic Computation co-located with the 42nd International Symposium on Symbolic and Algebraic Computation (ISSAC 2017), Kaiserslautern, Germany, July 29, 2017. Search on Bibsonomy SC²@ISSAC The full citation details ... 2017 DBLP  BibTeX  RDF
1Vijay Ganesh, Murphy Berzish Undecidability of a Theory of Strings, Linear Arithmetic over Length, and String-Number Conversion. Search on Bibsonomy CoRR The full citation details ... 2016 DBLP  BibTeX  RDF
1Saeed Nejati, Jia Hui Liang, Vijay Ganesh, Catherine H. Gebotys, Krzysztof Czarnecki Adaptive Restart and CEGAR-based Solver for Inverting Cryptographic Hash Functions. Search on Bibsonomy CoRR The full citation details ... 2016 DBLP  BibTeX  RDF
1Sanu Subramanian, Murphy Berzish, Yunhui Zheng, Omer Tripp, Vijay Ganesh A Solver for a Theory of Strings and Bit-vectors. Search on Bibsonomy CoRR The full citation details ... 2016 DBLP  BibTeX  RDF
1Steven T. Stewart, Derek Rayside, Vijay Ganesh, Krzysztof Czarnecki Accelerating the General Simplex Procedure for Linear Real Arithmetic via GPUs. Search on Bibsonomy VSTTE The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Jia Hui Liang, Vijay Ganesh, Pascal Poupart, Krzysztof Czarnecki Exponential Recency Weighted Average Branching Heuristic for SAT Solvers. Search on Bibsonomy AAAI The full citation details ... 2016 DBLP  BibTeX  RDF
1Jia Hui Liang, Vijay Ganesh, Pascal Poupart, Krzysztof Czarnecki Learning Rate Based Branching Heuristic for SAT Solvers. Search on Bibsonomy SAT The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Curtis Bright, Vijay Ganesh, Albert Heinle, Ilias S. Kotsireas, Saeed Nejati, Krzysztof Czarnecki MathCheck2: A SAT+CAS Verifier for Combinatorial Conjectures. Search on Bibsonomy SC²@SYNASC The full citation details ... 2016 DBLP  BibTeX  RDF
1Edward Zulkoski, Vijay Ganesh, Krzysztof Czarnecki MATHCHECK: A Math Assistant via a Combination of Computer Algebra Systems and SAT Solvers. Search on Bibsonomy IJCAI The full citation details ... 2016 DBLP  BibTeX  RDF
1Sebastian Banescu, Christian S. Collberg, Vijay Ganesh, Zack Newsham, Alexander Pretschner Code obfuscation against symbolic execution attacks. Search on Bibsonomy ACSAC The full citation details ... 2016 DBLP  BibTeX  RDF
1Curtis Bright, Vijay Ganesh, Albert Heinle, Ilias S. Kotsireas, Saeed Nejati, Krzysztof Czarnecki MathCheck2: A SAT+CAS Verifier for Combinatorial Conjectures. Search on Bibsonomy CASC The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Murphy Berzish, Asif Khan, Atulan Zaman, Vijay Ganesh, Derek Rayside Manifold: an SMT-based declarative language for electronic and microfluidic design synthesis. Search on Bibsonomy CASCON The full citation details ... 2016 DBLP  BibTeX  RDF
1Riyad Parvez, Paul A. S. Ward, Vijay Ganesh Combining static analysis and targeted symbolic execution for scalable bug-finding in application binaries. Search on Bibsonomy CASCON The full citation details ... 2016 DBLP  BibTeX  RDF
1Armin Biere, Vijay Ganesh, Martin Grohe, Jakob Nordström, Ryan Williams 0001 Theory and Practice of SAT Solving (Dagstuhl Seminar 15171). Search on Bibsonomy Dagstuhl Reports The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Jia Hui (Jimmy) Liang, Vijay Ganesh, Ed Zulkoski, Atulan Zaman, Krzysztof Czarnecki Understanding VSIDS Branching Heuristics in Conflict-Driven Clause-Learning SAT Solvers. Search on Bibsonomy CoRR The full citation details ... 2015 DBLP  BibTeX  RDF
1Vijay Ganesh, Sebastian Banescu, Martín Ochoa The Meaning of Attack-Resistant Programs. Search on Bibsonomy CoRR The full citation details ... 2015 DBLP  BibTeX  RDF
1Jia Hui (Jimmy) Liang, Vijay Ganesh, Venkatesh Raman 0001, Krzysztof Czarnecki SAT-based Analysis of Large Real-world Feature Models is Easy. Search on Bibsonomy CoRR The full citation details ... 2015 DBLP  BibTeX  RDF
1Yunhui Zheng, Vijay Ganesh, Sanu Subramanian, Omer Tripp, Julian Dolby, Xiangyu Zhang 0001 Effective Search-Space Pruning for Solvers of String Equations, Regular Expressions and Length Constraints. Search on Bibsonomy CAV (1) The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Vijay Ganesh, Sebastian Banescu, Martín Ochoa Short Paper: The Meaning of Attack-Resistant Systems. Search on Bibsonomy PLAS@ECOOP The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Edward Zulkoski, Vijay Ganesh, Krzysztof Czarnecki MathCheck: A Math Assistant via a Combination of Computer Algebra Systems and SAT Solvers. Search on Bibsonomy CADE The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Zack Newsham, William Lindsay, Vijay Ganesh, Jia Hui Liang, Sebastian Fischmeister, Krzysztof Czarnecki SATGraf: Visualizing the Evolution of SAT Formula Structure in Solvers. Search on Bibsonomy SAT The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Jia Hui Liang, Vijay Ganesh, Ed Zulkoski, Atulan Zaman, Krzysztof Czarnecki Understanding VSIDS Branching Heuristics in Conflict-Driven Clause-Learning SAT Solvers. Search on Bibsonomy Haifa Verification Conference The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Jia Hui (Jimmy) Liang, Vijay Ganesh, Krzysztof Czarnecki, Venkatesh Raman 0001 SAT-based analysis of large real-world feature models is easy. Search on Bibsonomy SPLC The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Cristian Cadar, Vijay Ganesh, Raimondas Sasnauskas, Koushik Sen Symbolic Execution and Constraint Solving (Dagstuhl Seminar 14442). Search on Bibsonomy Dagstuhl Reports The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Zack Newsham, Vijay Ganesh, Sebastian Fischmeister, Gilles Audemard, Laurent Simon Impact of Community Structure on SAT Solver Performance. Search on Bibsonomy SAT The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Vijay Ganesh, Nicky Williams (eds.) Proceedings of the 6th International Workshop on Constraints in Software Testing, Verification, and Analysis, CSTVA 2014, Hyderabad, India, May 31, 2014 Search on Bibsonomy CSTVA The full citation details ... 2014 DBLP  BibTeX  RDF
1Karthick Jayaraman, Mahesh V. Tripunitara, Vijay Ganesh, Martin C. Rinard, Steve J. Chapin Mohawk: Abstraction-Refinement and Bound-Estimation for Verifying Access Control Policies. Search on Bibsonomy ACM Trans. Inf. Syst. Secur. The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Vijay Ganesh, Mia Minnes, Armando Solar-Lezama, Martin C. Rinard (Un)Decidability Results for Word Equations with Length and Regular Expression Constraints. Search on Bibsonomy CoRR The full citation details ... 2013 DBLP  BibTeX  RDF
1Yunhui Zheng, Xiangyu Zhang 0001, Vijay Ganesh Z3-str: a z3-based string solver for web application analysis. Search on Bibsonomy ESEC/SIGSOFT FSE The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Vijay Ganesh STP/HAMPI and Computer Security Search on Bibsonomy CoRR The full citation details ... 2012 DBLP  BibTeX  RDF
1Vijay Ganesh, Michael Carbin, Martin C. Rinard Cryptographic Path Hardening: Hiding Vulnerabilities in Software through Cryptography Search on Bibsonomy CoRR The full citation details ... 2012 DBLP  BibTeX  RDF
1Adam Kiezun, Vijay Ganesh, Shay Artzi, Philip J. Guo, Pieter Hooimeijer, Michael D. Ernst HAMPI: A solver for word equations over strings, regular expressions, and context-free grammars. Search on Bibsonomy ACM Trans. Softw. Eng. Methodol. The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Nikolaj Bjørner, Vijay Ganesh, Raphaël Michel, Margus Veanes SMT-LIB Sequences and Regular Expressions. Search on Bibsonomy SMT@IJCAR The full citation details ... 2012 DBLP  BibTeX  RDF
1Raphaël Michel, Arnaud Hubaux, Vijay Ganesh, Patrick Heymans An SMT-based approach to automated configuration. Search on Bibsonomy SMT@IJCAR The full citation details ... 2012 DBLP  BibTeX  RDF
1Vijay Ganesh, Charles W. O'Donnell, Mate Soos, Srinivas Devadas, Martin C. Rinard, Armando Solar-Lezama Lynx: A Programmatic SAT Solver for the RNA-Folding Problem. Search on Bibsonomy SAT The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Vijay Ganesh, Mia Minnes, Armando Solar-Lezama, Martin C. Rinard Word Equations with Length Constraints: What's Decidable? Search on Bibsonomy Haifa Verification Conference The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Fan Long, Vijay Ganesh, Michael Carbin, Stelios Sidiroglou, Martin C. Rinard Automatic input rectification. Search on Bibsonomy ICSE The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Karthick Jayaraman, Vijay Ganesh, Mahesh V. Tripunitara, Martin C. Rinard, Steve J. Chapin ARBAC Policy for a Large Multi-National Bank Search on Bibsonomy CoRR The full citation details ... 2011 DBLP  BibTeX  RDF
1Karthick Jayaraman, Vijay Ganesh, Mahesh V. Tripunitara, Martin C. Rinard, Steve J. Chapin Automatic error finding in access-control policies. Search on Bibsonomy ACM Conference on Computer and Communications Security The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Vijay Ganesh, Adam Kiezun, Shay Artzi, Philip J. Guo, Pieter Hooimeijer, Michael D. Ernst HAMPI: A String Solver for Testing, Analysis and Vulnerability Detection. Search on Bibsonomy CAV The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Adam Kiezun, Vijay Ganesh, Philip J. Guo, Pieter Hooimeijer, Michael D. Ernst HAMPI: a solver for string constraints. Search on Bibsonomy ISSTA The full citation details ... 2009 DBLP  DOI  BibTeX  RDF string constraints, regular languages, context-free languages
1Karthick Jayaraman, David Harvison, Vijay Ganesh, Adam Kiezun jFuzz: A Concolic Whitebox Fuzzer for Java. Search on Bibsonomy NASA Formal Methods The full citation details ... 2009 DBLP  BibTeX  RDF
1Vijay Ganesh, Tim Leek, Martin C. Rinard Taint-based directed whitebox fuzzing. Search on Bibsonomy ICSE The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Cristian Cadar, Vijay Ganesh, Peter M. Pawlowski, David L. Dill, Dawson R. Engler EXE: Automatically Generating Inputs of Death. Search on Bibsonomy ACM Trans. Inf. Syst. Secur. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF attack generation, dynamic analysis, symbolic execution, test case generation, constraint solving, bug finding
1Vijay Ganesh, David L. Dill A Decision Procedure for Bit-Vectors and Arrays. Search on Bibsonomy CAV The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Cristian Cadar, Vijay Ganesh, Peter M. Pawlowski, David L. Dill, Dawson R. Engler EXE: automatically generating inputs of death. Search on Bibsonomy ACM Conference on Computer and Communications Security The full citation details ... 2006 DBLP  DOI  BibTeX  RDF attack generation, dynamic analysis, symbolic execution, test case generation, constraint solving, bug finding
1Sergey Berezin, Vijay Ganesh, David L. Dill An Online Proof-Producing Decision Procedure for Mixed-Integer Linear Arithmetic. Search on Bibsonomy TACAS The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
1Vijay Ganesh, Sergey Berezin, David L. Dill Deciding Presburger Arithmetic by Model Checking and Comparisons with Other Methods. Search on Bibsonomy FMCAD The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1Ashok Halambi, Peter Grun, Vijay Ganesh, Asheesh Khare, Nikil D. Dutt, Alexandru Nicolau EXPRESSION: A Language for Architecture Exploration through Compiler/Simulator Retargetability. Search on Bibsonomy DATE The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #90 of 90 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license