| 2014 | DATE | Simple interpolants for linear arithmetic. | Christoph Scholl, Florian Pigorsch, Stefan Disch, Ernst Althaus |
| 2009 | TACAS | Computing Optimized Representations for Non-convex Polyhedra by Detection and Removal of Redundant Linear Constraints. | Christoph Scholl, Stefan Disch, Florian Pigorsch, Stefan Kupferschmid |
| 2007 | ASPDAC | Combinational Equivalence Checking Using Incremental SAT Solving, Output Ordering, and Resets. | Stefan Disch, Christoph Scholl |
| 2007 | ATVA | Exact State Set Representations in the Verification of Linear Hybrid Systems with Large Discrete State Space. | Werner Damm, Stefan Disch, Hardi Hungar, Swen Jacobs, Jun Pang, Florian Pigorsch, Christoph Scholl, Uwe Waldmann, Boris Wirtz |
| 2006 | ATVA | Automatic Verification of Hybrid Systems with Large Discrete State Space. | Werner Damm, Stefan Disch, Hardi Hungar, Jun Pang, Florian Pigorsch, Christoph Scholl, Uwe Waldmann, Boris Wirtz |
| 2006 | FMCAD | Advanced Unbounded Model Checking Based on AIGs, BDD Sweeping, And Quantifier Scheduling. | Florian Pigorsch, Christoph Scholl, Stefan Disch |