Christian Miller

Publication Activity (10 Years)

Years Active: 2009-2015
Publications (10 Years): 1

Top Venues

MTV

SAT

AI Commun.

DATE

University of Freiburg (PHD)

Education History

University of Freiburg

PHD

Publications

Christian Miller, Paolo Marin, Bernd Becker
Verification of partial designs using incremental QBF. AI Commun. 28 (2) (2015)
Georges Morbé, Christian Miller, Christoph Scholl, Bernd Becker
Combined Bounded and Symbolic Model Checking for Incomplete Timed Systems. Haifa Verification Conference (2014)
Christian Miller, Christoph Scholl, Bernd Becker
Proving QBF-hardness in Bounded Model Checking for Incomplete Designs. MTV (2013)
Paolo Marin, Christian Miller, Bernd Becker
Incremental QBF Preprocessing for Partial Design Verification - (Poster Presentation). SAT (2012)
Paolo Marin, Christian Miller, Matthew Lewis, Bernd Becker
Verification of partial designs using incremental QBF solving. DATE (2012)
Christian Miller, Christoph Scholl, Bernd Becker
Verifying Incomplete Networks of Timed Automata. MBMV (2011)
Christian Miller, Karina Gitina, Bernd Becker
Bounded Model Checking of Incomplete Real-time Systems Using Quantified SMT Formulas. MTV (2011)
Christian Miller, Okan Arikan, Don Fussell
Frankenrigs: Building Character Rigs from Multiple Sources. IEEE Trans. Vis. Comput. Graph. 17 (8) (2011)
Christian Miller, Karina Gitina, Christoph Scholl, Bernd Becker
Bounded Model Checking of Incomplete Networks of Timed Automata. MTV (2010)
Christian Miller, Stefan Kupferschmid, Matthew Lewis, Bernd Becker
Encoding Techniques, Craig Interpolants and Bounded Model Checking for Incomplete Designs. SAT (2010)
Christian Miller, Stefan Kupferschmid, Bernd Becker
Exploiting Craig Interpolants in Bounded Model Checking for Incomplete Designs. MBMV (2010)
Tobias Nopper, Christian Miller, Matthew Lewis, Bernd Becker, Christoph Scholl
SAT Modulo BDD -- A Combined Verification Approach for Incomplete Designs. MBMV (2010)
Christian Miller, Okan Arikan, Don Fussell
Frankenrigs: building character rigs from multiple sources. SI3D (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)

Christian Miller.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Christian Miller