ReDuX 1.5: New Facets of Rewriting. - Reinhard Bündgen; Carsten Sinz; Jochen Walter (RTA, 1996)

System Description: ARA - An Automatic Theorem Prover for Relation Algebras. - Carsten Sinz (CADE, 2000)

A Service-Based Agent Framework for Distributed Symbolic Computation. - Ralf-Dieter Schimkat; Wolfgang Blochinger; Carsten Sinz; Michael Friedrich 002; Wolfgang Küchlin (HPCN Europe, 2000)

Proving Consistency Assertions for Automotive Product Data Management. - Wolfgang Küchlin; Carsten Sinz (J. Autom. Reason., 2000)

Towards a Verification of the Rule-Based Expert System of the IBM SA for OS/390 Automation Manager. - Carsten Sinz; Wolfgang Küchlin; Thomas Lumpp (APAQS, 2001)

Detection of Inconsistencies in Complex Product Configuration Data Using Extended Propositional SAT-Checking. - Carsten Sinz; Andreas Kaiser; Wolfgang Küchlin (FLAIRS, 2001)

Combining Parallel and Distributed Search in Automated Equational Deduction. - Carsten Sinz; Jörg Denzinger; Jürgen Avenhaus; Wolfgang Küchlin (PPAM, 2001)

PaSAT - Parallel SAT-Checking with Lemma Exchange: Implementation and Applications. - Carsten Sinz; Wolfgang Blochinger; Wolfgang Küchlin (Electron. Notes Discret. Math., 2001)

Detection of dynamic execution errors in IBM system automation's rule-based expert system. - Carsten Sinz; Thomas Lumpp; Jürgen M. Schneider; Wolfgang Küchlin (Inf. Softw. Technol., 2002)

A Universal Parallel SAT Checking Kernel. - Wolfgang Blochinger; Carsten Sinz; Wolfgang Küchlin (PDPTA, 2003)

Verifying CIM Models of Apache Web-Server Configurations. - Carsten Sinz; Amir Khosravizadeh; Wolfgang Küchlin; Viktor Mihajlovski (QSIC, 2003)

Formal methods for the validation of automotive product configuration data. - Carsten Sinz; Andreas Kaiser; Wolfgang Küchlin (Artif. Intell. Eng. Des. Anal. Manuf., 2003)

Parallel propositional satisfiability checking with distributed dynamic learning. - Wolfgang Blochinger; Carsten Sinz; Wolfgang Küchlin (Parallel Comput., 2003)

Verifikation regelbasierter Konfigurationssysteme. - Carsten Sinz (2003)

Verifying the On-line Help System of SIEMENS Magnetic Resonance Tomographs. - Carsten Sinz; Wolfgang Küchlin (ICFEM, 2004)

Visualizing the Internal Structure of SAT Instances (Preliminary Report) - Carsten Sinz (SAT, 2004)

Verifying the On-Line Help System of SIEMENS Magnetic Resonance Tomographs using SAT (Extended Abstract) - Carsten Sinz; Wolfgang Küchlin (SAT, 2004)

Towards an Optimal CNF Encoding of Boolean Cardinality Constraints. - Carsten Sinz (CP, 2005)

DPvis - A Tool to Visualize the Structure of SAT Instances. - Carsten Sinz; Edda-Maria Dieringer (SAT, 2005)

Extended Resolution Proofs for Conjoining BDDs. - Carsten Sinz; Armin Biere (CSR, 2006)

Extended Resolution Proofs for Symbolic SAT Solving with Quantification. - Toni Jussila; Carsten Sinz; Armin Biere (SAT, 2006)

Checking Consistency and Completeness of On-Line Product Manuals. - Carsten Sinz; Wolfgang Küchlin; Dieter Feichtinger; Georg Görtler (J. Autom. Reason., 2006)

Decomposing SAT Problems into Connected Components. - Armin Biere; Carsten Sinz (J. Satisf. Boolean Model. Comput., 2006)

Compressing Propositional Proofs by Common Subproof Extraction. - Carsten Sinz (EUROCAST, 2007)

A First Step Towards a Unified Proof Checker for QBF. - Toni Jussila; Armin Biere; Carsten Sinz; Daniel Kröning; Christoph M. Wintersteiger (SAT, 2007)

Configuration. - Carsten Sinz; Albert Haag; Nina Narodytska; Toby Walsh; Esther M. Gelle; Mihaela Sabin; Ulrich Junker; Barry O'Sullivan; Rick Rabiser; Deepak Dhungana; Paul Grünbacher; Klaus Lehner; et al. (IEEE Intell. Syst., 2007)

Visualizing SAT Instances and Runs of the DPLL Algorithm. - Carsten Sinz (J. Autom. Reason., 2007)

Configuration Lifting: Verification meets Software Configuration. - Hendrik Post; Carsten Sinz (ASE, 2008)

Reducing False Positives by Combining Abstract Interpretation and Bounded Model Checking. - Hendrik Post; Carsten Sinz; Alexander Kaiser 001; Thomas Gorges (ASE, 2008)

Towards SLA-based optimal workload distribution in SANs. - Eray Gençay; Carsten Sinz; Wolfgang Küchlin (NOMS, 2008)

Computation of Renameable Horn Backdoors. - Stephan Kottler; Michael Kaufmann 001; Carsten Sinz (SAT, 2008)

A New Bound for an NP-Hard Subclass of 3-SAT Using Backdoors. - Stephan Kottler; Michael Kaufmann 001; Carsten Sinz (SAT, 2008)

SANchk: SQL-based SAN configuration checking. - Eray Gençay; Carsten Sinz; Wolfgang Küchlin; Thorsten Schäfer (IEEE Trans. Netw. Serv. Manag., 2008)

Proving Functional Equivalence of Two AES Implementations Using Bounded Model Checking. - Hendrik Post; Carsten Sinz (ICST, 2009)

Linking Functional Requirements and Software Verification. - Hendrik Post; Carsten Sinz; Florian Merz 001; Thomas Gorges; Thomas Kropf (RE, 2009)

Problem-Sensitive Restart Heuristics for the DPLL Procedure. - Carsten Sinz; Markus Iser (SAT, 2009)

An Exponential Lower Bound on OBDD Refutations for Pigeonhole Formulas - Olga Tveretina; Carsten Sinz; Hans Zantema (ACAC, 2009)

Towards automatic software model checking of thousands of Linux modules - a case study with Avinux. - Hendrik Post; Carsten Sinz; Wolfgang Küchlin (Softw. Test. Verification Reliab., 2009)

Information Flow Analysis via Path Condition Refinement. - Mana Taghdiri; Gregor Snelting; Carsten Sinz (Formal Aspects in Security and Trust, 2010)

Software Verification: State of the Art and Challenges. - Carsten Sinz (KIT-Nachwuchswissenschaftler-Symposium, 2010)

Abstract Testing: Connecting Source Code Verification with Requirements. - Florian Merz 001; Carsten Sinz; Hendrik Post; Thomas Gorges; Thomas Kropf (QUATIC, 2010)

A Precise Memory Model for Low-Level Bounded Model Checking. - Carsten Sinz; Stephan Falke 001; Florian Merz 001 (SSV, 2010)

Ordered Binary Decision Diagrams, Pigeonhole Formulas and Beyond. - Olga Tveretina; Carsten Sinz; Hans Zantema (J. Satisf. Boolean Model. Comput., 2010)

Probabilistic Model Checking of Constraints in a Supply Chain Business Process. - Tamara Mendt; Carsten Sinz; Olga Tveretina (BIS, 2011)

Analyzing Separation of Duties Constraints with a Probabilistic Model Checker. - Tamara Mendt; Carsten Sinz; Olga Tveretina (BIS (Workshops), 2011)

Integration of Bounded Model Checking and Deductive Verification. - Bernhard Beckert; Thorsten Bormer; Florian Merz 001; Carsten Sinz (FoVeOOS, 2011)

Termination Analysis of C Programs Using Compiler Intermediate Languages. - Stephan Falke 001; Deepak Kapur; Carsten Sinz (RTA, 2011)

A Theory of Arrays with set and copy Operations. - Stephan Falke 001; Carsten Sinz; Florian Merz 001 (SMT@IJCAR, 2012)

Challenges in Comparing Software Verification Tools for C. - Florian Merz 001; Carsten Sinz; Stephan Falke 001 (COMPARE, 2012)

Optimizing MiniSAT Variable Orderings for the Relational Model Finder Kodkod - (Poster Presentation). - Markus Iser; Mana Taghdiri; Carsten Sinz (SAT, 2012)

LLBMC: A Bounded Model Checker for LLVM's Intermediate Representation - (Competition Contribution). - Carsten Sinz; Florian Merz 001; Stephan Falke 001 (TACAS, 2012)

Termination Analysis of Imperative Programs Using Bitvector Arithmetic. - Stephan Falke 001; Deepak Kapur; Carsten Sinz (VSTTE, 2012)

LLBMC: Bounded Model Checking of C and C++ Programs Using a Compiler IR. - Florian Merz 001; Stephan Falke 001; Carsten Sinz (VSTTE, 2012)

The bounded model checker LLBMC. - Stephan Falke 001; Florian Merz 001; Carsten Sinz (ASE, 2013)

Minimizing Models for Tseitin-Encoded SAT Instances. - Markus Iser; Carsten Sinz; Mana Taghdiri (SAT, 2013)

LLBMC: Improved Bounded Model Checking of C Programs Using LLVM - (Competition Contribution). - Stephan Falke 001; Florian Merz 001; Carsten Sinz (TACAS, 2013)

Extending the Theory of Arrays: memset, memcpy, and Beyond. - Stephan Falke 001; Florian Merz 001; Carsten Sinz (VSTTE, 2013)

Next Generation Static Software Analysis Tools (Dagstuhl Seminar 14352). - Patrick Cousot; Daniel Kroening; Carsten Sinz (Dagstuhl Reports, 2014)

Automatic Heavy-weight Static Analysis Tools for Fin- ding Bugs in Safety-critical Embedded C/C++ Code. - David Faragó; Florian Merz 001; Carsten Sinz (Softwaretechnik-Trends, 2014)

HordeSat: A Massively Parallel Portfolio SAT Solver. - Tomás Balyo; Peter Sanders 001; Carsten Sinz (SAT, 2015)

Recognition of Nested Gates in CNF Formulas. - Markus Iser; Norbert Manthey; Carsten Sinz (SAT, 2015)

Overview and analysis of the SAT Challenge 2012 solver competition. - Adrian Balint; Anton Belov; Matti Järvisalo; Carsten Sinz (Artif. Intell., 2015)

Bridging the gap between test cases and requirements by abstract testing. - Florian Merz 001; Carsten Sinz; Hendrik Post; Thomas Gorges; Thomas Kropf (Innov. Syst. Softw. Eng., 2015)

SAT Race 2015. - Tomás Balyo; Armin Biere; Markus Iser; Carsten Sinz (Artif. Intell., 2016)

Using Gate Recognition and Random Simulation for Under-Approximation and Optimized Branching in SAT Solvers. - Markus Iser; Felix Kutzner; Carsten Sinz (ICTAI, 2017)

Parallel Satisfiability. - Tomás Balyo; Carsten Sinz (Handbook of Parallel Constraint Reasoning, 2018)

A Problem Meta-Data Library for Research in SAT. - Markus Iser; Carsten Sinz (POS@SAT, 2018)

Unbounded Software Model Checking with Incremental SAT-Solving. - Marko Kleine Büning; Tomás Balyo; Carsten Sinz (CoRR, 2018)

Integrating Static Code Analysis Toolchains. - Matthias Kern; Ferhat Erata; Markus Iser; Carsten Sinz; Frédéric Loiret; Stefan Otten; Eric Sax (COMPSAC (1), 2019)

Using DimSpec for Bounded and Unbounded Software Model Checking. - Marko Kleine Büning; Tomás Balyo; Carsten Sinz (ICFEM, 2019)

Automatic Modularization of Large Programs for Bounded Model Checking. - Marko Kleine Büning; Carsten Sinz (ICFEM, 2019)

Memory Efficient Parallel SAT Solving with Inprocessing. - Markus Iser; Tomás Balyo; Carsten Sinz (ICTAI, 2019)

Verifying Equivalence Properties of Neural Networks with ReLU Activation Functions. - Marko Kleine Büning; Philipp Kern; Carsten Sinz (CP, 2020)

Deep Learning for Software Defect Prediction: A Survey. - Safa Omri; Carsten Sinz (ICSE (Workshops), 2020)

QPR Verify: A Static Analysis Tool for Embedded Software Based on Bounded Model Checking. - Marko Kleine Büning; Carsten Sinz; David Faragó (VSTTE, 2020)

An Incremental Abstraction Scheme for Solving Hard SMT-Instances over Bit-Vectors. - Samuel Teuber; Marko Kleine Büning; Carsten Sinz (CoRR, 2020)

Collaborative Management of Benchmark Instances and their Attributes. - Markus Iser; Luca Springer; Carsten Sinz (CoRR, 2020)

Geometric Path Enumeration for Equivalence Verification of Neural Networks. - Samuel Teuber; Marko Kleine Büning; Philipp Kern; Carsten Sinz (ICTAI, 2021)

Machine Learning Techniques for Software Quality Assurance: A Survey. - Safa Omri; Carsten Sinz (CoRR, 2021)

Refined Modularization for Bounded Model Checking Through Precondition Generation. - Marko Kleine Büning; Johannes Meuer; Carsten Sinz (ICFEM, 2022)

Learning to Rank for Test Case Prioritization. - Safa Omri; Carsten Sinz (SBST@ICSE, 2022)

Optimized Symbolic Interval Propagation for Neural Network Verification. - Philipp Kern; Marko Kleine Büning; Carsten Sinz (CoRR, 2022)

Challenges in Automotive Hardware-Software Co-Configuration. - Florian Jost; Carsten Sinz (ConfWS, 2024)

Abstract Interpretation of ReLU Neural Networks with Optimizable Polynomial Relaxations. - Philipp Kern; Carsten Sinz (SAS, 2024)

Handling Automotive Hardware/Software Co-Configurations with Integer Difference Logic. - Florian Jost; Carsten Sinz (VaMoS, 2024)