Gupta; Aarti

Patent Applications and Registrations

Patent applications and USPTO patent grants for Gupta; Aarti.The latest application filed is for "setsudo: pertubation-based testing framework for scalable distributed systems".

Company Profile

0.58.60

Gupta; Aarti - Princeton NJ
Gupta; Aarti - Princton NJ
Gupta, Aarti - US

*profile and listings may contain filings by different individuals or companies with the same name. Review application materials to confirm ownership/assignment.

Patent Activity

Patent	Date
Setsudo: Pertubation-based Testing Framework for Scalable Distributed Systems App 20150081243 - Ganai; Malay ; et al.	2015-03-19
Network Testing App 20140337674 - Ivancic; Franjo ; et al.	2014-11-13
Effective Lifetime Dependency Analysis and Typestate Analysis App 20140289712 - Gupta; Aarti ; et al.	2014-09-25
Probabilistic model checking of systems with ranged probabilities Grant 8,799,194 - Duggirala , et al. August 5, 2	2014-08-05
Scope bounding with automated specification inference for scalable software model checking Grant 8,719,793 - Maeda , et al. May 6, 2	2014-05-06
Interprocedural exception method Grant 8,719,802 - Maeda , et al. May 6, 2	2014-05-06
Embedding class hierarchy into object models for multiple class inheritance Grant 8,707,278 - Balakrishnan , et al. April 22, 2	2014-04-22
Dynamic Taint Analysis of Multi-Threaded Programs App 20140108867 - Ganai; Malay ; et al.	2014-04-17
Layered Decomposition For Scalable Static Data Race Detection Of Concurrent Programs App 20140019946 - Papakonstantinou; Kostoula ; et al.	2014-01-16
Concurrent Test Generation Using Concolic Multi-trace Analysis App 20130332906 - Razavi; Niloofar ; et al.	2013-12-12
Control structure refinement of loops using static analysis Grant 8,601,459 - Sankaranarayanan , et al. December 3, 2	2013-12-03
Systems and methods for model checking the precision of programs employing floating-point operations Grant 8,539,451 - Ivancic , et al. September 17, 2	2013-09-17
Integrating interval constraint propagation with nonlinear real arithmetic Grant 8,538,900 - Ganai , et al. September 17, 2	2013-09-17
System and method for generating error traces for concurrency bugs Grant 8,527,976 - Kahlon , et al. September 3, 2	2013-09-03
Control Structure Refinement Of Loops Using Static Analysis App 20130227537 - SANKARANARAYANAN; SRIRAM ; et al.	2013-08-29
Control structure refinement of loops using static analysis Grant 8,522,226 - Sankaranarayanan , et al. August 27, 2	2013-08-27
Feedback-directed Random Class Unit Test Generation Using Symbolic Execution App 20130091495 - Garg; Pranav ; et al.	2013-04-11
Probabilistic Model Checking Of Systems With Ranged Probabilities App 20130091080 - Duggirala; Parasara Sridhar ; et al.	2013-04-11
Program verification through symbolic enumeration of control path programs Grant 8,402,440 - Sankaranarayanan , et al. March 19, 2	2013-03-19
System and method for monotonic partial order reduction Grant 8,381,226 - Kahlon , et al. February 19, 2	2013-02-19
System and method for feedback-guided test generation for cyber-physical systems using monte-carlo Grant 8,374,840 - Sankaranarayanan , et al. February 12, 2	2013-02-12
Path-sensitive analysis through infeasible-path detection and syntactic language refinement Grant 8,365,152 - Balakrishnan , et al. January 29, 2	2013-01-29
Symbolic reduction of dynamic executions of concurrent programs Grant 8,359,578 - Wang , et al. January 22, 2	2013-01-22
Accelerating model checking via synchrony Grant 8,286,137 - Kahlon , et al. October 9, 2	2012-10-09
Analysis of Interactions of C and C++ Strings App 20120233584 - Ivancic; Franjo ; et al.	2012-09-13
Model checking of multi threaded software Grant 8,266,600 - Kahlon , et al. September 11, 2	2012-09-11
Dynamic Test Generation For Concurrent Programs App 20120179935 - WANG; Chao ; et al.	2012-07-12
Scope Bounding with Automated Specification Inference for Scalable Software Model Checking App 20120151449 - Maeda; Naoto ; et al.	2012-06-14
Dynamic model checking with property driven pruning to detect race conditions Grant 8,200,474 - Wang , et al. June 12, 2	2012-06-12
Mining library specifications using inductive learning Grant 8,191,045 - Sankaranarayanan , et al. May 29, 2	2012-05-29
Fast and accurate static data-race detection for concurrent programs Grant 8,185,875 - Kahlon , et al. May 22, 2	2012-05-22
Embedding Class Hierarchy Into Object Models For Multiple Class Inheritance App 20120117547 - BALAKRISHNAN; GOGUL ; et al.	2012-05-10
Partial order reduction using guarded independence relations Grant 8,176,496 - Wang , et al. May 8, 2	2012-05-08
Systems And Methods For Automated Systematic Concurrency Testing App 20120089873 - Wang; Chao ; et al.	2012-04-12
Interprocedural Exception Method App 20120084761 - Maeda; Naoto ; et al.	2012-04-05
Using pushdown systems for the static analysis of multi-threaded programs Grant 8,136,098 - Kahlon , et al. March 13, 2	2012-03-13
Software verification using range analysis Grant 8,131,532 - Cadambi , et al. March 6, 2	2012-03-06
System and method for dynamically inferring data preconditions over predicates by tree learning Grant 8,126,831 - Sankaranarayanan , et al. February 28, 2	2012-02-28
Program analysis using symbolic ranges Grant 8,006,239 - Sankaranarayanan , et al. August 23, 2	2011-08-23
Modeling and verification of concurrent systems using SMT-based BMC Grant 8,005,661 - Ganai , et al. August 23, 2	2011-08-23
Integrating Interval Constraint Propagation With Nonlinear Real Arithmetic App 20110173148 - GANAI; MALAY K. ; et al.	2011-07-14
Software verification Grant 7,930,659 - Ivancic , et al. April 19, 2	2011-04-19
Reachability analysis for program verification Grant 7,926,039 - Wang , et al. April 12, 2	2011-04-12
Accelerating high-level bounded model checking Grant 7,853,906 - Ganai , et al. December 14, 2	2010-12-14
Robust Testing For Discrete-time And Continuous-time System Models App 20100299651 - FAINEKOS; GEORGIOS ; et al.	2010-11-25
Systems And Methods For Model Checking The Precision Of Programs Employing Floating-point Operations App 20100293530 - IVANCIC; FRANJO ; et al.	2010-11-18
Symbolic Predictive Analysis For Concurrent Programs App 20100281469 - Wang; Chao ; et al.	2010-11-04
Method for the static analysis of concurrent multi-threaded software Grant 7,784,035 - Kahlon , et al. August 24, 2	2010-08-24
Control Structure Refinement Of Loops Using Static Analysis App 20100205592 - SANKARANARAYANAN; SRIRAM ; et al.	2010-08-12
Computer implemented method of high-level synthesis for the efficient verification of computer software Grant 7,743,352 - Ganai , et al. June 22, 2	2010-06-22
Iterative abstraction using SAT-based BMC with proof analysis Grant 7,742,907 - Gupta , et al. June 22, 2	2010-06-22
Efficient approaches for bounded model checking Grant 7,711,525 - Ganai , et al. May 4, 2	2010-05-04
System And Method For Feedback-guided Test Generation For Cyber-physical Systems Using Monte-carlo App 20100094611 - Sankaranarayanan; Sriram ; et al.	2010-04-15
Symbolic Reduction Of Dynamic Executions Of Concurrent Programs App 20100088681 - WANG; Chao ; et al.	2010-04-08
Disjunctive image computation for sequential systems Grant 7,693,690 - Wang , et al. April 6, 2	2010-04-06
Program Verification Through Symbolic Enumeration Of Control Path Programs App 20100005454 - Sankaranarayanan; Sriram ; et al.	2010-01-07
Dynamic Model Checking With Property Driven Pruning To Detect Race Conditions App 20090282288 - Wang; Chao ; et al.	2009-11-12
Modular Verification Of Web Services Using Efficient Symbolic Encoding And Summarization App 20090222249 - Wang; Chao ; et al.	2009-09-03
System And Method For Monotonic Partial Order Reduction App 20090204968 - Kahlon; Vineet ; et al.	2009-08-13
System And Method For Dynamically Inferring Data Preconditions Over Predicates By Tree Learning App 20090192963 - SANKARANARAYANAN; SRIRAM ; et al.	2009-07-30
Path-sensitive Analysis Through Infeasible-path Detection And Syntactic Language Refinement App 20090193401 - Balakrishnan; Gogul ; et al.	2009-07-30
System And Method For Generating Error Traces For Concurrency Bugs App 20090125887 - Kahlon; Vineet ; et al.	2009-05-14
Partial Order Reduction Using Guarded Independence Relations App 20090089783 - Wang; Chao ; et al.	2009-04-02
Mining Library Specifications Using Inductive Learning App 20090064110 - SANKARANARAYANAN; SRIRAM ; et al.	2009-03-05
Hybrid Counterexample Guided Abstraction Refinement App 20090007038 - Wang; Chao ; et al.	2009-01-01
Modeling And Verification Of Concurrent Systems Using Smt-based Bmc App 20080281563 - GANAI; Malay ; et al.	2008-11-13
Accelerating Model Checking Via Synchrony App 20080282221 - KAHLON; VINEET ; et al.	2008-11-13
Fast And Accurate Static Data-race Detection For Concurrent Programs App 20080178156 - Kahlon; Vineet ; et al.	2008-07-24
Program Analysis Using Symbolic Ranges App 20080172653 - SANKARANARAYANAN; Sriram ; et al.	2008-07-17
Efficient modeling of embedded memories in bounded memory checking Grant 7,386,818 - Ganai , et al. June 10, 2	2008-06-10
Using Pushdown Systems For The Static Analysis Of Multi-threaded Programs App 20080086722 - KAHLON; Vineet ; et al.	2008-04-10
System and method for modeling, abstraction, and analysis of software Grant 7,346,486 - Ivancic , et al. March 18, 2	2008-03-18
Reachability Analysis For Program Verification App 20080016497 - WANG; Chao ; et al.	2008-01-17
Efficient SAT-based unbounded symbolic model checking Grant 7,305,637 - Ganai , et al. December 4, 2	2007-12-04
Static Analysis In Disjunctive Numerical Domains App 20070245329 - SANKARANARAYANAN; Sriram ; et al.	2007-10-18
Accelerating High-level Bounded Model Checking App 20070226665 - GANAI; Malay ; et al.	2007-09-27
High-level Synthesis For Efficient Verification App 20070226666 - GANAI; Malay ; et al.	2007-09-27
Symbolic Model Checking Of Concurrent Programs Using Partial Orders And On-the-fly Transactions App 20070143742 - KAHLON; Vineet ; et al.	2007-06-21
Efficient distributed SAT and SAT-based distributed bounded model checking Grant 7,203,917 - Ganai , et al. April 10, 2	2007-04-10
Disjunctive image computation for sequential systems App 20070044084 - Wang; Chao ; et al.	2007-02-22
Method for the static analysis of concurrent multi-threaded software App 20070011671 - Kahlon; Vineet ; et al.	2007-01-11
Software Verification App 20060282807 - IVANCIC; Franjo ; et al.	2006-12-14
Software Verification Using Range Analysis App 20060282806 - CADAMBI; Srihari ; et al.	2006-12-14
Model Checking of Multi Threaded Software App 20060218534 - Kahlon; Vineet ; et al.	2006-09-28
Efficient modeling of embedded memories in bounded memory checking App 20060190864 - Ganai; Malay K. ; et al.	2006-08-24
Property specific testbench generation framework for circuit design validation by guided simulation Grant 6,975,976 - Casavant , et al. December 13, 2	2005-12-13
Efficient SAT-based unbounded symbolic model checking App 20050240885 - Ganai, Malay K. ; et al.	2005-10-27
System and method for modeling, abstraction, and analysis of software App 20050166167 - Ivancic, Franjo ; et al.	2005-07-28
Method for design validation using retiming App 20050149301 - Gupta, Aarti ; et al.	2005-07-07
Method for design validation using retiming Grant 6,874,135 - Gupta , et al. March 29, 2	2005-03-29
Iterative abstraction using SAT-based BMC with proof analysis App 20040230407 - Gupta, Aarti ; et al.	2004-11-18
Efficient distributed SAT and SAT-based distributed bounded model checking App 20040210860 - Ganai, Malay ; et al.	2004-10-21
Verification of scheduling in the presence of loops using uninterpreted symbolic simulation App 20040148150 - Ashar, Pranav ; et al.	2004-07-29
Verification of scheduling in the presence of loops using uninterpreted symbolic simulation Grant 6,745,160 - Ashar , et al. June 1, 2	2004-06-01
SAT-based image computation with application in reachability analysis Grant 6,728,665 - Gupta , et al. April 27, 2	2004-04-27
Fast error diagnosis for combinational verification App 20040030974 - Ashar, Pranay ; et al.	2004-02-12
Fast error diagnosis for combinational verification Grant 6,662,323 - Ashar , et al. December 9, 2	2003-12-09
Efficient approaches for bounded model checking App 20030225552 - Ganai, Malay ; et al.	2003-12-04
Partition-based decision heuristics for SAT and image computation using SAT and BDDs Grant 6,651,234 - Gupta , et al. November 18, 2	2003-11-18
Method For Design Validation Using Retiming App 20030182638 - GUPTA, AARTI ; et al.	2003-09-25
Dynamic detection and removal of inactive clauses in SAT with application in image computation Grant 6,496,961 - Gupta , et al. December 17, 2	2002-12-17
Partition-based decision heuristics for SAT and image computation using SAT and BDDs App 20020178424 - Gupta, Aarti ; et al.	2002-11-28
Dynamic detection and removal of inactive clauses in sat with application in image computation App 20020053064 - Gupta, Aarti ; et al.	2002-05-02
Method for using complete-1-distinguishability for FSM equivalence checking Grant 6,035,109 - Ashar , et al. March 7, 2	2000-03-07
System for combinational equivalence checking Grant 6,026,222 - Gupta , et al. February 15, 2	2000-02-15

uspto.report is an independent third-party trademark research tool that is not affiliated, endorsed, or sponsored by the United States Patent and Trademark Office (USPTO) or any other governmental organization. The information provided by uspto.report is based on publicly available data at the time of writing and is intended for informational purposes only.

While we strive to provide accurate and up-to-date information, we do not guarantee the accuracy, completeness, reliability, or suitability of the information displayed on this site. The use of this site is at your own risk. Any reliance you place on such information is therefore strictly at your own risk.

All official trademark data, including owner information, should be verified by visiting the official USPTO website at www.uspto.gov. This site is not intended to replace professional legal advice and should not be used as a substitute for consulting with a legal professional who is knowledgeable about trademark law.