Christian Miller

According to our database, Christian Miller authored at least 14 papers between 2009 and 2015.

Collaborative distances:

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

2015

Verification of partial designs using incremental QBF.

Christian Miller, Paolo Marin, Bernd Becker

AI Commun., 2015

2014

Modeling the unknown using quantification.

Christian Miller

PhD thesis, 2014

Combined Bounded and Symbolic Model Checking for Incomplete Timed Systems.

Georges Morbé, Christian Miller, Christoph Scholl, Bernd Becker

Proceedings of the Hardware and Software: Verification and Testing, 2014

2013

Proving QBF-hardness in Bounded Model Checking for Incomplete Designs.

Christian Miller, Christoph Scholl, Bernd Becker

Proceedings of the 14th International Workshop on Microprocessor Test and Verification, 2013

2012

Incremental QBF Preprocessing for Partial Design Verification - (Poster Presentation).

Paolo Marin, Christian Miller, Bernd Becker

Proceedings of the Theory and Applications of Satisfiability Testing - SAT 2012, 2012

Verification of partial designs using incremental QBF solving.

Paolo Marin, Christian Miller, Matthew Lewis, Bernd Becker

Proceedings of the 2012 Design, Automation & Test in Europe Conference & Exhibition, 2012

2011

Frankenrigs: Building Character Rigs from Multiple Sources.

Christian Miller, Okan Arikan, Don Fussell

IEEE Trans. Vis. Comput. Graph., 2011

Bounded Model Checking of Incomplete Real-time Systems Using Quantified SMT Formulas.

Christian Miller, Karina Gitina, Bernd Becker

Proceedings of the 12th International Workshop on Microprocessor Test and Verification, 2011

Verifying Incomplete Networks of Timed Automata.

Christian Miller, Christoph Scholl, Bernd Becker

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

2010

Encoding Techniques, Craig Interpolants and Bounded Model Checking for Incomplete Designs.

Christian Miller, Stefan Kupferschmid, Matthew Lewis, Bernd Becker

Proceedings of the Theory and Applications of Satisfiability Testing, 2010

Bounded Model Checking of Incomplete Networks of Timed Automata.

Christian Miller, Karina Gitina, Christoph Scholl, Bernd Becker

Proceedings of the 11th International Workshop on Microprocessor Test and Verification, 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

Exploiting Craig Interpolants in Bounded Model Checking for Incomplete Designs.

Christian Miller, Stefan Kupferschmid, Bernd Becker

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