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: S=uuml=lflow:Andr=eacute=
Contributed to:
2009
2009Wrote 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.