I'm a post-doctoral researcher in the Constraint Reasoning Group working on SAT and SMT solvers, e.g., the Z3 theorem prover.
2011
Aliaksei Tsitovich, Natasha Sharygina, Christoph M. Wintersteiger, and Daniel Kroening, Loop Summarization and Termination Analysis, in Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2011), Springer Verlag, 2011
Youssef Hamadi, Joao Marques-Silva, and Christoph M. Wintersteiger, Lazy Decomposition for Distributed Decision Procedures, in Proceedings of the 10th International Workshop on Parallel and Distributed Methods in verifiCation (PDMC'11), Electronic Proceedings in Theoretical Computer Science, 2011
2010
Christoph M. Wintersteiger, Youssef Hamadi, and Leonardo de Moura, Efficiently Solving Quantified Bit-Vector Formulas, in Proceedings of FMCAD 2010, 2010
Byron Cook, Daniel Kroening, Philipp Rümmer, and Christoph M. Wintersteiger, Ranking Function Synthesis for Bit-Vector Relations, in Proceedings of TACAS 2010, Springer, 2010
Daniel Kroening, Natasha Sharygina, Aliaksei Tsitovich, and Christoph M. Wintersteiger, Termination Analysis With Compositional Transition Invariants, in Proceedings of CAV 2010, Springer, 2010
2009
Daniel Kroening, Natasha Sharygina, Stefano Tonetta, Aliaksei Tsitovich, and Christoph M. Wintersteiger, Loopfrog: A Static Analyzer for ANSI-C Programs, in Proceedings of ASE 2009, IEEE Press, 2009
Christoph M. Wintersteiger, Youssef Hamadi, and Leonardo de Moura, A Concurrent Portfolio Approach to SMT Solving, in Proceedings of CAV 2009, Springer, 2009
2008
Armin Biere, Daniel Kroening, Georg Weissenbacher, and Christoph M. Wintersteiger, Digitaltechnik - eine praxisnahe Einführung, Springer Verlag Berlin Heidelberg, 2008
Daniel Kroening, Natasha Sharygina, Stefano Tonetta, Aliaksei Tsitovich, and Christoph M. Wintersteiger, Loop Summarization using Abstract Transformers, in Proceedings of ATVA 2008, Springer, 2008
2007
Martin Helfert and Christoph M. Wintersteiger, Gustav Tauschek's Punchcard Accounting Machines, in MEDICHI 2007 - Methodic and Didactic Challenges of the History of Informatics, Austrian Computer Society, 2007
Toni Jussila, Armin Biere, Carsten Sinz, Daniel Kroening, and Christoph M. Wintersteiger, A First Step Towards a Unified Proof Checker for QBF, in Proceedings of the Tenth International Conference on Theory and Applications of Satisfiability Testing (SAT 2007), Springer, 2007
Martin Helfert, Petra Mazuran, and Christoph M. Wintersteiger, Gustav Tauschek und seine Maschinen, vol. 10, Verlag Rudolf Trauner, Austria, 2007
