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 × Germany
3 × France
6 × USA
Collaborated with:
D.Stoffel M.Wedler M.D.Nguyen G.Greuel S.M.Reddy D.K.Pradhan J.Urdahl K.Sulimma I.Neumann L.P.P.P.v.Ginneken O.Wienand M.Thalmaier J.Bormann E.Pavlenko A.Dreyer F.Seelisch
Talks about:
verif (4) properti (3) arithmet (3) check (3) base (3) abstract (2) algebra (2) reason (2) induct (2) comput (2)

Person: Wolfgang Kunz

DBLP DBLP: Kunz:Wolfgang

Contributed to:

DAC 20122012
DAC 20112011
DATE 20112011
DAC 20102010
CAV 20082008
DAC 20052005
DATE v1 20042004
DATE 20032003
DATE 20022002
DAC 19951995

Wrote 10 papers:

DAC-2012-UrdahlSWK #abstraction #composition #concurrent #verification
System verification of concurrent RTL modules by compositional path predicate abstraction (JU, DS, MW, WK), pp. 334–343.
DAC-2011-NguyenWSK #abstraction #hardware
Formal hardware/software co-verification by interval property checking with abstraction (MDN, MW, DS, WK), pp. 510–515.
DATE-2011-PavlenkoWSKDSG #algebra #named #problem #reasoning #smt #verification
STABLE: A new QF-BV SMT solver for hard verification problems combining Boolean reasoning with computer algebra (EP, MW, DS, WK, AD, FS, GMG), pp. 155–160.
DAC-2010-ThalmaierNWSBK #induction #invariant #satisfiability
Analyzing k-step induction to compute invariants for SAT-based property checking (MT, MDN, MW, DS, JB, WK), pp. 176–181.
CAV-2008-WienandWSKG #algebra #approach #correctness #proving
An Algebraic Approach for Proving Data Correctness in Arithmetic Data Paths (OW, MW, DS, WK, GMG), pp. 473–486.
DAC-2005-WedlerSK #normalisation
Normalization at the arithmetic bit level (MW, DS, WK), pp. 457–462.
DATE-v1-2004-WedlerSK #reasoning #satisfiability
Arithmetic Reasoning in DPLL-Based SAT Solving (MW, DS, WK), pp. 30–35.
DATE-2003-WedlerSK #encoding #induction #using
Using RTL Statespace Information and State Encoding for Induction Based Property Checking (MW, DS, WK), pp. 11156–11157.
DATE-2002-SulimmaKNV #constant
Improving Placement under the Constant Delay Model (KS, WK, IN, LPPPvG), pp. 677–682.
DAC-1995-ReddyKP #framework #novel #synthesis #verification
Novel Verification Framework Combining Structural and OBDD Methods in a Synthesis Environment (SMR, WK, DKP), pp. 414–419.

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.