Approximate Symbolic Model Checking for Incomplete Designs. - Tobias Nopper; Christoph Scholl 001 (FMCAD, 2004)

Computation of minimal counterexamples by using black box techniques and symbolic methods. - Tobias Nopper; Christoph Scholl 001; Bernd Becker 001 (ICCAD, 2007)

Counterexample Generation for Incomplete Designs. - Tobias Nopper; Christoph Scholl 001 (MBMV, 2007)

Propositional approximations for bounded model checking of partial circuit designs. - Bernd Becker 001; Marc Herbstritt; Natalia Kalinnik; Matthew Lewis 004; Juri Lichtner; Tobias Nopper; Ralf Wimmer 001 (ICCD, 2008)

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)

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)

Symbolic Model Checking for Incomplete Designs with Flexible Modeling of Unknowns. - Tobias Nopper; Christoph Scholl 001 (IEEE Trans. Computers, 2013)

Verifikation unvollständiger Schaltkreise. - Tobias Nopper (Der Andere Verlag, 2015)