Symbolic CTL Model Checking for Incomplete Designs by Selecting Property-Specific Subsets of Local Component Assumptions. - Christian Miller; Tobias Nopper; Christoph Scholl 001 (MBMV, 2009)

Exploiting Craig Interpolants in Bounded Model Checking for Incomplete Designs. - Christian Miller; Stefan Kupferschmid; Bernd Becker 001 (MBMV, 2010)

SAT Modulo BDD – A Combined Verification Approach for Incomplete Designs. - Tobias Nopper; Christian Miller; Matthew Lewis 004; Bernd Becker 001; Christoph Scholl 001 (MBMV, 2010)

Bounded Model Checking of Incomplete Networks of Timed Automata. - Christian Miller; Karina Gitina; Christoph Scholl 001; Bernd Becker 001 (MTV, 2010)

Encoding Techniques, Craig Interpolants and Bounded Model Checking for Incomplete Designs. - Christian Miller; Stefan Kupferschmid; Matthew Lewis 004; Bernd Becker 001 (SAT, 2010)

Verifying Incomplete Networks of Timed Automata. - Christian Miller; Christoph Scholl 001; Bernd Becker 001 (MBMV, 2011)

Bounded Model Checking of Incomplete Real-time Systems Using Quantified SMT Formulas. - Christian Miller; Karina Gitina; Bernd Becker 001 (MTV, 2011)

Frankenrigs: Building Character Rigs from Multiple Sources. - Christian Miller; Okan Arikan; Don Fussell (IEEE Trans. Vis. Comput. Graph., 2011)

Verification of partial designs using incremental QBF solving. - Paolo Marin; Christian Miller; Matthew Lewis 004; Bernd Becker 001 (DATE, 2012)

Incremental QBF Preprocessing for Partial Design Verification - (Poster Presentation). - Paolo Marin; Christian Miller; Bernd Becker 001 (SAT, 2012)

Proving QBF-hardness in Bounded Model Checking for Incomplete Designs. - Christian Miller; Christoph Scholl 001; Bernd Becker 001 (MTV, 2013)

Combined Bounded and Symbolic Model Checking for Incomplete Timed Systems. - Georges Morbé; Christian Miller; Christoph Scholl 001; Bernd Becker 001 (Haifa Verification Conference, 2014)

Modeling the unknown using quantification. - Christian Miller (Der Andere Verlag, 2014)

Verification of partial designs using incremental QBF. - Christian Miller; Paolo Marin; Bernd Becker 001 (AI Commun., 2015)