Aarti Gupta

Available identifiers

List of research outcomes

Publication	Date of Publication	Type
Quantified invariants via syntax-guided synthesis	2024-02-16	Paper
Syntax-guided termination analysis	2023-05-26	Paper
Exploiting synchrony and symmetry in relational verification	2023-05-26	Paper
Lazy self-composition for security verification	2023-05-05	Paper
Fold/Unfold Transformations for Fixpoint Logic	2021-11-10	Paper
Unbounded procedure summaries from bounded environments	2021-10-18	Paper
Syntax-guided synthesis for lemma generation in hardware model checking	2021-10-18	Paper
Synthesizing environment invariants for modular hardware verification	2020-08-05	Paper
Lazy but effective functional synthesis	2020-01-23	Paper
Model Checking Concurrent Programs	2018-07-20	Paper
Monte-carlo techniques for falsification of temporal properties of non-linear hybrid systems	2017-05-10	Paper
Program analysis via satisfiability modulo path programs	2015-06-11	Paper
On the analysis of interacting pushdown systems	2014-09-12	Paper
Efficient Probabilistic Model Checking of Systems with Ranged Probabilities	2013-01-07	Paper
Symbolic predictive analysis for concurrent programs	2012-07-03	Paper
Donut Domains: Efficient Non-convex Domains for Abstract Interpretation	2012-06-15	Paper
Trace-Based Symbolic Analysis for Atomicity Violations	2010-04-27	Paper
Correct Hardware Design and Verification Methods	2010-02-05	Paper
Monotonic Partial Order Reduction: An Optimal Symbolic Partial Order Reduction Technique	2009-06-30	Paper
Static Analysis in Disjunctive Numerical Domains	2009-03-12	Paper
Program Analysis Using Symbolic Ranges	2009-03-03	Paper
Dynamic Model Checking with Property Driven Pruning to Detect Race Conditions	2008-11-20	Paper
Efficient SAT-based bounded model checking for software verification	2008-10-07	Paper
Whodunit? Causal Analysis for Counterexamples	2008-09-04	Paper
SLR: Path-Sensitive Analysis through Infeasible-Path Detection and Syntactic Language Refinement	2008-08-28	Paper
Deciding Separation Logic Formulae by SAT and Incremental Negative Cycle Elimination	2008-05-27	Paper
SAT-Based Scalable Formal Verification Solutions	2008-04-22	Paper
Peephole Partial Order Reduction	2008-04-11	Paper
Fast and Accurate Static Data-Race Detection for Concurrent Programs	2007-11-29	Paper
Using Counterexamples for Improving the Precision of Reachability Computation with Polyhedra	2007-11-29	Paper
https://portal.mardi4nfdi.de/entity/Q5309035	2007-10-09	Paper
Symbolic Model Checking of Concurrent Programs Using Partial Orders and On-the-Fly Transactions	2007-09-05	Paper
Tools and Algorithms for the Construction and Analysis of Systems	2007-05-02	Paper
Formal Methods for Hardware Verification	2007-05-02	Paper
Computer Aided Verification	2006-01-10	Paper
Computer Aided Verification	2006-01-10	Paper
Tools and Algorithms for the Construction and Analysis of Systems	2005-11-10	Paper
Tools and Algorithms for the Construction and Analysis of Systems	2005-11-10	Paper
Computer Aided Verification	2005-08-25	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Aarti Gupta