Travelled to:1 × United Kingdom
2 × Denmark
Collaborated with:A.Gringauze O.Grumberg Z.Glazberg I.Rabinovitz D.Geist S.Ben-David B.Sterin Y.Wolfsthal
Talks about:symbol (2) reduct (2) reconstruct (1) backtrack (1) algorithm (1) symmetri (1) approxim (1) approach (1) softwar (1) concurr (1)
Person: Sharon Barner
DBLP: Barner:Sharon
Contributed to:
20052002
2002Wrote 4 papers:
- CAV-2005-BarnerGR #concurrent #debugging #formal method #named #using
- Wolf — Bug Hunter for Concurrent Software Using Formal Methods (SB, ZG, IR), pp. 153–157.
- CAV-2002-BarnerG #approximate #model checking #reduction #symmetry
- Combining Symmetry Reduction and Under-Approximation for Symbolic Model Checking (SB, OG), pp. 93–106.
- CAV-2002-BarnerGG #backtracking #locality #re-engineering #reduction
- Symbolic Localization Reduction with Reconstruction Layering and Backtracking (SB, DG, AG), pp. 65–77.
- FME-2002-BarnerBGSW #algorithm #approach #design
- An Algorithmic Approach to Design Exploration (SB, SBD, AG, BS, YW), pp. 146–162.