C. Wintersteiger

Most-cited papers

EverCrypt: A Fast, Verified, Cross-Platform Cryptographic Provider
Jonathan Protzenko, Bryan Parno, Aymeric Fromherz, C. Hawblitzel +12 more
2020IEEE Symposium on Security and Privacy129 citations Open access
Semantic Scholar
Efficiently solving quantified bit-vector formulas
C. Wintersteiger, Y. Hamadi, L. D. de Moura
2010Formal methods in system design110 citations
Semantic Scholar
CCF: A Framework for Building Confidential Verifiable Replicated Services
M. Russinovich, Edward Ashton, Christine Avanessians, Miguel Castro +15 more
201996 citations
Semantic Scholar
A Concurrent Portfolio Approach to SMT Solving
C. Wintersteiger, Y. Hamadi, L. D. de Moura
2009International Conference on Computer Aided Verification87 citations
Semantic Scholar
Termination Analysis with Compositional Transition Invariants
D. Kroening, N. Sharygina, Aliaksei Tsitovich, C. Wintersteiger
2010International Conference on Computer Aided Verification85 citations Open access
Semantic Scholar
SCNS: a graphical tool for reconstructing executable regulatory networks from single-cell genomic data
S. Woodhouse, Nir Piterman, C. Wintersteiger, B. Göttgens +1 more
2018BMC Systems Biology84 citations Open access
Semantic Scholar
Seven Challenges in Parallel SAT Solving
Y. Hamadi, C. Wintersteiger
2012The AI Magazine78 citations Open access
Semantic Scholar
A First Step Towards a Unified Proof Checker for QBF
Toni Jussila, Armin Biere, C. Sinz, Daniel Kröning +1 more
2007International Conference on Theory and Applications of Satisfiability Testing55 citations
Semantic Scholar
Loop Summarization and Termination Analysis
Aliaksei Tsitovich, N. Sharygina, C. Wintersteiger, D. Kroening
2011International Conference on Tools and Algorithms for Construction and Analysis of Systems53 citations Open access
Semantic Scholar
Loop Summarization Using Abstract Transformers
D. Kroening, N. Sharygina, S. Tonetta, Aliaksei Tsitovich +1 more
2008Automated Technology for Verification and Analysis52 citations
Semantic Scholar
Mapped Tent Pitching Schemes for Hyperbolic Systems
Jay Gopalakrishnan, J. Schöberl, C. Wintersteiger
2016SIAM Journal on Scientific Computing46 citations Open access
Semantic Scholar
Programming Z3
Nikolaj S. Bjørner, L. D. de Moura, Lev Nachmanson, C. Wintersteiger
2018International School on Engineering Trustworthy Software Systems45 citations
Semantic Scholar
Stochastic Local Search for Satisfiability Modulo Theories
A. Fröhlich, Armin Biere, C. Wintersteiger, Y. Hamadi
2015AAAI Conference on Artificial Intelligence44 citations Open access
Semantic Scholar
snmalloc: a message passing allocator
Paul Liétar, T. Butler, S. Clebsch, S. Drossopoulou +5 more
2019International Symposium on Mathematical Morphology and Its Application to Signal and Image Processing42 citations
Semantic Scholar
Tent pitching and Trefftz-DG method for the acoustic wave equation
I. Perugia, J. Schöberl, P. Stocker, C. Wintersteiger
2019Computers and Mathematics with Applications39 citations Open access
Semantic Scholar
Deciding Bit-Vector Formulas with mcSAT
Aleksandar Zeljić, C. Wintersteiger, Philipp Rümmer
2016International Conference on Theory and Applications of Satisfiability Testing39 citations
Semantic Scholar
SMT-Based Analysis of Biological Computation
B. Yordanov, C. Wintersteiger, Y. Hamadi, H. Kugler
2013NASA Formal Methods36 citations
Semantic Scholar
Confidential Consortium Framework: Secure Multiparty Applications with Confidentiality, Integrity, and High Availability
Heidi Howard, F. Alder, Edward Ashton, A. Chamayou +11 more
2023Proceedings of the VLDB Endowment31 citations
Semantic Scholar
Loop summarization using state and transition invariants
D. Kroening, N. Sharygina, S. Tonetta, Aliaksei Tsitovich +1 more
2012Formal methods in system design25 citations
Semantic Scholar
Analyzing and Synthesizing Genomic Logic Functions
Nicola Paoletti, B. Yordanov, Y. Hamadi, C. Wintersteiger +1 more
2014International Conference on Computer Aided Verification22 citations Open access
Semantic Scholar
The Effect of Structural Measures and Merges on SAT Solver Performance
Edward Zulkoski, Ruben Martins, C. Wintersteiger, Jia Liang +2 more
2018International Conference on Principles and Practice of Constraint Programming19 citations
Semantic Scholar
Higher order unfitted FEM for Stokes interface problems
P. Lederer, C. Pfeiler, C. Wintersteiger, C. Lehrenfeld
201616 citations Open access
Semantic Scholar
Loopfrog: A Static Analyzer for ANSI-C Programs
D. Kroening, N. Sharygina, S. Tonetta, Aliaksei Tsitovich +1 more
20092009 IEEE/ACM International Conference on Automated Software Engineering16 citations
Semantic Scholar
An Explicit Mapped Tent Pitching Scheme for Maxwell Equations
Jay Gopalakrishnan, M. Hochsteger, J. Schöberl, C. Wintersteiger
2019Lecture Notes in Computational Science and Engineering15 citations Open access
Semantic Scholar
Exploring Approximations for Floating-Point Arithmetic using UppSAT
Aleksandar Zeljić, Peter Backeman, C. Wintersteiger, Philipp Rümmer
2017International Joint Conference on Automated Reasoning15 citations Open access
Semantic Scholar
Approximations for Model Construction
Aleksandar Zeljić, C. Wintersteiger, Philipp Rümmer
2014International Joint Conference on Automated Reasoning15 citations Open access
Semantic Scholar
Automated Synthesis and Analysis of Switching Gene Regulatory Networks
Yoli Shavit, B. Yordanov, S. Dunn, C. Wintersteiger +4 more
2016Biosyst.14 citations Open access
Semantic Scholar
Lazy Decomposition for Distributed Decision Procedures
Y. Hamadi, Joao Marques-Silva, C. Wintersteiger
2011PDMC14 citations Open access
Semantic Scholar
Symbolic Approximation of the Bounded Reachability Probability in Large Markov Chains
M. Rabe, C. Wintersteiger, H. Kugler, B. Yordanov +1 more
2014International Conference on Quantitative Evaluation of Systems13 citations
Semantic Scholar
Functional Analysis of Large-Scale DNA Strand Displacement Circuits
B. Yordanov, C. Wintersteiger, Y. Hamadi, Andrew Phillips +1 more
2013DNA13 citations
Semantic Scholar
Diagnosing Abstraction Failure for Separation Logic-Based Analyses
Josh Berdine, Arlen Cox, Samin S. Ishtiaq, C. Wintersteiger
2012International Conference on Computer Aided Verification13 citations Open access
Semantic Scholar
Parallel Satisfiability Modulo Theories
A. Hyvärinen, C. Wintersteiger
2018Handbook of Parallel Constraint Reasoning12 citations
Semantic Scholar
Discovering Essential Multiple Gene Effects Through Large Scale Optimization: An Application to Human Cancer Metabolism
A. Occhipinti, Y. Hamadi, H. Kugler, C. Wintersteiger +2 more
2020IEEE/ACM Transactions on Computational Biology & Bioinformatics11 citations Open access
Semantic Scholar
Learning-Sensitive Backdoors with Restarts
Edward Zulkoski, Ruben Martins, C. Wintersteiger, Robert Robere +3 more
2018International Conference on Principles and Practice of Constraint Programming10 citations
Semantic Scholar
An Approximation Framework for Solvers and Decision Procedures
Aleksandar Zeljić, C. Wintersteiger, Philipp Rümmer
2016Journal of automated reasoning10 citations Open access
Semantic Scholar
Loopfrog - loop summarization for static analysis
D. Kroening, N. Sharygina, S. Tonetta, Aliaksei Tsitovich +1 more
2016WING@ETAPS/IJCAR9 citations Open access
Semantic Scholar
Confidential Container Groups
Matthew A. Johnson, Stavros Volos, Ken Gordon, S. T. Allen +4 more
2024Queue7 citations Open access
Semantic Scholar
Convergence analysis of some tent-based schemes for linear hyperbolic systems
D. Drake, Jay Gopalakrishnan, J. Schöberl, C. Wintersteiger
2021Mathematics of Computation7 citations Open access
Semantic Scholar
Z34Bio: An SMT-based Framework for Analyzing Biological Computation
B. Yordanov, Y. Hamadi, H. Kugler, C. Wintersteiger
20137 citations
Semantic Scholar
Resourceful Reachability as HORN-LA
Josh Berdine, Nikolaj S. Bjørner, Samin S. Ishtiaq, J. Kriener +1 more
2013Logic Programming and Automated Reasoning6 citations
Semantic Scholar
Theory and Applications of Satisfiability Testing – SAT 2018: 21st International Conference, SAT 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 9–12, 2018, Proceedings
Olaf Beyersdorff, C. Wintersteiger
2018International Conference on Theory and Applications of Satisfiability Testing5 citations
Semantic Scholar
Relating Complexity-theoretic Parameters with SAT Solver Performance
Edward Zulkoski, Ruben Martins, C. Wintersteiger, Robert Robere +3 more
2017arXiv.org5 citations
Semantic Scholar
Switching Gene Regulatory Networks
Yoli Shavit, B. Yordanov, S. Dunn, C. Wintersteiger +2 more
2015International Conference on Information Processign in Cells and Tissues5 citations
Semantic Scholar
On Intervals and Bounds in Bit-vector Arithmetic
Mikoláš Janota, C. Wintersteiger
2016SMT@IJCAR4 citations
Semantic Scholar
Termination Analysis for Bit-Vector Programs
C. Wintersteiger
20114 citations
Semantic Scholar
This paper is included in the Proceedings of the 19th USENIX Symposium on Networked Systems Design and Implementation
Systems Design, A. Shamis, Peter Pietzuch, B. Canakci +14 more
4 citations
Semantic Scholar
Parma: Confidential Containers via Attested Execution Policies
Matthew A. Johnson, Stavros Volos, Ken Gordon, S. T. Allen +4 more
20233 citations
Semantic Scholar
An SMT-Based Framework for Reasoning About Discrete Biological Models
B. Yordanov, S. Dunn, Colin Gravill, H. Kugler +1 more
2022International Symposium on Bioinformatics Research and Applications3 citations
Semantic Scholar
Structure aware Runge–Kutta time stepping for spacetime tents
J. Gopalakrishnan, J. Schöberl, C. Wintersteiger
2020SN Partial Differential Equations and Applications3 citations Open access
Semantic Scholar
Novel Aspects of IEEE SA P3109 Arithmetic Formats for Machine Learning
Andrew W. Fitzgibbon, C. Wintersteiger, J. Sarnoff
2026arXiv.org2 citations
Semantic Scholar