Travelled to:
1 × France
2 × Denmark
Collaborated with:
S.Ben-David S.Barner B.Sterin Y.Wolfsthal D.Geist I.Beer C.Eisner D.Fisman Y.Rodeh
Talks about:
explor (2) design (2) reconstruct (1) backtrack (1) algorithm (1) approach (1) tempor (1) symbol (1) reduct (1) finder (1)
Person: Anna Gringauze
DBLP: Gringauze:Anna
Contributed to:
Wrote 4 papers:
- CAV-2002-BarnerGG #backtracking #locality #re-engineering #reduction
- Symbolic Localization Reduction with Reconstruction Layering and Backtracking (SB, DG, AG), pp. 65–77.
- CAV-2002-Ben-DavidGSW #design #named
- PathFinder: A Tool for Design Exploration (SBD, AG, BS, YW), pp. 510–514.
- FME-2002-BarnerBGSW #algorithm #approach #design
- An Algorithmic Approach to Design Exploration (SB, SBD, AG, BS, YW), pp. 146–162.
- CAV-2001-BeerBEFGR #logic
- The Temporal Logic Sugar (IB, SBD, CE, DF, AG, YR), pp. 363–367.