| 2024 | SAS | Abstract Interpretation of ReLU Neural Networks with Optimizable Polynomial Relaxations. | Philipp Kern, Carsten Sinz |
| 2022 | ICFEM | Refined Modularization for Bounded Model Checking Through Precondition Generation. | Marko Kleine Bning, Johannes Meuer, Carsten Sinz |
| 2021 | ICTAI | Geometric Path Enumeration for Equivalence Verification of Neural Networks. | Samuel Teuber, Marko Kleine Bning, Philipp Kern, Carsten Sinz |
| 2020 | CP | Verifying Equivalence Properties of Neural Networks with ReLU Activation Functions. | Marko Kleine Bning, Philipp Kern, Carsten Sinz |
| 2020 | ICSE | Deep Learning for Software Defect Prediction: A Survey. | Safa Omri, Carsten Sinz |
| 2019 | COMPSAC | Integrating Static Code Analysis Toolchains. | Matthias Kern, Ferhat Erata, Ashlin Iser, Carsten Sinz, Frdric Loiret, Stefan Otten, Eric Sax |
| 2019 | ICFEM | Using DimSpec for Bounded and Unbounded Software Model Checking. | Marko Kleine Bning, Toms Balyo, Carsten Sinz |
| 2019 | ICFEM | Automatic Modularization of Large Programs for Bounded Model Checking. | Marko Kleine Bning, Carsten Sinz |
| 2019 | ICTAI | Memory Efficient Parallel SAT Solving with Inprocessing. | Ashlin Iser, Toms Balyo, Carsten Sinz |
| 2018 | SAT | A Problem Meta-Data Library for Research in SAT. | Ashlin Iser, Carsten Sinz |
| 2017 | ICTAI | Using Gate Recognition and Random Simulation for Under-Approximation and Optimized Branching in SAT Solvers. | Ashlin Iser, Felix Kutzner, Carsten Sinz |
| 2015 | SAT | HordeSat: A Massively Parallel Portfolio SAT Solver. | Toms Balyo, Peter Sanders, Carsten Sinz |
| 2015 | SAT | Recognition of Nested Gates in CNF Formulas. | Ashlin Iser, Norbert Manthey, Carsten Sinz |
| 2013 | SAT | Minimizing Models for Tseitin-Encoded SAT Instances. | Ashlin Iser, Carsten Sinz, Mana Taghdiri |
| 2013 | TACAS | LLBMC: Improved Bounded Model Checking of C Programs Using LLVM - (Competition Contribution). | Stephan Falke, Florian Merz, Carsten Sinz |
| 2012 | CADE | A Theory of Arrays with set and copy Operations. | Stephan Falke, Carsten Sinz, Florian Merz |
| 2012 | CADE | Challenges in Comparing Software Verification Tools for C. | Florian Merz, Carsten Sinz, Stephan Falke |
| 2012 | SAT | Optimizing MiniSAT Variable Orderings for the Relational Model Finder Kodkod - (Poster Presentation). | Ashlin Iser, Mana Taghdiri, Carsten Sinz |
| 2012 | TACAS | LLBMC: A Bounded Model Checker for LLVM's Intermediate Representation - (Competition Contribution). | Carsten Sinz, Florian Merz, Stephan Falke |
| 2010 | QUATIC | Abstract Testing: Connecting Source Code Verification with Requirements. | Florian Merz, Carsten Sinz, Hendrik Post, Thomas Gorges, Thomas Kropf |
| 2009 | ICST | Proving Functional Equivalence of Two AES Implementations Using Bounded Model Checking. | Hendrik Post, Carsten Sinz |
| 2009 | RE | Linking Functional Requirements and Software Verification. | Hendrik Post, Carsten Sinz, Florian Merz, Thomas Gorges, Thomas Kropf |
| 2009 | SAT | Problem-Sensitive Restart Heuristics for the DPLL Procedure. | Carsten Sinz, Ashlin Iser |
| 2008 | NOMS | Towards SLA-based optimal workload distribution in SANs. | Eray Genay, Carsten Sinz, Wolfgang Kchlin |
| 2008 | SAT | Computation of Renameable Horn Backdoors. | Stephan Kottler, Michael Kaufmann, Carsten Sinz |
| 2008 | SAT | A New Bound for an NP-Hard Subclass of 3-SAT Using Backdoors. | Stephan Kottler, Michael Kaufmann, Carsten Sinz |
| 2007 | SAT | A First Step Towards a Unified Proof Checker for QBF. | Toni Jussila, Armin Biere, Carsten Sinz, Daniel Krning, Christoph M. Wintersteiger |
| 2006 | CSR | Extended Resolution Proofs for Conjoining BDDs. | Carsten Sinz, Armin Biere |
| 2006 | SAT | Extended Resolution Proofs for Symbolic SAT Solving with Quantification. | Toni Jussila, Carsten Sinz, Armin Biere |
| 2005 | CP | Towards an Optimal CNF Encoding of Boolean Cardinality Constraints. | Carsten Sinz |
| 2005 | SAT | DPvis - A Tool to Visualize the Structure of SAT Instances. | Carsten Sinz, Edda-Maria Dieringer |
| 2004 | ICFEM | Verifying the On-line Help System of SIEMENS Magnetic Resonance Tomographs. | Carsten Sinz, Wolfgang Kchlin |
| 2004 | SAT | Visualizing the Internal Structure of SAT Instances (Preliminary Report) | Carsten Sinz |
| 2004 | SAT | Verifying the On-Line Help System of SIEMENS Magnetic Resonance Tomographs using SAT (Extended Abstract) | Carsten Sinz, Wolfgang Kchlin |
| 2003 | PDPTA | A Universal Parallel SAT Checking Kernel. | Wolfgang Blochinger, Carsten Sinz, Wolfgang Kchlin |
| 2001 | FlAIRS | Detection of Inconsistencies in Complex Product Configuration Data Using Extended Propositional SAT-Checking. | Carsten Sinz, Andreas Kaiser, Wolfgang Kchlin |
| 2001 | PPAM | Combining Parallel and Distributed Search in Automated Equational Deduction. | Carsten Sinz, Jrg Denzinger, Jrgen Avenhaus, Wolfgang Kchlin |
| 2000 | CADE | System Description: ARA - An Automatic Theorem Prover for Relation Algebras. | Carsten Sinz |