default search action
Carsten Sinz
Person information
- affiliation: Karlsruhe University of Applied Sciences, Germany
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
- [c60]Florian Jost, Carsten Sinz:
Challenges in Automotive Hardware-Software Co-Configuration. ConfWS 2024: 17-20 - [c59]Florian Jost
, Carsten Sinz
Handling Automotive Hardware/Software Co-Configurations with Integer Difference Logic. VaMoS 2024: 103-111 - [i10]Matthias Kern, Ferhat Erata, Markus Iser, Carsten Sinz, Frédéric Loiret, Stefan Otten, Eric Sax:
Integrating Static Code Analysis Toolchains. CoRR abs/2403.05986 (2024) - 2022
- [c58]Marko Kleine Büning, Johannes Meuer, Carsten Sinz:
Refined Modularization for Bounded Model Checking Through Precondition Generation. ICFEM 2022: 209-226 - [c57]Safa Omri
Learning to Rank for Test Case Prioritization. SBST@ICSE 2022: 16-24 - [i9]Philipp Kern, Marko Kleine Büning, Carsten Sinz:
Optimized Symbolic Interval Propagation for Neural Network Verification. CoRR abs/2212.08567 (2022) - 2021
- [c56]Samuel Teuber
Geometric Path Enumeration for Equivalence Verification of Neural Networks. ICTAI 2021: 200-208 - [i8]Safa Omri, Carsten Sinz:
Machine Learning Techniques for Software Quality Assurance: A Survey. CoRR abs/2104.14056 (2021) - [i7]Samuel Teuber, Marko Kleine Büning, Philipp Kern
Geometric Path Enumeration for Equivalence Verification of Neural Networks. CoRR abs/2112.06582 (2021) - 2020
- [c55]Marko Kleine Büning, Philipp Kern
Verifying Equivalence Properties of Neural Networks with ReLU Activation Functions. CP 2020: 868-884 - [c54]Safa Omri
Deep Learning for Software Defect Prediction: A Survey. ICSE (Workshops) 2020: 209-214 - [c53]Marko Kleine Büning, Carsten Sinz, David Faragó:
QPR Verify: A Static Analysis Tool for Embedded Software Based on Bounded Model Checking. VSTTE 2020: 21-32 - [i6]Samuel Teuber
An Incremental Abstraction Scheme for Solving Hard SMT-Instances over Bit-Vectors. CoRR abs/2008.10061 (2020) - [i5]Markus Iser, Luca Springer, Carsten Sinz:
Collaborative Management of Benchmark Instances and their Attributes. CoRR abs/2009.02995 (2020)
2010 – 2019
- 2019
- [c52]Matthias Kern, Ferhat Erata
Integrating Static Code Analysis Toolchains. COMPSAC (1) 2019: 523-528 - [c51]Marko Kleine Büning, Tomás Balyo, Carsten Sinz:
Using DimSpec for Bounded and Unbounded Software Model Checking. ICFEM 2019: 19-35 - [c50]Marko Kleine Büning, Carsten Sinz:
Automatic Modularization of Large Programs for Bounded Model Checking. ICFEM 2019: 186-202 - [c49]Markus Iser
Memory Efficient Parallel SAT Solving with Inprocessing. ICTAI 2019: 64-70 - 2018
- [c48]Markus Iser, Carsten Sinz:
A Problem Meta-Data Library for Research in SAT. POS@SAT 2018: 144-152 - [p1]Tomás Balyo, Carsten Sinz:
Parallel Satisfiability. Handbook of Parallel Constraint Reasoning 2018: 3-29 - [i4]Marko Kleine Büning, Tomás Balyo, Carsten Sinz:
Unbounded Software Model Checking with Incremental SAT-Solving. CoRR abs/1802.04174 (2018) - 2017
- [c47]Markus Iser, Felix Kutzner, Carsten Sinz:
Using Gate Recognition and Random Simulation for Under-Approximation and Optimized Branching in SAT Solvers. ICTAI 2017: 1029-1036 - 2016
- [j16]Tomás Balyo, Armin Biere
SAT Race 2015. Artif. Intell. 241: 45-65 (2016) - 2015
- [j15]Adrian Balint, Anton Belov, Matti Järvisalo
Overview and analysis of the SAT Challenge 2012 solver competition. Artif. Intell. 223: 120-155 (2015) - [j14]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): 233-242 (2015) - [c46]Tomás Balyo, Peter Sanders, Carsten Sinz:
HordeSat: A Massively Parallel Portfolio SAT Solver. SAT 2015: 156-172 - [c45]Markus Iser, Norbert Manthey, Carsten Sinz:
Recognition of Nested Gates in CNF Formulas. SAT 2015: 255-271 - [i3]Tomás Balyo, Peter Sanders, Carsten Sinz:
HordeSat: A Massively Parallel Portfolio SAT Solver. CoRR abs/1505.03340 (2015) - 2014
- [j13]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) - [e1]Carsten Sinz, Uwe Egly:
Theory and Applications of Satisfiability Testing - SAT 2014 - 17th International Conference, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014. Proceedings. Lecture Notes in Computer Science 8561, Springer 2014, ISBN 978-3-319-09283-6 [contents] - [i2]Patrick Cousot, Daniel Kroening, Carsten Sinz:
Next Generation Static Software Analysis Tools (Dagstuhl Seminar 14352). Dagstuhl Reports 4(8): 107-125 (2014) - 2013
- [c44]Stephan Falke, Florian Merz, Carsten Sinz:
The bounded model checker LLBMC. ASE 2013: 706-709 - [c43]Markus Iser
Minimizing Models for Tseitin-Encoded SAT Instances. SAT 2013: 224-232 - [c42]Stephan Falke, Florian Merz, Carsten Sinz:
LLBMC: Improved Bounded Model Checking of C Programs Using LLVM - (Competition Contribution). TACAS 2013: 623-626 - [c41]Stephan Falke, Florian Merz, Carsten Sinz:
Extending the Theory of Arrays: memset, memcpy, and Beyond. VSTTE 2013: 108-128 - 2012
- [c40]Florian Merz, Carsten Sinz, Stephan Falke:
Challenges in Comparing Software Verification Tools for C. COMPARE 2012: 60-65 - [c39]Stephan Falke, Carsten Sinz, Florian Merz:
A Theory of Arrays with set and copy Operations. SMT@IJCAR 2012: 98-108 - [c38]Markus Iser, Mana Taghdiri, Carsten Sinz:
Optimizing MiniSAT Variable Orderings for the Relational Model Finder Kodkod - (Poster Presentation). SAT 2012: 483-484 - [c37]Carsten Sinz, Florian Merz, Stephan Falke:
LLBMC: A Bounded Model Checker for LLVM's Intermediate Representation - (Competition Contribution). TACAS 2012: 542-544 - [c36]Florian Merz, Stephan Falke, Carsten Sinz:
LLBMC: Bounded Model Checking of C and C++ Programs Using a Compiler IR. VSTTE 2012: 146-161 - [c35]Stephan Falke, Deepak Kapur, Carsten Sinz:
Termination Analysis of Imperative Programs Using Bitvector Arithmetic. VSTTE 2012: 261-277 - 2011
- [c34]Tamara Mendt, Carsten Sinz, Olga Tveretina:
Probabilistic Model Checking of Constraints in a Supply Chain Business Process. BIS 2011: 1-12 - [c33]Tamara Mendt, Carsten Sinz, Olga Tveretina:
Analyzing Separation of Duties Constraints with a Probabilistic Model Checker. BIS (Workshops) 2011: 18-29 - [c32]Bernhard Beckert
Integration of Bounded Model Checking and Deductive Verification. FoVeOOS 2011: 86-104 - [c31]Stephan Falke, Deepak Kapur, Carsten Sinz:
Termination Analysis of C Programs Using Compiler Intermediate Languages. RTA 2011: 41-50 - 2010
- [j12]Olga Tveretina, Carsten Sinz, Hans Zantema:
Ordered Binary Decision Diagrams, Pigeonhole Formulas and Beyond. J. Satisf. Boolean Model. Comput. 7(1): 35-58 (2010) - [c30]Mana Taghdiri, Gregor Snelting, Carsten Sinz:
Information Flow Analysis via Path Condition Refinement. Formal Aspects in Security and Trust 2010: 65-79 - [c29]Carsten Sinz:
Software Verification: State of the Art and Challenges. KIT-Nachwuchswissenschaftler-Symposium 2010: 69-77 - [c28]Florian Merz, Carsten Sinz, Hendrik Post, Thomas Gorges, Thomas Kropf:
Abstract Testing: Connecting Source Code Verification with Requirements. QUATIC 2010: 89-96 - [c27]Carsten Sinz, Stephan Falke, Florian Merz:
A Precise Memory Model for Low-Level Bounded Model Checking. SSV 2010
2000 – 2009
- 2009
- [j11]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): 155-172 (2009) - [c26]Hendrik Post, Carsten Sinz:
Proving Functional Equivalence of Two AES Implementations Using Bounded Model Checking. ICST 2009: 31-40 - [c25]Hendrik Post, Carsten Sinz, Florian Merz, Thomas Gorges, Thomas Kropf:
Linking Functional Requirements and Software Verification. RE 2009: 295-302 - [c24]Carsten Sinz, Markus Iser:
Problem-Sensitive Restart Heuristics for the DPLL Procedure. SAT 2009: 356-362 - [c23]Olga Tveretina, Carsten Sinz, Hans Zantema:
An Exponential Lower Bound on OBDD Refutations for Pigeonhole Formulas. ACAC 2009: 13-21 - [i1]Olga Tveretina, Carsten Sinz, Hans Zantema:
Ordered Binary Decision Diagrams, Pigeonhole Formulas and Beyond. Electron. Colloquium Comput. Complex. TR09 (2009) - 2008
- [j10]Eray Gençay, Carsten Sinz, Wolfgang Küchlin, Thorsten Schäfer:
SANchk: SQL-based SAN configuration checking. IEEE Trans. Netw. Serv. Manag. 5(2): 91-104 (2008) - [c22]Hendrik Post, Carsten Sinz, Alexander Kaiser, Thomas Gorges:
Reducing False Positives by Combining Abstract Interpretation and Bounded Model Checking. ASE 2008: 188-197 - [c21]Hendrik Post, Carsten Sinz:
Configuration Lifting: Verification meets Software Configuration. ASE 2008: 347-350 - [c20]Eray Gençay, Carsten Sinz, Wolfgang Küchlin:
Towards SLA-based optimal workload distribution in SANs. NOMS 2008: 755-758 - [c19]Stephan Kottler, Michael Kaufmann, Carsten Sinz:
Computation of Renameable Horn Backdoors. SAT 2008: 154-160 - [c18]Stephan Kottler, Michael Kaufmann, Carsten Sinz:
A New Bound for an NP-Hard Subclass of 3-SAT Using Backdoors. SAT 2008: 161-167 - 2007
- [j9]Carsten Sinz, Albert Haag, Nina Narodytska, Toby Walsh, Esther M. Gelle, Mihaela Sabin, Ulrich Junker
Configuration. IEEE Intell. Syst. 22(1): 78-90 (2007) - [j8]Carsten Sinz:
Visualizing SAT Instances and Runs of the DPLL Algorithm. J. Autom. Reason. 39(2): 219-243 (2007) - [c17]Carsten Sinz:
Compressing Propositional Proofs by Common Subproof Extraction. EUROCAST 2007: 547-555 - [c16]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 - 2006
- [j7]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): 45-66 (2006) - [j6]Armin Biere, Carsten Sinz:
Decomposing SAT Problems into Connected Components. J. Satisf. Boolean Model. Comput. 2(1-4): 201-208 (2006) - [c15]Carsten Sinz, Armin Biere
Extended Resolution Proofs for Conjoining BDDs. CSR 2006: 600-611 - [c14]Toni Jussila, Carsten Sinz, Armin Biere:
Extended Resolution Proofs for Symbolic SAT Solving with Quantification. SAT 2006: 54-60 - 2005
- [c13]Carsten Sinz:
Towards an Optimal CNF Encoding of Boolean Cardinality Constraints. CP 2005: 827-831 - [c12]Carsten Sinz, Edda-Maria Dieringer:
DPvis - A Tool to Visualize the Structure of SAT Instances. SAT 2005: 257-268 - 2004
- [c11]Carsten Sinz, Wolfgang Küchlin:
Verifying the On-line Help System of SIEMENS Magnetic Resonance Tomographs. ICFEM 2004: 391-402 - [c10]Carsten Sinz:
Visualizing the Internal Structure of SAT Instances (Preliminary Report). SAT 2004 - [c9]Carsten Sinz, Wolfgang Küchlin:
Verifying the On-Line Help System of SIEMENS Magnetic Resonance Tomographs using SAT (Extended Abstract). SAT 2004 - 2003
- [b1]Carsten Sinz:
Verifikation regelbasierter Konfigurationssysteme. University of Tübingen, Germany, 2003, pp. 1-227 - [j5]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): 75-97 (2003) - [j4]Wolfgang Blochinger, Carsten Sinz, Wolfgang Küchlin:
Parallel propositional satisfiability checking with distributed dynamic learning. Parallel Comput. 29(7): 969-994 (2003) - [c8]Wolfgang Blochinger, Carsten Sinz, Wolfgang Küchlin:
A Universal Parallel SAT Checking Kernel. PDPTA 2003: 1720-1725 - [c7]Carsten Sinz, Amir Khosravizadeh, Wolfgang Küchlin, Viktor Mihajlovski:
Verifying CIM Models of Apache Web-Server Configurations. QSIC 2003: 290-297 - 2002
- [j3]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): 857-873 (2002) - 2001
- [j2]Carsten Sinz, Wolfgang Blochinger, Wolfgang Küchlin:
PaSAT - Parallel SAT-Checking with Lemma Exchange: Implementation and Applications. Electron. Notes Discret. Math. 9: 205-216 (2001) - [c6]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 - [c5]Carsten Sinz, Andreas Kaiser, Wolfgang Küchlin:
Detection of Inconsistencies in Complex Product Configuration Data Using Extended Propositional SAT-Checking. FLAIRS 2001: 645-649 - [c4]Carsten Sinz, Jörg Denzinger, Jürgen Avenhaus, Wolfgang Küchlin:
Combining Parallel and Distributed Search in Automated Equational Deduction. PPAM 2001: 819-832 - 2000
- [j1]Wolfgang Küchlin, Carsten Sinz:
Proving Consistency Assertions for Automotive Product Data Management. J. Autom. Reason. 24(1/2): 145-163 (2000) - [c3]Carsten Sinz:
System Description: ARA - An Automatic Theorem Prover for Relation Algebras. CADE 2000: 177-182 - [c2]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
1990 – 1999
- 1996
- [c1]Reinhard Bündgen, Carsten Sinz, Jochen Walter:
ReDuX 1.5: New Facets of Rewriting. RTA 1996: 412-415
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-11-11 21:26 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: