Christoph M. Wintersteiger
Christoph M. Wintersteiger
Microsoft Research
Geverifieerd e-mailadres voor microsoft.com - Homepage
Geciteerd door
Geciteerd door
Efficiently solving quantified bit-vector formulas
CM Wintersteiger, Y Hamadi, L De Moura
Formal Methods in System Design 42, 3-23, 2013
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
Termination analysis with compositional transition invariants
D Kroening, N Sharygina, A Tsitovich, CM Wintersteiger
Computer Aided Verification: 22nd International Conference, CAV 2010 …, 2010
Seven challenges in parallel SAT solving
Y Hamadi, C Wintersteiger
AI Magazine 34 (2), 99-99, 2013
A concurrent portfolio approach to SMT solving
CM Wintersteiger, Y Hamadi, L De Moura
Computer Aided Verification: 21st International Conference, CAV 2009 …, 2009
Evercrypt: A fast, verified, cross-platform cryptographic provider
J Protzenko, B Parno, A Fromherz, C Hawblitzel, M Polubelova, ...
2020 IEEE Symposium on Security and Privacy (SP), 983-1002, 2020
Loop Summarization and Termination Analysis.
A Tsitovich, N Sharygina, CM Wintersteiger, D Kroening
TACAS 11, 81-95, 2011
Loop summarization using abstract transformers
D Kroening, N Sharygina, S Tonetta, A Tsitovich, CM Wintersteiger
Automated Technology for Verification and Analysis: 6th International …, 2008
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-7, 2018
A first step towards a unified proof checker for QBF
T Jussila, A Biere, C Sinz, D Kröning, CM Wintersteiger
Theory and Applications of Satisfiability Testing–SAT 2007: 10th …, 2007
CCF: A framework for building confidential verifiable replicated services
M Russinovich, E Ashton, C Avanessians, M Castro, A Chamayou, ...
Technical report, Microsoft Research and Microsoft Azure, 2019
Programming Z3
N Bjørner, L de Moura, L Nachmanson, CM Wintersteiger
Engineering Trustworthy Software Systems: 4th International School, SETSS …, 2019
Stochastic local search for satisfiability modulo theories
A Fröhlich, A Biere, C Wintersteiger, Y Hamadi
Proceedings of the AAAI Conference on Artificial Intelligence 29 (1), 2015
Deciding Bit-Vector Formulas with mcSAT
A Zeljić, CM Wintersteiger, P Rümmer
Theory and Applications of Satisfiability Testing–SAT 2016: 19th …, 2016
SMT-based analysis of biological computation
B Yordanov, CM Wintersteiger, Y Hamadi, H Kugler
NASA Formal Methods: 5th International Symposium, NFM 2013, Moffett Field …, 2013
Loop summarization using state and transition invariants
D Kroening, N Sharygina, S Tonetta, A Tsitovich, CM Wintersteiger
Formal Methods in System Design 42, 221-261, 2013
Analyzing and synthesizing genomic logic functions
N Paoletti, B Yordanov, Y Hamadi, CM Wintersteiger, H Kugler
Computer Aided Verification: 26th International Conference, CAV 2014, Held …, 2014
Digitaltechnik—Eine praxisnahe Einführung
A Biere, D Kröning, G Weissenbacher, CM Wintersteiger
Digitaltechnik—Eine praxisnahe Einführung, 39-83, 2008
Snmalloc: a message passing allocator
P Liétar, T Butler, S Clebsch, S Drossopoulou, J Franco, MJ Parkinson, ...
Proceedings of the 2019 ACM SIGPLAN International Symposium on Memory …, 2019
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
Het systeem kan de bewerking nu niet uitvoeren. Probeer het later opnieuw.
Artikelen 1–20