| 2007 |
|---|
| 4 | EE | Stefan Disch,
Christoph Scholl:
Combinational Equivalence Checking Using Incremental SAT Solving, Output Ordering, and Resets.
ASP-DAC 2007: 938-943 |
| 3 | EE | Werner Damm,
Stefan Disch,
Hardi Hungar,
Swen Jacobs,
Jun Pang,
Florian Pigorsch,
Christoph Scholl,
Uwe Waldmann,
Boris Wirtz:
Exact State Set Representations in the Verification of Linear Hybrid Systems with Large Discrete State Space.
ATVA 2007: 425-440 |
| 2006 |
|---|
| 2 | EE | Werner Damm,
Stefan Disch,
Hardi Hungar,
Jun Pang,
Florian Pigorsch,
Christoph Scholl,
Uwe Waldmann,
Boris Wirtz:
Automatic Verification of Hybrid Systems with Large Discrete State Space.
ATVA 2006: 276-291 |
| 1 | EE | Florian Pigorsch,
Christoph Scholl,
Stefan Disch:
Advanced Unbounded Model Checking Based on AIGs, BDD Sweeping, And Quantifier Scheduling.
FMCAD 2006: 89-96 |
