Tobias Nopper

Publication Activity (10 Years)

Years Active: 2004-2013
Publications (10 Years): 0

Top Topics

Partial Observability

Conformant Planning

Symbolic Model Checking

Top Venues

IEEE Trans. Computers

University of Freiburg, Freiburg im Breisgau, Germany (PHD)

Education History

University of Freiburg, Freiburg im Breisgau, Germany

PHD

Publications

Tobias Nopper, Christoph Scholl
Symbolic Model Checking for Incomplete Designs with Flexible Modeling of Unknowns. IEEE Trans. Computers 62 (6) (2013)
Tobias Nopper, Christian Miller, Matthew Lewis, Bernd Becker, Christoph Scholl
SAT Modulo BDD -- A Combined Verification Approach for Incomplete Designs. MBMV (2010)
Christian Miller, Tobias Nopper, Christoph Scholl
Symbolic CTL Model Checking for Incomplete Designs by Selecting Property-Specific Subsets of Local Component Assumptions. MBMV (2009)
Bernd Becker, Marc Herbstritt, Natalia Kalinnik, Matthew Lewis, Juri Lichtner, Tobias Nopper, Ralf Wimmer
Propositional approximations for bounded model checking of partial circuit designs. ICCD (2008)
Tobias Nopper, Christoph Scholl
Counterexample Generation for Incomplete Designs. MBMV (2007)
Tobias Nopper, Christoph Scholl, Bernd Becker
Computation of minimal counterexamples by using black box techniques and symbolic methods. ICCAD (2007)
Tobias Nopper, Christoph Scholl
Approximate Symbolic Model Checking for Incomplete Designs. FMCAD (2004)