Person: Wolfgang Kunz

DBLP: Kunz:Wolfgang

Contributed to:

2012

2011

2011

2010

2008

2005

2004

2003

2002

1995

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.