Greta Yorsh

Available identifiers

zbMath Open yorsh.gretaMaRDI QIDQ2643336

List of research outcomes

Publication	Date of Publication	Type
Logical characterizations of heap abstractions	2017-07-12	Paper
Abstraction-guided synthesis of synchronization	2015-06-11	Paper
Verifying linearizability with hindsight	2015-03-02	Paper
Generating precise and concise procedure summaries	2014-09-12	Paper
Simulating reachability using first-order logic with applications to verification of linked data structures	2009-06-30	Paper
Verification, Model Checking, and Abstract Interpretation	2009-05-15	Paper
Inferring Synchronization under Limited Observability	2009-03-31	Paper
Tools and Algorithms for the Construction and Analysis of Systems	2007-09-28	Paper
A logic of reachable patterns in linked data-structures	2007-08-23	Paper
Foundations of Software Science and Computation Structures	2007-05-02	Paper
Automated Deduction – CADE-20	2006-11-01	Paper
Computer Aided Verification	2006-01-10	Paper
Computer Aided Verification	2005-08-25	Paper
Computer Science Logic	2005-08-22	Paper

Research outcomes over time

This page was built for person: Greta Yorsh