Carsten Sinz

ORCID

Publication Activity (10 Years)

Years Active: 1996-2024
Publications (10 Years): 21

Top Venues

University of Tübingen, Germany (PHD)

Education History

University of Tübingen, Germany

PHD

Publications

Matthias Kern, Ferhat Erata, Markus Iser, Carsten Sinz, Frédéric Loiret, Stefan Otten, Eric Sax
Integrating Static Code Analysis Toolchains. CoRR (2024)
Florian Jost, Carsten Sinz
Handling Automotive Hardware/Software Co-Configurations with Integer Difference Logic. VaMoS (2024)
Philipp Kern, Marko Kleine Büning, Carsten Sinz
Optimized Symbolic Interval Propagation for Neural Network Verification. CoRR (2022)
Safa Omri, Carsten Sinz
Learning to Rank for Test Case Prioritization. SBST@ICSE (2022)
Marko Kleine Büning, Johannes Meuer, Carsten Sinz
Refined Modularization for Bounded Model Checking Through Precondition Generation. ICFEM (2022)
Safa Omri, Carsten Sinz
Machine Learning Techniques for Software Quality Assurance: A Survey. CoRR (2021)
Samuel Teuber, Marko Kleine Büning, Philipp Kern, Carsten Sinz
Geometric Path Enumeration for Equivalence Verification of Neural Networks. CoRR (2021)
Samuel Teuber, Marko Kleine Büning, Philipp Kern, Carsten Sinz
Geometric Path Enumeration for Equivalence Verification of Neural Networks. ICTAI (2021)
Marko Kleine Büning, Philipp Kern, Carsten Sinz
Verifying Equivalence Properties of Neural Networks with ReLU Activation Functions. CP (2020)
Safa Omri, Carsten Sinz
Deep Learning for Software Defect Prediction: A Survey. ICSE (Workshops) (2020)
Marko Kleine Büning, Carsten Sinz, David Faragó
QPR Verify: A Static Analysis Tool for Embedded Software Based on Bounded Model Checking. VSTTE (2020)
Markus Iser, Luca Springer, Carsten Sinz
Collaborative Management of Benchmark Instances and their Attributes. CoRR (2020)
Samuel Teuber, Marko Kleine Büning, Carsten Sinz
An Incremental Abstraction Scheme for Solving Hard SMT-Instances over Bit-Vectors. CoRR (2020)
Marko Kleine Büning, Tomás Balyo, Carsten Sinz
Using DimSpec for Bounded and Unbounded Software Model Checking. ICFEM (2019)
Markus Iser, Tomás Balyo, Carsten Sinz
Memory Efficient Parallel SAT Solving with Inprocessing. ICTAI (2019)
Matthias Kern, Ferhat Erata, Markus Iser, Carsten Sinz, Frédéric Loiret, Stefan Otten, Eric Sax
Integrating Static Code Analysis Toolchains. COMPSAC (1) (2019)
Marko Kleine Büning, Carsten Sinz
Automatic Modularization of Large Programs for Bounded Model Checking. ICFEM (2019)
Marko Kleine Büning, Tomás Balyo, Carsten Sinz
Unbounded Software Model Checking with Incremental SAT-Solving. CoRR (2018)
Markus Iser, Carsten Sinz
A Problem Meta-Data Library for Research in SAT. POS@SAT (2018)
Markus Iser, Felix Kutzner, Carsten Sinz
Using Gate Recognition and Random Simulation for Under-Approximation and Optimized Branching in SAT Solvers. ICTAI (2017)
Tomás Balyo, Armin Biere, Markus Iser, Carsten Sinz
SAT Race 2015. Artif. Intell. 241 (2016)
Tomás Balyo, Peter Sanders, Carsten Sinz
HordeSat: A Massively Parallel Portfolio SAT Solver. SAT (2015)
Markus Iser, Norbert Manthey, Carsten Sinz
Recognition of Nested Gates in CNF Formulas. SAT (2015)
Florian Merz, Carsten Sinz, Hendrik Post, Thomas Gorges, Thomas Kropf
Bridging the gap between test cases and requirements by abstract testing. Innov. Syst. Softw. Eng. 11 (4) (2015)
Tomás Balyo, Peter Sanders, Carsten Sinz
HordeSat: A Massively Parallel Portfolio SAT Solver. CoRR (2015)
Adrian Balint, Anton Belov, Matti Järvisalo, Carsten Sinz
Overview and analysis of the SAT Challenge 2012 solver competition. Artif. Intell. 223 (2015)
David Faragó, Florian Merz, Carsten Sinz
Automatic Heavy-weight Static Analysis Tools for Fin- ding Bugs in Safety-critical Embedded C/C++ Code. Softwaretechnik-Trends 34 (3) (2014)
Patrick Cousot, Daniel Kroening, Carsten Sinz
Next Generation Static Software Analysis Tools (Dagstuhl Seminar 14352). Dagstuhl Reports 4 (8) (2014)
Stephan Falke, Florian Merz, Carsten Sinz
The bounded model checker LLBMC. ASE (2013)
Markus Iser, Carsten Sinz, Mana Taghdiri
Minimizing Models for Tseitin-Encoded SAT Instances. SAT (2013)
Stephan Falke, Florian Merz, Carsten Sinz
LLBMC: Improved Bounded Model Checking of C Programs Using LLVM - (Competition Contribution). TACAS (2013)
Stephan Falke, Florian Merz, Carsten Sinz
Extending the Theory of Arrays: memset, memcpy, and Beyond. VSTTE (2013)
Stephan Falke, Carsten Sinz, Florian Merz
A Theory of Arrays with set and copy Operations. SMT@IJCAR (2012)
Florian Merz, Stephan Falke, Carsten Sinz
LLBMC: Bounded Model Checking of C and C++ Programs Using a Compiler IR. VSTTE (2012)
Stephan Falke, Deepak Kapur, Carsten Sinz
Termination Analysis of Imperative Programs Using Bitvector Arithmetic. VSTTE (2012)
Florian Merz, Carsten Sinz, Stephan Falke
Challenges in Comparing Software Verification Tools for C. COMPARE (2012)
Markus Iser, Mana Taghdiri, Carsten Sinz
Optimizing MiniSAT Variable Orderings for the Relational Model Finder Kodkod - (Poster Presentation). SAT (2012)
Carsten Sinz, Florian Merz, Stephan Falke
LLBMC: A Bounded Model Checker for LLVM's Intermediate Representation - (Competition Contribution). TACAS (2012)
Tamara Mendt, Carsten Sinz, Olga Tveretina
Probabilistic Model Checking of Constraints in a Supply Chain Business Process. BIS (2011)
Stephan Falke, Deepak Kapur, Carsten Sinz
Termination Analysis of C Programs Using Compiler Intermediate Languages. RTA (2011)
Bernhard Beckert, Thorsten Bormer, Florian Merz, Carsten Sinz
Integration of Bounded Model Checking and Deductive Verification. FoVeOOS (2011)
Tamara Mendt, Carsten Sinz, Olga Tveretina
Analyzing Separation of Duties Constraints with a Probabilistic Model Checker. BIS (Workshops) (2011)
Olga Tveretina, Carsten Sinz, Hans Zantema
Ordered Binary Decision Diagrams, Pigeonhole Formulas and Beyond. J. Satisf. Boolean Model. Comput. 7 (1) (2010)
Florian Merz, Carsten Sinz, Hendrik Post, Thomas Gorges, Thomas Kropf
Abstract Testing: Connecting Source Code Verification with Requirements. QUATIC (2010)
Mana Taghdiri, Gregor Snelting, Carsten Sinz
Information Flow Analysis via Path Condition Refinement. Formal Aspects in Security and Trust (2010)
Carsten Sinz
Software Verification: State of the Art and Challenges. KIT-Nachwuchswissenschaftler-Symposium (2010)
Carsten Sinz, Stephan Falke, Florian Merz
A Precise Memory Model for Low-Level Bounded Model Checking. SSV (2010)
Olga Tveretina, Carsten Sinz, Hans Zantema
Ordered Binary Decision Diagrams, Pigeonhole Formulas and Beyond. Electron. Colloquium Comput. Complex. 16 (2009)
Carsten Sinz, Markus Iser
Problem-Sensitive Restart Heuristics for the DPLL Procedure. SAT (2009)
Hendrik Post, Carsten Sinz, Florian Merz, Thomas Gorges, Thomas Kropf
Linking Functional Requirements and Software Verification. RE (2009)
Hendrik Post, Carsten Sinz, Wolfgang Küchlin
Towards automatic software model checking of thousands of Linux modules - a case study with Avinux. Softw. Test. Verification Reliab. 19 (2) (2009)
Hendrik Post, Carsten Sinz
Proving Functional Equivalence of Two AES Implementations Using Bounded Model Checking. ICST (2009)
Olga Tveretina, Carsten Sinz, Hans Zantema
An Exponential Lower Bound on OBDD Refutations for Pigeonhole Formulas ACAC (2009)
Hendrik Post, Carsten Sinz, Alexander Kaiser, Thomas Gorges
Reducing False Positives by Combining Abstract Interpretation and Bounded Model Checking. ASE (2008)
Eray Gençay, Carsten Sinz, Wolfgang Küchlin
Towards SLA-based optimal workload distribution in SANs. NOMS (2008)
Eray Gençay, Carsten Sinz, Wolfgang Küchlin, Thorsten Schäfer
SANchk: SQL-based SAN configuration checking. IEEE Trans. Netw. Serv. Manag. 5 (2) (2008)
Hendrik Post, Carsten Sinz
Configuration Lifting: Verification meets Software Configuration. ASE (2008)
Stephan Kottler, Michael Kaufmann, Carsten Sinz
Computation of Renameable Horn Backdoors. SAT (2008)
Stephan Kottler, Michael Kaufmann, Carsten Sinz
A New Bound for an NP-Hard Subclass of 3-SAT Using Backdoors. SAT (2008)
Carsten Sinz
Compressing Propositional Proofs by Common Subproof Extraction. EUROCAST (2007)
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, Christian Federspiel, Daniel Naus
Configuration. IEEE Intell. Syst. 22 (1) (2007)
Toni Jussila, Armin Biere, Carsten Sinz, Daniel Kröning, Christoph M. Wintersteiger
A First Step Towards a Unified Proof Checker for QBF. SAT (2007)
Carsten Sinz
Visualizing SAT Instances and Runs of the DPLL Algorithm. J. Autom. Reason. 39 (2) (2007)
Carsten Sinz, Wolfgang Küchlin, Dieter Feichtinger, Georg Görtler
Checking Consistency and Completeness of On-Line Product Manuals. J. Autom. Reason. 37 (1-2) (2006)
Carsten Sinz, Armin Biere
Extended Resolution Proofs for Conjoining BDDs. CSR (2006)
Toni Jussila, Carsten Sinz, Armin Biere
Extended Resolution Proofs for Symbolic SAT Solving with Quantification. SAT (2006)
Armin Biere, Carsten Sinz
Decomposing SAT Problems into Connected Components. J. Satisf. Boolean Model. Comput. 2 (1-4) (2006)
Carsten Sinz
Towards an Optimal CNF Encoding of Boolean Cardinality Constraints. CP (2005)
Carsten Sinz, Edda-Maria Dieringer
DPvis - A Tool to Visualize the Structure of SAT Instances. SAT (2005)
Carsten Sinz, Wolfgang Küchlin
Verifying the On-line Help System of SIEMENS Magnetic Resonance Tomographs. ICFEM (2004)
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, Amir Khosravizadeh, Wolfgang Küchlin, Viktor Mihajlovski
Verifying CIM Models of Apache Web-Server Configurations. QSIC (2003)
Wolfgang Blochinger, Carsten Sinz, Wolfgang Küchlin
A Universal Parallel SAT Checking Kernel. PDPTA (2003)
Wolfgang Blochinger, Carsten Sinz, Wolfgang Küchlin
Parallel propositional satisfiability checking with distributed dynamic learning. Parallel Comput. 29 (7) (2003)
Carsten Sinz, Andreas Kaiser, Wolfgang Küchlin
Formal methods for the validation of automotive product configuration data. Artif. Intell. Eng. Des. Anal. Manuf. 17 (1) (2003)
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. Inf. Softw. Technol. 44 (14) (2002)
Carsten Sinz, Andreas Kaiser, Wolfgang Küchlin
Detection of Inconsistencies in Complex Product Configuration Data Using Extended Propositional SAT-Checking. FLAIRS Conference (2001)
Carsten Sinz, Wolfgang Blochinger, Wolfgang Küchlin
PaSAT - Parallel SAT-Checking with Lemma Exchange: Implementation and Applications. Electron. Notes Discret. Math. 9 (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)
Carsten Sinz, Jörg Denzinger, Jürgen Avenhaus, Wolfgang Küchlin
Combining Parallel and Distributed Search in Automated Equational Deduction. PPAM (2001)
Carsten Sinz
System Description: ARA - An Automatic Theorem Prover for Relation Algebras. CADE (2000)
Ralf-Dieter Schimkat, Wolfgang Blochinger, Carsten Sinz, Michael Friedrich, Wolfgang Küchlin
A Service-Based Agent Framework for Distributed Symbolic Computation. HPCN Europe (2000)
Wolfgang Küchlin, Carsten Sinz
Proving Consistency Assertions for Automotive Product Data Management. J. Autom. Reason. 24 (1/2) (2000)
Reinhard Bündgen, Carsten Sinz, Jochen Walter
ReDuX 1.5: New Facets of Rewriting. RTA (1996)

Carsten Sinz.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Carsten Sinz