Carsten Sinz

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

Florian Merz, Carsten Sinz, Stephan Falke: Challenges in Comparing Software Verification Tools for C. COMPARE 2012: 60-65

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

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

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

Stephan Falke, Deepak Kapur, Carsten Sinz: Termination Analysis of Imperative Programs Using Bitvector Arithmetic. VSTTE 2012: 261-277

Tamara Mendt, Carsten Sinz, Olga Tveretina: Probabilistic Model Checking of Constraints in a Supply Chain Business Process. BIS 2011: 1-12

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

Bernhard Beckert, Thorsten Bormer, Florian Merz, Carsten Sinz: Integration of Bounded Model Checking and Deductive Verification. FoVeOOS 2011: 86-104

Stephan Falke, Deepak Kapur, Carsten Sinz: Termination Analysis of C Programs Using Compiler Intermediate Languages. RTA 2011: 41-50

Olga Tveretina, Carsten Sinz, Hans Zantema: Ordered Binary Decision Diagrams, Pigeonhole Formulas and Beyond. JSAT 7(1): 35-58 (2010)

Mana Taghdiri, Gregor Snelting, Carsten Sinz: Information Flow Analysis via Path Condition Refinement. Formal Aspects in Security and Trust 2010: 65-79

Carsten Sinz: Software Verification: State of the Art and Challenges. KIT-Nachwuchswissenschaftler-Symposium 2010: 69-77

Florian Merz, Carsten Sinz, Hendrik Post, Thomas Gorges, Thomas Kropf: Abstract Testing: Connecting Source Code Verification with Requirements. QUATIC 2010: 89-96

Hendrik Post, Carsten Sinz, Wolfgang Küchlin: Towards automatic software model checking of thousands of Linux modules - a case study with Avinux. Softw. Test., Verif. Reliab. 19(2): 155-172 (2009)

Hendrik Post, Carsten Sinz: Proving Functional Equivalence of Two AES Implementations Using Bounded Model Checking. ICST 2009: 31-40

Hendrik Post, Carsten Sinz, Florian Merz, Thomas Gorges, Thomas Kropf: Linking Functional Requirements and Software Verification. RE 2009: 295-302

Carsten Sinz, Markus Iser: Problem-Sensitive Restart Heuristics for the DPLL Procedure. SAT 2009: 356-362

Olga Tveretina, Carsten Sinz, Hans Zantema: An Exponential Lower Bound on OBDD Refutations for Pigeonhole Formulas. ACAC 2009: 13-21

Olga Tveretina, Carsten Sinz, Hans Zantema: Ordered Binary Decision Diagrams, Pigeonhole Formulas and Beyond. Electronic Colloquium on Computational Complexity (ECCC) 16: 87 (2009)

Eray Gençay, Carsten Sinz, Wolfgang Küchlin, Thorsten Schäfer: SANchk: SQL-based SAN configuration checking. IEEE Transactions on Network and Service Management 5(2): 91-104 (2008)

Hendrik Post, Carsten Sinz, Alexander Kaiser, Thomas Gorges: Reducing False Positives by Combining Abstract Interpretation and Bounded Model Checking. ASE 2008: 188-197

Hendrik Post, Carsten Sinz: Configuration Lifting: Verification meets Software Configuration. ASE 2008: 347-350

Eray Gençay, Carsten Sinz, Wolfgang Küchlin: Towards SLA-based optimal workload distribution in SANs. NOMS 2008: 755-758

Stephan Kottler, Michael Kaufmann, Carsten Sinz: Computation of Renameable Horn Backdoors. SAT 2008: 154-160

Stephan Kottler, Michael Kaufmann, Carsten Sinz: A New Bound for an NP-Hard Subclass of 3-SAT Using Backdoors. SAT 2008: 161-167

Carsten Sinz, Albert Haag, Nina Narodytska, Toby Walsh, Esther Gelle, Mihaela Sabin, Ulrich Junker, Barry O'Sullivan, Rick Rabiser, Deepak Dhungana, Paul Grünbacher, Klaus Lehner, Christian Federspiel, Daniel Naus: Configuration. IEEE Intelligent Systems 22(1): 78-90 (2007)

Carsten Sinz: Visualizing SAT Instances and Runs of the DPLL Algorithm. J. Autom. Reasoning 39(2): 219-243 (2007)

Carsten Sinz: Compressing Propositional Proofs by Common Subproof Extraction. EUROCAST 2007: 547-555

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

Carsten Sinz, Wolfgang Küchlin, Dieter Feichtinger, Georg Görtler: Checking Consistency and Completeness of On-Line Product Manuals. J. Autom. Reasoning 37(1-2): 45-66 (2006)

Armin Biere, Carsten Sinz: Decomposing SAT Problems into Connected Components. JSAT 2(1-4): 201-208 (2006)

Carsten Sinz, Armin Biere: Extended Resolution Proofs for Conjoining BDDs. CSR 2006: 600-611

Toni Jussila, Carsten Sinz, Armin Biere: Extended Resolution Proofs for Symbolic SAT Solving with Quantification. SAT 2006: 54-60

Carsten Sinz: Towards an Optimal CNF Encoding of Boolean Cardinality Constraints. CP 2005: 827-831

Carsten Sinz, Edda-Maria Dieringer: DPvis - A Tool to Visualize the Structure of SAT Instances. SAT 2005: 257-268

Carsten Sinz: Verifikation regelbasierter Konfigurationssysteme. Eberhard Karls University of Tübingen 2004, pp. 1-227

Carsten Sinz, Wolfgang Küchlin: Verifying the On-line Help System of SIEMENS Magnetic Resonance Tomographs. ICFEM 2004: 391-402

Carsten Sinz: Visualizing the Internal Structure of SAT Instances (Preliminary Report). SAT 2004

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

Carsten Sinz, Andreas Kaiser, Wolfgang Küchlin: Formal methods for the validation of automotive product configuration data. AI EDAM 17(1): 75-97 (2003)

Wolfgang Blochinger, Carsten Sinz, Wolfgang Küchlin: Parallel propositional satisfiability checking with distributed dynamic learning. Parallel Computing 29(7): 969-994 (2003)

Wolfgang Blochinger, Carsten Sinz, Wolfgang Küchlin: A Universal Parallel SAT Checking Kernel. PDPTA 2003: 1720-1725

Carsten Sinz, Amir Khosravizadeh, Wolfgang Küchlin, Viktor Mihajlovski: Verifying CIM Models of Apache Web-Server Configurations. QSIC 2003: 290-297

Carsten Sinz, Thomas Lumpp, Jürgen M. Schneider, Wolfgang Küchlin: Detection of dynamic execution errors in IBM system automation's rule-based expert system. Information & Software Technology 44(14): 857-873 (2002)

Carsten Sinz, Wolfgang Blochinger, Wolfgang Küchlin: PaSAT - Parallel SAT-Checking with Lemma Exchange: Implementation and Applications. Electronic Notes in Discrete Mathematics 9: 205-216 (2001)

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

Carsten Sinz, Andreas Kaiser, Wolfgang Küchlin: Detection of Inconsistencies in Complex Product Configuration Data Using Extended Propositional SAT-Checking. FLAIRS Conference 2001: 645-649

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

Wolfgang Küchlin, Carsten Sinz: Proving Consistency Assertions for Automotive Product Data Management. J. Autom. Reasoning 24(1/2): 145-163 (2000)

Carsten Sinz: System Description: ARA - An Automatic Theorem Prover for Relation Algebras. CADE 2000: 177-182

Ralf-Dieter Schimkat, Wolfgang Blochinger, Carsten Sinz, Michael Friedrich, Wolfgang Küchlin: A Service-Based Agent Framework for Distributed Symbolic Computation. HPCN Europe 2000: 644-656

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