BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Barner:Sharon

Contributed to:

CAV 20052005
CAV 20022002
FME 20022002

Wrote 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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.