Tobias Nopper

According to our database, Tobias Nopper authored at least 8 papers between 2004 and 2015.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2015

Verifikation unvollständiger Schaltkreise.

Tobias Nopper

PhD thesis, 2015

2013

Symbolic Model Checking for Incomplete Designs with Flexible Modeling of Unknowns.

Tobias Nopper, Christoph Scholl

IEEE Trans. Computers, 2013

2010

SAT Modulo BDD -- A Combined Verification Approach for Incomplete Designs.

Tobias Nopper, Christian Miller, Matthew Lewis, Bernd Becker, Christoph Scholl

Proceedings of the Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), 2010

2009

Symbolic CTL Model Checking for Incomplete Designs by Selecting Property-Specific Subsets of Local Component Assumptions.

Christian Miller, Tobias Nopper, Christoph Scholl

Proceedings of the Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), 2009

2008

Propositional approximations for bounded model checking of partial circuit designs.

Bernd Becker, Marc Herbstritt, Natalia Kalinnik, Matthew Lewis, Juri Lichtner, Tobias Nopper, Ralf Wimmer

Proceedings of the 26th International Conference on Computer Design, 2008

2007

Counterexample Generation for Incomplete Designs.

Tobias Nopper, Christoph Scholl

Proceedings of the Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), 2007

Computation of minimal counterexamples by using black box techniques and symbolic methods.

Tobias Nopper, Christoph Scholl, Bernd Becker

Proceedings of the 2007 International Conference on Computer-Aided Design, 2007

2004

Approximate Symbolic Model Checking for Incomplete Designs.

Tobias Nopper, Christoph Scholl

Proceedings of the Formal Methods in Computer-Aided Design, 5th International Conference, 2004