C. Sinz

Most-cited papers

Towards an Optimal CNF Encoding of Boolean Cardinality Constraints
C. Sinz
2005International Conference on Principles and Practice of Constraint Programming602 citations
Semantic Scholar
Configuration
C. Sinz, A. Haag, Nina Narodytska, T. Walsh +10 more
2018Encyclopedia of Artificial Intelligence303 citations Open access
Semantic Scholar
LLBMC: Bounded Model Checking of C and C++ Programs Using a Compiler IR
Florian Merz, Stephan Falke, C. Sinz
2012Verified Software: Theories, Tools, Experiments164 citations
Semantic Scholar
Formal methods for the validation of automotive product configuration data
C. Sinz, Andreas Kaiser, W. Küchlin
2003Artificial intelligence for engineering design, analysis and manufacturing151 citations Open access
Semantic Scholar
Configuration Lifting: Verification meets Software Configuration
Hendrik Post, C. Sinz
20082008 23rd IEEE/ACM International Conference on Automated Software Engineering100 citations
Semantic Scholar
Extended Resolution Proofs for Conjoining BDDs
C. Sinz, Armin Biere
2006Computer Science Symposium in Russia92 citations
Semantic Scholar
HordeSat: A Massively Parallel Portfolio SAT Solver
Tomás Balyo, P. Sanders, C. Sinz
2015International Conference on Theory and Applications of Satisfiability Testing89 citations
Semantic Scholar
Parallel propositional satisfiability checking with distributed dynamic learning
Wolfgang Blochinger, C. Sinz, W. Küchlin
2003Parallel Computing76 citations
Semantic Scholar
SAT Race 2015
Tomás Balyo, Armin Biere, Ashlin Iser, C. Sinz
2016Artificial Intelligence73 citations Open access
Semantic Scholar
Deep Learning for Software Defect Prediction: A Survey
Safa Omri, C. Sinz
2020International Conference on Software Engineering71 citations
Semantic Scholar
Termination Analysis of C Programs Using Compiler Intermediate Languages
Stephan Falke, D. Kapur, C. Sinz
2011International Conference on Rewriting Techniques and Applications58 citations
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
A Precise Memory Model for Low-Level Bounded Model Checking
C. Sinz, Stephan Falke, Florian Merz
2010International Workshop on Systems Software Verification53 citations
Semantic Scholar
Extended Resolution Proofs for Symbolic SAT Solving with Quantification
Toni Jussila, C. Sinz, Armin Biere
2006International Conference on Theory and Applications of Satisfiability Testing50 citations
Semantic Scholar
Reducing False Positives by Combining Abstract Interpretation and Bounded Model Checking
Hendrik Post, C. Sinz, Alexander Kaiser, Thomas Gorges
20082008 23rd IEEE/ACM International Conference on Automated Software Engineering48 citations
Semantic Scholar
Decomposing SAT Problems into Connected Components
Armin Biere, C. Sinz
2006Journal on Satisfiability, Boolean Modeling and Computation46 citations Open access
Semantic Scholar
Overview and analysis of the SAT Challenge 2012 solver competition
A. Balint, A. Belov, M. Järvisalo, C. Sinz
2015Artificial Intelligence44 citations Open access
Semantic Scholar
Linking Functional Requirements and Software Verification
Hendrik Post, C. Sinz, Florian Merz, Thomas Gorges +1 more
2009IEEE International Requirements Engineering Conference41 citations
Semantic Scholar
Termination Analysis of Imperative Programs Using Bitvector Arithmetic
Stephan Falke, D. Kapur, C. Sinz
2012Verified Software: Theories, Tools, Experiments38 citations
Semantic Scholar
Visualizing SAT Instances and Runs of the DPLL Algorithm
C. Sinz
2007Journal of automated reasoning36 citations
Semantic Scholar
The bounded model checker LLBMC
Stephan Falke, Florian Merz, C. Sinz
2013International Conference on Automated Software Engineering34 citations
Semantic Scholar
LLBMC: Improved Bounded Model Checking of C Programs Using LLVM - (Competition Contribution)
Stephan Falke, Florian Merz, C. Sinz
2013International Conference on Tools and Algorithms for Construction and Analysis of Systems31 citations Open access
Semantic Scholar
LLBMC: A Bounded Model Checker for LLVM's Intermediate Representation - (Competition Contribution)
C. Sinz, Florian Merz, Stephan Falke
2012International Conference on Tools and Algorithms for Construction and Analysis of Systems26 citations Open access
Semantic Scholar
DPvis - A Tool to Visualize the Structure of SAT Instances
C. Sinz, E. Dieringer
2005International Conference on Theory and Applications of Satisfiability Testing23 citations
Semantic Scholar
Parallel Satisfiability
Tomás Balyo, C. Sinz
2018Handbook of Parallel Constraint Reasoning22 citations
Semantic Scholar
Information Flow Analysis via Path Condition Refinement
Mana Taghdiri, G. Snelting, C. Sinz
2010USENIX Conference on File and Storage Technologies21 citations
Semantic Scholar
Extending the Theory of Arrays: memset, memcpy, and Beyond
Stephan Falke, Florian Merz, C. Sinz
2013Verified Software: Theories, Tools, Experiments19 citations
Semantic Scholar
Proceedings of SAT Challenge 2012 : Solver and Benchmark Descriptions
A. Balint, A. Belov, Daniel Diepold, Simon Gerber +2 more
201218 citations
Semantic Scholar
Problem-Sensitive Restart Heuristics for the DPLL Procedure
C. Sinz, Ashlin Iser
2009International Conference on Theory and Applications of Satisfiability Testing18 citations
Semantic Scholar
A Universal Parallel SAT Checking Kernel
Wolfgang Blochinger, C. Sinz, W. Küchlin
2003International Conference on Parallel and Distributed Processing Techniques and Applications18 citations
Semantic Scholar
Learning to Rank for Test Case Prioritization
Safa Omri, C. Sinz
2022International Workshop on Search-Based Software Testing17 citations
Semantic Scholar
Geometric Path Enumeration for Equivalence Verification of Neural Networks
Samuel Teuber, Marko Kleine Büning, Philipp Kern, C. Sinz
2021IEEE International Conference on Tools with Artificial Intelligence17 citations Open access
Semantic Scholar
Verifying Equivalence Properties of Neural Networks with ReLU Activation Functions
Marko Kleine Büning, Philipp Kern, C. Sinz
2020International Conference on Principles and Practice of Constraint Programming17 citations
Semantic Scholar
Compressing Propositional Proofs by Common Subproof Extraction
C. Sinz
2007International Conference/Workshop on Computer Aided Systems Theory17 citations
Semantic Scholar
The SoftWipe tool and benchmark for assessing coding standards adherence of scientific software
Adrian Zapletal, Dimitri Höhler, C. Sinz, A. Stamatakis
2021Scientific Reports14 citations Open access
Semantic Scholar
Ordered Binary Decision Diagrams, Pigeonhole Formulas and Beyond
O. Tveretina, C. Sinz, H. Zantema
2010Journal on Satisfiability, Boolean Modeling and Computation14 citations Open access
Semantic Scholar
Towards automatic software model checking of thousands of Linux modules—a case study with Avinux
Hendrik Post, C. Sinz, W. Küchlin
2009Software testing, verification & reliability14 citations
Semantic Scholar
Verifying CIM models of Apache Web-server configurations
C. Sinz, Amir Khosravizadeh, W. Küchlin, Viktor Mihajlovski
2003Third International Conference on Quality Software, 2003. Proceedings.14 citations
Semantic Scholar
Computation of Renameable Horn Backdoors
Stephan Kottler, M. Kaufmann, C. Sinz
2008International Conference on Theory and Applications of Satisfiability Testing13 citations
Semantic Scholar
Minimizing Models for Tseitin-Encoded SAT Instances
Ashlin Iser, C. Sinz, Mana Taghdiri
2013International Conference on Theory and Applications of Satisfiability Testing12 citations
Semantic Scholar
A New Bound for an NP-Hard Subclass of 3-SAT Using Backdoors
Stephan Kottler, M. Kaufmann, C. Sinz
2008International Conference on Theory and Applications of Satisfiability Testing12 citations
Semantic Scholar
A Problem Meta-Data Library for Research in SAT
Ashlin Iser, C. Sinz
2019POS@SAT11 citations Open access
Semantic Scholar
Static Analysis and Code Complexity Metrics as Early Indicators of Software Defects
Safa Omri, Pascal Montag, C. Sinz
201811 citations Open access
Semantic Scholar
A Theory of Arrays with set and copy Operations
Stephan Falke, C. Sinz, Florian Merz
2013SMT@IJCAR10 citations Open access
Semantic Scholar
Integration of Bounded Model Checking and Deductive Verification
Bernhard Beckert, Thorsten Bormer, Florian Merz, C. Sinz
2011Formal Verification of Object-Oriented Software9 citations
Semantic Scholar
Abstract Testing: Connecting Source Code Verification with Requirements
Florian Merz, C. Sinz, Hendrik Post, Thomas Gorges +1 more
20102010 Seventh International Conference on the Quality of Information and Communications Technology9 citations
Semantic Scholar
Visualizing the Internal Structure of SAT Instances (Preliminary Report)
C. Sinz
2004International Conference on Theory and Applications of Satisfiability Testing9 citations
Semantic Scholar
Recognition of Nested Gates in CNF Formulas
Ashlin Iser, Norbert Manthey, C. Sinz
2015International Conference on Theory and Applications of Satisfiability Testing8 citations
Semantic Scholar
Theory and Applications of Satisfiability Testing – SAT 2014
C. Sinz, Uwe Egly
2014Lecture Notes in Computer Science8 citations Open access
Semantic Scholar
A Theory of C-Style Memory Allocation ?
Stephan Falke, Florian Merz, C. Sinz
20118 citations
Semantic Scholar