The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Aarti Gupta" ( http://dblp.L3S.de/Authors/Aarti_Gupta )

URL (Homepage):  https://www.cs.princeton.edu/people/profile/aartig  Author page on DBLP  Author page in RDF  Community of Aarti Gupta in ASPL-2

Publication years (Num. hits)
1986-2001 (17) 2002-2005 (23) 2006-2007 (26) 2008-2009 (22) 2010-2011 (15) 2012-2014 (19) 2015-2018 (20) 2019 (7)
Publication types (Num. hits)
article(21) book(1) incollection(3) inproceedings(123) proceedings(1)
Venues (Conferences, Journals, ...)
CAV(12) FMCAD(9) DAC(8) ICCAD(8) TACAS(6) ACM Trans. Design Autom. Elect...(5) VLSI Design(5) DATE(4) SAS(4) CAV (1)(3) CoRR(3) Haifa Verification Conference(3) ICCD(3) ICSE(3) MEMOCODE(3) SIGSOFT FSE(3) More (+10 of total 67)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 96 occurrences of 66 keywords

Results
Found 150 publication records. Showing 149 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Bo-Yuan Huang, Hongce Zhang, Pramod Subramanyan, Yakir Vizel, Aarti Gupta, Sharad Malik Instruction-Level Abstraction (ILA): A Uniform Specification for System-on-Chip (SoC) Verification. Search on Bibsonomy ACM Trans. Design Autom. Electr. Syst. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Grigory Fedyukovich, Sumanth Prabhu, Kumar Madhukar, Aarti Gupta Quantified Invariants via Syntax-Guided Synthesis. Search on Bibsonomy CAV (1) The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Bo-Yuan Huang, Hongce Zhang, Aarti Gupta, Sharad Malik ILAng: A Modeling and Verification Platform for SoCs Using Instruction-Level Abstractions. Search on Bibsonomy TACAS (1) The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Grigory Fedyukovich, Aarti Gupta Functional Synthesis with Examples. Search on Bibsonomy CP The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Weikun Yang, Grigory Fedyukovich, Aarti Gupta Lemma Synthesis for Automating Induction over Algebraic Data Types. Search on Bibsonomy CP The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Grigory Fedyukovich, Arie Gurfinkel, Aarti Gupta Lazy but Effective Functional Synthesis. Search on Bibsonomy VMCAI The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Jeffrey F. Lukman, Huan Ke, Cesar A. Stuardo, Riza O. Suminto, Daniar H. Kurniawan, Dikaimin Simon, Satria Priambada, Chen Tian 0002, Feng Ye, Tanakorn Leesatapornwongsa, Aarti Gupta, Shan Lu, Haryadi S. Gunawi FlyMC: Highly Scalable Testing of Complex Interleavings in Distributed Systems. Search on Bibsonomy EuroSys The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Aarti Gupta, Vineet Kahlon, Shaz Qadeer, Tayssir Touili Model Checking Concurrent Programs. Search on Bibsonomy Handbook of Model Checking The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Pramod Subramanyan, Bo-Yuan Huang, Yakir Vizel, Aarti Gupta, Sharad Malik Template-Based Parameterized Synthesis of Uniform Instruction-Level Abstractions for SoC Verification. Search on Bibsonomy IEEE Trans. on CAD of Integrated Circuits and Systems The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Bo-Yuan Huang, Hongce Zhang, Pramod Subramanyan, Yakir Vizel, Aarti Gupta, Sharad Malik Instruction-Level Abstraction (ILA): A Uniform Specification for System-on-Chip (SoC) Verification. Search on Bibsonomy CoRR The full citation details ... 2018 DBLP  BibTeX  RDF
1Ryan Beckett, Aarti Gupta, Ratul Mahajan, David Walker Control Plane Compression. Search on Bibsonomy CoRR The full citation details ... 2018 DBLP  BibTeX  RDF
1Lauren Pick, Grigory Fedyukovich, Aarti Gupta Exploiting Synchrony and Symmetry in Relational Verification. Search on Bibsonomy CAV (1) The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Weikun Yang, Yakir Vizel, Pramod Subramanyan, Aarti Gupta, Sharad Malik Lazy Self-composition for Security Verification. Search on Bibsonomy CAV (2) The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Grigory Fedyukovich, Yueling Zhang, Aarti Gupta Syntax-Guided Termination Analysis. Search on Bibsonomy CAV (1) The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Yatin A. Manerkar, Daniel Lustig, Margaret Martonosi, Aarti Gupta PipeProof: Automated Memory Consistency Proofs for Microarchitectural Specifications. Search on Bibsonomy MICRO The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Ryan Beckett, Aarti Gupta, Ratul Mahajan, David Walker Control plane compression. Search on Bibsonomy SIGCOMM The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Yue Xing, Bo-Yuan Huang, Aarti Gupta, Sharad Malik A formal instruction-level GPU model for scalable verification. Search on Bibsonomy ICCAD The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Grigory Fedyukovich, Sumanth Prabhu, Kumar Madhukar, Aarti Gupta Solving Constrained Horn Clauses Using Syntax and Data. Search on Bibsonomy FMCAD The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Hongce Zhang, Caroline Trippel, Yatin A. Manerkar, Aarti Gupta, Margaret Martonosi, Sharad Malik ILA-MCM: Integrating Memory Consistency Models with Instruction-Level Abstractions for Heterogeneous System-on-Chip Verification. Search on Bibsonomy FMCAD The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Bo-Yuan Huang, Sayak Ray, Aarti Gupta, Jason M. Fung, Sharad Malik Formal security verification of concurrent firmware in SoCs using instruction-level abstraction for hardware. Search on Bibsonomy DAC The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Ryan Beckett, Aarti Gupta, Ratul Mahajan, David Walker A General Approach to Network Configuration Verification. Search on Bibsonomy SIGCOMM The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Zhixing Xu, Aarti Gupta, Sharad Malik Trace-based Analysis of Memory Corruption Malware Attacks. Search on Bibsonomy Haifa Verification Conference The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Adarsh Yoga, Santosh Nagarakatte, Aarti Gupta Parallel data race detection for task parallel programs with locks. Search on Bibsonomy SIGSOFT FSE The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1David Menendez, Santosh Nagarakatte, Aarti Gupta Alive-FP: Automated Verification of Floating Point Based Peephole Optimizations in LLVM. Search on Bibsonomy SAS The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Franjo Ivancic, Gogul Balakrishnan, Aarti Gupta, Sriram Sankaranarayanan 0001, Naoto Maeda, Takashi Imoto, Rakesh Pothengil, Mustafa Hussain Scalable and scope-bounded software verification in Varvel. Search on Bibsonomy Autom. Softw. Eng. The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Sunha Ahn, Sharad Malik, Aarti Gupta Completeness bounds and sequentialization for model checking of interacting firmware and hardware. Search on Bibsonomy CODES+ISSS The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Shengjian Guo, Markus Kusano, Chao Wang 0001, Zijiang Yang, Aarti Gupta Assertion guided symbolic execution of multithreaded programs. Search on Bibsonomy ESEC/SIGSOFT FSE The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1M. V. Achutha Kiran Kumar, Aarti Gupta, S. S. Bindumadhava RTL2RTL Formal Equivalence: Boosting the Design Confidence. Search on Bibsonomy FSFMA The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Shuyuan Zhang, Franjo Ivancic, Cristian Lumezanu, Yifei Yuan, Aarti Gupta, Sharad Malik An Adaptable Rule Placement for Software-Defined Networks. Search on Bibsonomy DSN The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Aarti Gupta, V. M. Achutha KiranKumar, Rajnish Ghughal Formally Verifying Graphics FPU - An Intel® Experience. Search on Bibsonomy FM The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Yifei Yuan, Franjo Ivancic, Cristian Lumezanu, Shuyuan Zhang, Aarti Gupta Generating consistent updates for software-defined network configurations. Search on Bibsonomy HotSDN The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Xusheng Xiao, Gogul Balakrishnan, Franjo Ivancic, Naoto Maeda, Aarti Gupta, Deepak Chhetri ARC++: effective typestate and lifetime dependency analysis. Search on Bibsonomy ISSTA The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Yu Lin, Franjo Ivancic, Pallavi Joshi, Gogul Balakrishnan, Malay K. Ganai, Aarti Gupta Environment-Sensitive Performance Tuning for Distributed Service Orchestration. Search on Bibsonomy VECPAR The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Kaituo Li, Pallavi Joshi, Aarti Gupta, Malay K. Ganai ReproLite: A Lightweight Tool to Quickly Reproduce Hard System Bugs. Search on Bibsonomy SoCC The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Vineet Kahlon, Sriram Sankaranarayanan 0001, Aarti Gupta Static analysis for concurrent programs with applications to data race detection. Search on Bibsonomy STTT The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Houssam Abbas, Georgios E. Fainekos, Sriram Sankaranarayanan 0001, Franjo Ivancic, Aarti Gupta Probabilistic Temporal Logic Falsification of Cyber-Physical Systems. Search on Bibsonomy ACM Trans. Embedded Comput. Syst. The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Pallavi Joshi, Malay K. Ganai, Gogul Balakrishnan, Aarti Gupta, Nadia Papakonstantinou SETSUDŌ: perturbation-based testing framework for scalable distributed systems. Search on Bibsonomy TRIOS@SOSP The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Pranav Garg 0001, Franjo Ivancic, Gogul Balakrishnan, Naoto Maeda, Aarti Gupta Feedback-directed unit test generation for C/C++ using concolic execution. Search on Bibsonomy ICSE The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Sandip Ray, Jayanta Bhadra, Magdy S. Abadir, Li-C. Wang, Aarti Gupta Introduction to special section on verification challenges in the concurrent world. Search on Bibsonomy ACM Trans. Design Autom. Electr. Syst. The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Jing Yang 0003, Gogul Balakrishnan, Naoto Maeda, Franjo Ivancic, Aarti Gupta, Nishant Sinha 0001, Sriram Sankaranarayanan 0001, Naveen Sharma Object Model Construction for Inheritance in C++ and Its Applications to Program Analysis. Search on Bibsonomy CC The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Niloofar Razavi, Franjo Ivancic, Vineet Kahlon, Aarti Gupta Concurrent Test Generation Using Concolic Multi-trace Analysis. Search on Bibsonomy APLAS The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Malay K. Ganai, Dongyoon Lee, Aarti Gupta DTAM: dynamic taint analysis of multi-threaded programs for relevancy. Search on Bibsonomy SIGSOFT FSE The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Khalil Ghorbal, Parasara Sridhar Duggirala, Vineet Kahlon, Franjo Ivancic, Aarti Gupta Efficient Probabilistic Model Checking of Systems with Ranged Probabilities. Search on Bibsonomy RP The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1V. M. Achutha KiranKumar, Aarti Gupta, Rajnish Ghughal Symbolic Trajectory Evaluation: The primary validation Vehicle for next generation Intel® Processor Graphics FPU. Search on Bibsonomy FMCAD The full citation details ... 2012 DBLP  BibTeX  RDF
1Arnab Sinha, Sharad Malik, Aarti Gupta Efficient predictive analysis for detecting nondeterminism in multi-threaded programs. Search on Bibsonomy FMCAD The full citation details ... 2012 DBLP  BibTeX  RDF
1Khalil Ghorbal, Franjo Ivancic, Gogul Balakrishnan, Naoto Maeda, Aarti Gupta Donut Domains: Efficient Non-convex Domains for Abstract Interpretation. Search on Bibsonomy VMCAI The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Chao Wang 0001, Sudipta Kundu, Rhishikesh Limaye, Malay K. Ganai, Aarti Gupta Symbolic predictive analysis for concurrent programs. Search on Bibsonomy Formal Asp. Comput. The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Arnab Sinha, Sharad Malik, Chao Wang 0001, Aarti Gupta Predictive analysis for detecting serializability violations through Trace Segmentation. Search on Bibsonomy MEMOCODE The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Prakash Prabhu, Naoto Maeda, Gogul Balakrishnan, Franjo Ivancic, Aarti Gupta Interprocedural Exception Analysis for C++. Search on Bibsonomy ECOOP The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Gogul Balakrishnan, Naoto Maeda, Sriram Sankaranarayanan 0001, Franjo Ivancic, Aarti Gupta, Rakesh Pothengil Modeling and Analyzing the Interaction of C and C++ Strings. Search on Bibsonomy FoVeOOS The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Arnab Sinha, Sharad Malik, Chao Wang 0001, Aarti Gupta Predicting Serializability Violations: SMT-Based Search vs. DPOR-Based Search. Search on Bibsonomy Haifa Verification Conference The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Malay K. Ganai, Nipun Arora, Chao Wang 0001, Aarti Gupta, Gogul Balakrishnan BEST: A symbolic testing tool for predicting multi-threaded program failures. Search on Bibsonomy ASE The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Franjo Ivancic, Gogul Balakrishnan, Aarti Gupta, Sriram Sankaranarayanan 0001, Naoto Maeda, Hiroki Tokuoka, Takashi Imoto, Yoshiaki Miyazaki DC2: A framework for scalable, scope-bounded software verification. Search on Bibsonomy ASE The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Aarti Gupta Verifying concurrent programs: tutorial talk. Search on Bibsonomy FMCAD The full citation details ... 2011 DBLP  BibTeX  RDF
1Chao Wang 0001, Mahmoud Said, Aarti Gupta Coverage guided systematic concurrency testing. Search on Bibsonomy ICSE The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Franjo Ivancic, Malay K. Ganai, Sriram Sankaranarayanan 0001, Aarti Gupta Numerical stability analysis of floating-point computations using software model checking. Search on Bibsonomy MEMOCODE The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1William R. Harris, Sriram Sankaranarayanan 0001, Franjo Ivancic, Aarti Gupta Program analysis via satisfiability modulo path programs. Search on Bibsonomy POPL The full citation details ... 2010 DBLP  DOI  BibTeX  RDF program analysis, abstract interpretation, symbolic execution, path sensitivity, smt solvers, satisfiability solvers
1Truong Nghiem, Sriram Sankaranarayanan 0001, Georgios E. Fainekos, Franjo Ivancic, Aarti Gupta, George J. Pappas Monte-carlo techniques for falsification of temporal properties of non-linear hybrid systems. Search on Bibsonomy HSCC The full citation details ... 2010 DBLP  DOI  BibTeX  RDF testing, robustness, hybrid systems, metric temporal logic
1Chao Wang 0001, Rhishikesh Limaye, Malay K. Ganai, Aarti Gupta Trace-Based Symbolic Analysis for Atomicity Violations. Search on Bibsonomy TACAS The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Gogul Balakrishnan, Malay K. Ganai, Aarti Gupta, Franjo Ivancic, Vineet Kahlon, Weihong Li, Naoto Maeda, Nadia Papakonstantinou, Sriram Sankaranarayanan 0001, Nishant Sinha 0001, Chao Wang 0001 Scalable and precise program analysis at NEC. Search on Bibsonomy FMCAD The full citation details ... 2010 DBLP  BibTeX  RDF
1Sicun Gao, Malay K. Ganai, Franjo Ivancic, Aarti Gupta, Sriram Sankaranarayanan 0001, Edmund M. Clarke Integrating ICP and LRA solvers for deciding nonlinear real arithmetic problems. Search on Bibsonomy FMCAD The full citation details ... 2010 DBLP  BibTeX  RDF
1Aarti Gupta, Sharad Malik Preface. Search on Bibsonomy Formal Methods in System Design The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Zijiang Yang, Chao Wang 0001, Aarti Gupta, Franjo Ivancic Model checking sequential software programs via mixed symbolic analysis. Search on Bibsonomy ACM Trans. Design Autom. Electr. Syst. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF composite symbolic formula, Model checking, binary decision diagram, reachability analysis, presburger arithmetic, image computation
1Vineet Kahlon, Chao Wang 0001, Aarti Gupta Monotonic Partial Order Reduction: An Optimal Symbolic Partial Order Reduction Technique. Search on Bibsonomy CAV The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Chao Wang 0001, Sudipta Kundu, Malay K. Ganai, Aarti Gupta Symbolic Predictive Analysis for Concurrent Programs. Search on Bibsonomy FM The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Chao Wang 0001, Swarat Chaudhuri, Aarti Gupta, Yu Yang Symbolic pruning of concurrent program executions. Search on Bibsonomy ESEC/SIGSOFT FSE The full citation details ... 2009 DBLP  DOI  BibTeX  RDF concurrency, sat, pruning, partial order reduction
1Gogul Balakrishnan, Sriram Sankaranarayanan 0001, Franjo Ivancic, Aarti Gupta Refining the control structure of loops using static analysis. Search on Bibsonomy EMSOFT The full citation details ... 2009 DBLP  DOI  BibTeX  RDF loop refinement, synchronous sytems, model checking, static analysis, abstract interpretation, program verification, program understanding, path-sensitive analysis
1Georgios E. Fainekos, Sriram Sankaranarayanan 0001, Franjo Ivancic, Aarti Gupta Robustness of Model-Based Simulations. Search on Bibsonomy RTSS The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Vineet Kahlon, Sriram Sankaranarayanan 0001, Aarti Gupta Semantic Reduction of Thread Interleavings in Concurrent Programs. Search on Bibsonomy TACAS The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Aarti Gupta Model Checking Concurrent Programs. Search on Bibsonomy VMCAI The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Franjo Ivancic, Zijiang Yang, Malay K. Ganai, Aarti Gupta, Pranav Ashar Efficient SAT-based bounded model checking for software verification. Search on Bibsonomy Theor. Comput. Sci. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Aleksandr Zaks, Zijiang Yang, Ilya Shlyakhter, Franjo Ivancic, Srihari Cadambi, Malay K. Ganai, Aarti Gupta, Pranav Ashar Bitwidth Reduction via Symbolic Interval Analysis for Software Model Checking. Search on Bibsonomy IEEE Trans. on CAD of Integrated Circuits and Systems The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Aarti Gupta, Sharad Malik (eds.) Computer Aided Verification, 20th International Conference, CAV 2008, Princeton, NJ, USA, July 7-14, 2008, Proceedings Search on Bibsonomy CAV The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Malay K. Ganai, Aarti Gupta Completeness in SMT-based BMC for Software Programs. Search on Bibsonomy DATE The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Malay K. Ganai, Aarti Gupta Efficient Modeling of Concurrent Systems in BMC. Search on Bibsonomy SPIN The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Chao Wang 0001, Yu Yang, Aarti Gupta, Ganesh Gopalakrishnan Dynamic Model Checking with Property Driven Pruning to Detect Race Conditions. Search on Bibsonomy ATVA The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Fang Yu, Chao Wang 0001, Aarti Gupta, Tevfik Bultan Modular verification of web services using efficient symbolic encoding and summarization. Search on Bibsonomy SIGSOFT FSE The full citation details ... 2008 DBLP  DOI  BibTeX  RDF BPEL, summarization, modular verification
1Aarti Gupta Software Verification: Roles and Challenges for Automatic Decision Procedures. Search on Bibsonomy IJCAR The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Gogul Balakrishnan, Sriram Sankaranarayanan 0001, Franjo Ivancic, Ou Wei, Aarti Gupta SLR: Path-Sensitive Analysis through Infeasible-Path Detection and Syntactic Language Refinement. Search on Bibsonomy SAS The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Sriram Sankaranarayanan 0001, Swarat Chaudhuri, Franjo Ivancic, Aarti Gupta Dynamic inference of likely data preconditions over predicates by tree learning. Search on Bibsonomy ISSTA The full citation details ... 2008 DBLP  DOI  BibTeX  RDF machine learning, verification, decision trees, sat, software specification
1Chao Wang 0001, Zijiang Yang, Vineet Kahlon, Aarti Gupta Peephole Partial Order Reduction. Search on Bibsonomy TACAS The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Sriram Sankaranarayanan 0001, Franjo Ivancic, Aarti Gupta Mining library specifications using inductive logic programming. Search on Bibsonomy ICSE The full citation details ... 2008 DBLP  DOI  BibTeX  RDF machine learning., verification, datalog, inductive logic programming, software specification
1Malay K. Ganai, Aarti Gupta Tunneling and slicing: towards scalable BMC. Search on Bibsonomy DAC The full citation details ... 2008 DBLP  DOI  BibTeX  RDF CFG, partitioning, slice, SMT, tunnel, EFSM, CSR, BMC
1Malay K. Ganai, Muralidhar Talupur, Aarti Gupta SDSAT: Tight Integration of Small Domain Encoding and Lazy Approaches in Solving Difference Logic. Search on Bibsonomy JSAT The full citation details ... 2007 DBLP  BibTeX  RDF
1Chao Wang 0001, Zijiang Yang, Franjo Ivancic, Aarti Gupta Disjunctive image computation for software verification. Search on Bibsonomy ACM Trans. Design Autom. Electr. Syst. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Model checking, formal verification, binary decision diagram, reachability analysis, image computation
1Malay K. Ganai, Aarti Gupta, Pranav Ashar Verification of Embedded Memory Systems using Efficient Memory Modeling Search on Bibsonomy CoRR The full citation details ... 2007 DBLP  BibTeX  RDF
1Malay K. Ganai, Aarti Gupta SAT-Based Scalable Formal Verification Solutions Search on Bibsonomy 2007   DOI  RDF
1Chao Wang 0001, Zijiang Yang, Aarti Gupta, Franjo Ivancic Using Counterexamples for Improving the Precision of Reachability Computation with Polyhedra. Search on Bibsonomy CAV The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Vineet Kahlon, Yu Yang, Sriram Sankaranarayanan 0001, Aarti Gupta Fast and Accurate Static Data-Race Detection for Concurrent Programs. Search on Bibsonomy CAV The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Vineet Kahlon, Aarti Gupta On the analysis of interacting pushdown systems. Search on Bibsonomy POPL The full citation details ... 2007 DBLP  DOI  BibTeX  RDF model checking, concurrency, dataflow analysis, LTL, mu-calculus, pushdown systems
1Malay K. Ganai, Aarti Gupta Efficient BMC for Multi-Clock Systems with Clocked Specifications. Search on Bibsonomy ASP-DAC The full citation details ... 2007 DBLP  DOI  BibTeX  RDF OpenCores multiclock system benchmarks, clocked specifications, multiphased clocks, level-sensitive latches, SAT-based bounded model checking, synchronous multiclock systems, clocked LTL properties, clock modeling schemes, clock constraints, loop-checks, gated clocks
1Chao Wang 0001, Hyondeuk Kim, Aarti Gupta Hybrid CEGAR: combining variable hiding and predicate abstraction. Search on Bibsonomy ICCAD The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Sriram Sankaranarayanan 0001, Franjo Ivancic, Aarti Gupta Program Analysis Using Symbolic Ranges. Search on Bibsonomy SAS The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Aarti Gupta From Hardware Verification to Software Verification: Re-use and Re-learn. Search on Bibsonomy Haifa Verification Conference The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Chao Wang 0001, Aarti Gupta, Franjo Ivancic Induction in CEGAR for Detecting Counterexamples. Search on Bibsonomy FMCAD The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Malay K. Ganai, Akira Mukaiyama, Aarti Gupta, Kazutoshi Wakabayashi Synthesizing "Verification Aware" Models: Why and How? Search on Bibsonomy VLSI Design The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Aarti Gupta, Tim Oates Using Ontologies and the Web to Learn Lexical Semantics. Search on Bibsonomy IJCAI The full citation details ... 2007 DBLP  BibTeX  RDF
1Malay K. Ganai, Aarti Gupta, Zijiang Yang, Pranav Ashar Efficient distributed SAT and SAT-based distributed Bounded Model Checking. Search on Bibsonomy STTT The full citation details ... 2006 DBLP  DOI  BibTeX  RDF Distributed-SAT, Parallel SAT, Model Checking, Formal Verification, SAT, BMC
1Zijiang Yang, Chao Wang 0001, Aarti Gupta, Franjo Ivancic Mixed symbolic representations for model checking software programs. Search on Bibsonomy MEMOCODE The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Vineet Kahlon, Aarti Gupta, Nishant Sinha 0001 Symbolic Model Checking of Concurrent Programs Using Partial Orders and On-the-Fly Transactions. Search on Bibsonomy CAV The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #100 of 149 (100 per page; Change: )
Pages: [1][2][>>]
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