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 × France
1 × USA
Collaborated with:
G.Fey R.Drechsler C.Braunstein U.Kühne
Talks about:
techniqu (1) accuraci (1) increas (1) formal (1) comput (1) toler (1) fault (1) debug (1) bound (1) base (1)

Person: André Sülflow

DBLP DBLP: S=uuml=lflow:Andr=eacute=

Contributed to:

DAC 20092009
DATE 20092009

Wrote 2 papers:

DAC-2009-FeySD #bound #fault tolerance #using
Computing bounds for fault tolerance using formal techniques (GF, AS, RD), pp. 190–195.
DATE-2009-SulflowFBKD #debugging #satisfiability
Increasing the accuracy of SAT-based debugging (AS, GF, CB, UK, RD), pp. 1326–1331.

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.