Automatic Verification of Hybrid Systems with Large Discrete State Space. - Werner Damm; Stefan Disch; Hardi Hungar; Jun Pang 001; Florian Pigorsch; Christoph Scholl 001; Uwe Waldmann; Boris Wirtz (ATVA, 2006)

Advanced Unbounded Model Checking Based on AIGs, BDD Sweeping, And Quantifier Scheduling. - Florian Pigorsch; Christoph Scholl 001; Stefan Disch (FMCAD, 2006)

Advanced Unbounded CTL Model Checking By Using AIGs, BDD Sweeping, and Quantifier Scheduling. - Florian Pigorsch; Christoph Scholl 001; Stefan Disch (MBMV, 2006)

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 001; Florian Pigorsch; Christoph Scholl 001; Uwe Waldmann; Boris Wirtz (ATVA, 2007)

Exploiting structure in an AIG based QBF solver. - Florian Pigorsch; Christoph Scholl 001 (DATE, 2009)

Using Implications for Optimizing State Set Representations of Linear Hybrid Systems. - Florian Pigorsch; Christoph Scholl 001 (MBMV, 2009)

Computing Optimized Representations for Non-convex Polyhedra by Detection and Removal of Redundant Linear Constraints. - Christoph Scholl 001; Stefan Disch; Florian Pigorsch; Stefan Kupferschmid (TACAS, 2009)

An AIG-Based QBF-solver using SAT for preprocessing. - Florian Pigorsch; Christoph Scholl 001 (DAC, 2010)

Fully Symbolic Model Checking for Timed Automata. - Georges Morbé; Florian Pigorsch; Christoph Scholl 001 (CAV, 2011)

Integration of orthogonal QBF solving techniques. - Sven Reimer; Florian Pigorsch; Christoph Scholl 001; Bernd Becker 001 (DATE, 2011)

Enhanced Integration of QBF Solving Techniques. - Sven Reimer; Florian Pigorsch; Christoph Scholl 001; Bernd Becker 001 (MBMV, 2012)

Exact and fully symbolic verification of linear hybrid automata with large discrete state spaces. - Werner Damm; Henning Dierks; Stefan Disch; Willem Hagemann; Florian Pigorsch; Christoph Scholl 001; Uwe Waldmann; Boris Wirtz (Sci. Comput. Program., 2012)

Lemma localization: a practical method for downsizing SMT-interpolants. - Florian Pigorsch; Christoph Scholl 001 (DATE, 2013)

Simple interpolants for linear arithmetic. - Christoph Scholl 001; Florian Pigorsch; Stefan Disch; Ernst Althaus (DATE, 2014)

The QBF Solver AIGSolve. - Christoph Scholl 001; Florian Pigorsch (QBF@SAT, 2016)