Christoph M. Wintersteiger
Christoph M. Wintersteiger
Microsoft Research
Bestätigte E-Mail-Adresse bei microsoft.com - Startseite
Titel
Zitiert von
Zitiert von
Jahr
Efficiently solving quantified bit-vector formulas
CM Wintersteiger, Y Hamadi, L De Moura
Formal Methods in System Design 42 (1), 3-23, 2013
1202013
Termination analysis with compositional transition invariants
D Kroening, N Sharygina, A Tsitovich, CM Wintersteiger
International Conference on Computer Aided Verification, 89-103, 2010
812010
Seven challenges in parallel SAT solving
Y Hamadi, C Wintersteiger
AI Magazine 34 (2), 99-99, 2013
692013
A concurrent portfolio approach to SMT solving
CM Wintersteiger, Y Hamadi, L De Moura
International Conference on Computer Aided Verification, 715-720, 2009
652009
Loop summarization and termination analysis
A Tsitovich, N Sharygina, CM Wintersteiger, D Kroening
International Conference on Tools and Algorithms for the Construction and …, 2011
582011
A first step towards a unified proof checker for QBF
T Jussila, A Biere, C Sinz, D Kröning, CM Wintersteiger
International Conference on Theory and Applications of Satisfiability …, 2007
582007
Ranking function synthesis for bit-vector relations
B Cook, D Kroening, P Rümmer, CM Wintersteiger
International Conference on Tools and Algorithms for the Construction and …, 2010
572010
Loop summarization using abstract transformers
D Kroening, N Sharygina, S Tonetta, A Tsitovich, CM Wintersteiger
International Symposium on Automated Technology for Verification and …, 2008
532008
Ranking function synthesis for bit-vector relations
B Cook, D Kroening, P Rümmer, CM Wintersteiger
Formal methods in system design 43 (1), 93-120, 2013
352013
Deciding bit-vector formulas with mcSAT
A Zeljić, CM Wintersteiger, P Rümmer
International Conference on Theory and Applications of Satisfiability …, 2016
342016
Stochastic local search for satisfiability modulo theories
A Fröhlich, A Biere, CM Wintersteiger, Y Hamadi
332015
SMT-based analysis of biological computation
B Yordanov, CM Wintersteiger, Y Hamadi, H Kugler
NASA formal methods symposium, 78-92, 2013
322013
Analyzing and synthesizing genomic logic functions
N Paoletti, B Yordanov, Y Hamadi, CM Wintersteiger, H Kugler
International Conference on Computer Aided Verification, 343-357, 2014
232014
SCNS: a graphical tool for reconstructing executable regulatory networks from single-cell genomic data
S Woodhouse, N Piterman, CM Wintersteiger, B Göttgens, J Fisher
BMC systems biology 12 (1), 1-7, 2018
182018
Loop summarization using state and transition invariants
D Kroening, N Sharygina, S Tonetta, A Tsitovich, CM Wintersteiger
Formal Methods in System Design 42 (3), 221-261, 2013
172013
Loopfrog: A static analyzer for ANSI-C programs
D Kroening, N Sharygina, S Tonetta, A Tsitovich, CM Wintersteiger
2009 IEEE/ACM International Conference on Automated Software Engineering …, 2009
172009
Digitaltechnik—Eine praxisnahe Einführung
A Biere, D Kröning, G Weissenbacher, CM Wintersteiger
Digitaltechnik—Eine praxisnahe Einführung, 39-83, 2008
162008
An approximation framework for solvers and decision procedures
A Zeljić, CM Wintersteiger, P Rümmer
Journal of automated reasoning 58 (1), 127-147, 2017
152017
Approximations for model construction
A Zeljić, CM Wintersteiger, P Rümmer
International Joint Conference on Automated Reasoning, 344-359, 2014
152014
Diagnosing abstraction failure for separation logic–based analyses
J Berdine, A Cox, S Ishtiaq, CM Wintersteiger
International Conference on Computer Aided Verification, 155-173, 2012
132012
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20