Natasha Sharygina

Available identifiers

zbMath Open sharygina.natashaWikidataQ59000888 ScholiaQ59000888MaRDI QIDQ287271

List of research outcomes

Publication	Date of Publication	Type
Decomposing Farkas Interpolants	2023-11-24	Paper
SMT-based verification of program changes through summary repair	2023-10-30	Paper
Farkas-based tree interpolation	2021-10-18	Paper
A cooperative parallelization approach for property-directed \(k\)-induction	2020-08-05	Paper
Exploiting partial variable assignment in interpolation-based model checking	2019-11-29	Paper
Function Summarization Modulo Theories	2019-07-04	Paper
Lookahead-Based SMT Solving	2019-07-04	Paper
SMTS: Distributed, Visualized Constraint Solving	2019-07-04	Paper
Property Directed Equivalence via Abstract Simulation	2019-05-03	Paper
Lattice-based refinement in bounded model checking	2018-12-07	Paper
Modeling for Verification	2018-07-20	Paper
Theory refinement for program verification	2017-11-15	Paper
A New Acceleration-Based Combination Framework for Array Properties	2017-02-27	Paper
OpenSMT2: An SMT Solver for Multi-core and Cloud Computing	2016-09-05	Paper
Decision procedures for flat array properties	2016-05-26	Paper
Towards Completeness in Bounded Model Checking Through Automatic Recursion Depth Detection	2016-04-01	Paper
Automated Discovery of Simulation Between Programs	2016-01-12	Paper
Booster: An Acceleration-Based Verification Framework for Array Programs	2015-12-17	Paper
Search-Space Partitioning for Parallelizing SMT Solvers	2015-11-20	Paper
Resolution proof transformation for compression and interpolation	2014-12-05	Paper
An extension of lazy abstraction with interpolation for programs with arrays	2014-12-05	Paper
Interpolation Properties and SAT-Based Model Checking	2014-07-08	Paper
Loop summarization using state and transition invariants	2014-06-30	Paper
PeRIPLO: A Framework for Producing Effective Interpolants in SAT-Based Software Verification	2014-01-17	Paper
Definability of Accelerated Relations in a Theory of Arrays and Its Applications	2013-09-20	Paper
eVolCheck: Incremental Upgrade Checker for C	2013-08-05	Paper
A model checking-based approach for security policy verification of mobile systems	2012-07-03	Paper
Lazy Abstraction with Interpolants for Arrays	2012-06-15	Paper
Loop Summarization and Termination Analysis	2011-05-19	Paper
An Efficient and Flexible Approach to Resolution Proof Reduction	2011-04-06	Paper
Integrated Formal Methods	2009-05-07	Paper
Loop Summarization Using Abstract Transformers	2008-11-20	Paper
Verification of evolving software via component substitutability analysis	2008-07-30	Paper
Verification of Boolean programs with unbounded thread creation	2007-12-18	Paper
State/Event Software Verification for Branching-Time Specifications	2007-11-29	Paper
Program Compatibility Approaches	2007-09-11	Paper
Tools and Algorithms for the Construction and Analysis of Systems	2007-05-02	Paper
Model Checking Software	2006-11-01	Paper
Concurrent software verification with states, events, and deadlocks	2006-10-25	Paper
Computer Aided Verification	2006-01-10	Paper
Computer Aided Verification	2006-01-10	Paper
FM 2005: Formal Methods	2006-01-10	Paper
Tools and Algorithms for the Construction and Analysis of Systems	2005-11-10	Paper
Predicate abstraction of ANSI-C programs using SAT	2004-11-22	Paper
https://portal.mardi4nfdi.de/entity/Q4417841	2003-07-30	Paper
https://portal.mardi4nfdi.de/entity/Q2764005	2002-01-22	Paper
https://portal.mardi4nfdi.de/entity/Q2764134	2002-01-22	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: Natasha Sharygina