Christian Miller

15 papers A 3Journal 2Unranked 9
YearRankTypeTitle / Venue / Authors
2015 J jnl
Verification of partial designs using incremental QBF.
AI Commun.
Christian Miller, Paolo Marin, Bernd Becker
2014 — conf
Combined Bounded and Symbolic Model Checking for Incomplete Timed Systems.
Haifa Verification Conference
Georges Morbé, Christian Miller, Christoph Scholl, Bernd Becker
2014 — —
Modeling the unknown using quantification.
Christian Miller
2013 — conf
Proving QBF-hardness in Bounded Model Checking for Incomplete Designs.
MTV
Christian Miller, Christoph Scholl, Bernd Becker
2012 A conf
Incremental QBF Preprocessing for Partial Design Verification - (Poster Presentation).
SAT
Paolo Marin, Christian Miller, Bernd Becker
2012 A conf
Verification of partial designs using incremental QBF solving.
DATE
Paolo Marin, Christian Miller, Matthew Lewis, Bernd Becker
2011 — conf
Bounded Model Checking of Incomplete Real-time Systems Using Quantified SMT Formulas.
MTV
Christian Miller, Karina Gitina, Bernd Becker
2011 J jnl
Frankenrigs: Building Character Rigs from Multiple Sources.
IEEE Trans. Vis. Comput. Graph.
Christian Miller, Okan Arikan, Don Fussell
2011 — conf
Verifying Incomplete Networks of Timed Automata.
MBMV
Christian Miller, Christoph Scholl, Bernd Becker
2010 — conf
Bounded Model Checking of Incomplete Networks of Timed Automata.
MTV
Christian Miller, Karina Gitina, Christoph Scholl, Bernd Becker
2010 A conf
Encoding Techniques, Craig Interpolants and Bounded Model Checking for Incomplete Designs.
SAT
Christian Miller, Stefan Kupferschmid, Matthew Lewis, Bernd Becker
2010 — conf
Exploiting Craig Interpolants in Bounded Model Checking for Incomplete Designs.
MBMV
Christian Miller, Stefan Kupferschmid, Bernd Becker
2010 — conf
Frankenrigs: building character rigs from multiple sources.
SI3D
Christian Miller, Okan Arikan, Don Fussell
2010 — conf
SAT Modulo BDD -- A Combined Verification Approach for Incomplete Designs.
MBMV
Tobias Nopper, Christian Miller, Matthew Lewis, Bernd Becker, Christoph Scholl
2009 — conf
Symbolic CTL Model Checking for Incomplete Designs by Selecting Property-Specific Subsets of Local Component Assumptions.
MBMV
Christian Miller, Tobias Nopper, Christoph Scholl