Roman Manevich

From MaRDI portal
Person:784126

Available identifiers

zbMath Open manevich.romanMaRDI QIDQ784126

List of research outcomes





PublicationDate of PublicationType
Harnessing static analysis to help learn pseudo-inverses of string manipulating procedures for automatic test generation2020-08-05Paper
From Shape Analysis to Termination Analysis in Linear Time2019-05-03Paper
A shape analysis for optimizing parallel graph programs2014-04-10Paper
Heap Decomposition for Concurrent Shape Analysis2008-08-28Paper
Thread Quantification for Concurrent Shape Analysis2008-07-15Paper
Abstract Counterexample-Based Refinement for Powerset Domains2007-09-24Paper
Shape Analysis by Graph Decomposition2007-09-03Paper
Verification, Model Checking, and Abstract Interpretation2007-02-12Paper
Verification, Model Checking, and Abstract Interpretation2005-12-06Paper
Static Analysis2005-08-24Paper
https://portal.mardi4nfdi.de/entity/Q44119592003-07-13Paper

Research outcomes over time

This page was built for person: Roman Manevich

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:784126&oldid=7682326"
Powered by MediaWiki