The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Carsten Sinz" ( http://dblp.L3S.de/Authors/Carsten_Sinz )

URL (Homepage):  http://www.carstensinz.de/  Author page on DBLP  Author page in RDF  Community of Carsten Sinz in ASPL-2

Publication years (Num. hits)
1996-2004 (17) 2005-2008 (16) 2009-2011 (15) 2012-2015 (18) 2016-2019 (8)
Publication types (Num. hits)
article(20) incollection(1) inproceedings(51) phdthesis(1) proceedings(1)
Venues (Conferences, Journals, ...)
SAT(13) ASE(3) ICFEM(3) J. Autom. Reasoning(3) VSTTE(3) Artif. Intell.(2) CoRR(2) JSAT(2) RTA(2) TACAS(2) ACAC(1) AI EDAM(1) APAQS(1) BIS(1) BIS (Workshops)(1) CADE(1) More (+10 of total 48)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 9 occurrences of 9 keywords

Results
Found 75 publication records. Showing 74 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Marko Kleine Büning, Tomás Balyo, Carsten Sinz Using DimSpec for Bounded and Unbounded Software Model Checking. Search on Bibsonomy ICFEM The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Marko Kleine Büning, Carsten Sinz Automatic Modularization of Large Programs for Bounded Model Checking. Search on Bibsonomy ICFEM The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Matthias Kern, Ferhat Erata, Markus Iser, Carsten Sinz, Frédéric Loiret, Stefan Otten, Eric Sax Integrating Static Code Analysis Toolchains. Search on Bibsonomy COMPSAC (1) The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Marko Kleine Büning, Tomás Balyo, Carsten Sinz Unbounded Software Model Checking with Incremental SAT-Solving. Search on Bibsonomy CoRR The full citation details ... 2018 DBLP  BibTeX  RDF
1Tomás Balyo, Carsten Sinz Parallel Satisfiability. Search on Bibsonomy Handbook of Parallel Constraint Reasoning The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Markus Iser, Carsten Sinz A Problem Meta-Data Library for Research in SAT. Search on Bibsonomy POS@SAT The full citation details ... 2018 DBLP  BibTeX  RDF
1Markus Iser, Felix Kutzner, Carsten Sinz Using Gate Recognition and Random Simulation for Under-Approximation and Optimized Branching in SAT Solvers. Search on Bibsonomy ICTAI The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Tomás Balyo, Armin Biere, Markus Iser, Carsten Sinz SAT Race 2015. Search on Bibsonomy Artif. Intell. The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Adrian Balint, Anton Belov, Matti Järvisalo, Carsten Sinz Overview and analysis of the SAT Challenge 2012 solver competition. Search on Bibsonomy Artif. Intell. The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Tomás Balyo, Peter Sanders 0001, Carsten Sinz HordeSat: A Massively Parallel Portfolio SAT Solver. Search on Bibsonomy CoRR The full citation details ... 2015 DBLP  BibTeX  RDF
1Florian Merz 0001, Carsten Sinz, Hendrik Post, Thomas Gorges, Thomas Kropf Bridging the gap between test cases and requirements by abstract testing. Search on Bibsonomy ISSE The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Markus Iser, Norbert Manthey, Carsten Sinz Recognition of Nested Gates in CNF Formulas. Search on Bibsonomy SAT The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Tomás Balyo, Peter Sanders 0001, Carsten Sinz HordeSat: A Massively Parallel Portfolio SAT Solver. Search on Bibsonomy SAT The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1David Faragó, Florian Merz 0001, Carsten Sinz Automatic Heavy-weight Static Analysis Tools for Fin- ding Bugs in Safety-critical Embedded C/C++ Code. Search on Bibsonomy Softwaretechnik-Trends The full citation details ... 2014 DBLP  BibTeX  RDF
1Patrick Cousot, Daniel Kroening, Carsten Sinz Next Generation Static Software Analysis Tools (Dagstuhl Seminar 14352). Search on Bibsonomy Dagstuhl Reports The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Carsten Sinz, Uwe Egly (eds.) 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 Search on Bibsonomy SAT The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Stephan Falke 0001, Florian Merz 0001, Carsten Sinz Extending the Theory of Arrays: memset, memcpy, and Beyond. Search on Bibsonomy VSTTE The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Markus Iser, Carsten Sinz, Mana Taghdiri Minimizing Models for Tseitin-Encoded SAT Instances. Search on Bibsonomy SAT The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Stephan Falke 0001, Florian Merz 0001, Carsten Sinz LLBMC: Improved Bounded Model Checking of C Programs Using LLVM - (Competition Contribution). Search on Bibsonomy TACAS The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Stephan Falke 0001, Florian Merz 0001, Carsten Sinz The bounded model checker LLBMC. Search on Bibsonomy ASE The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Stephan Falke 0001, Deepak Kapur, Carsten Sinz Termination Analysis of Imperative Programs Using Bitvector Arithmetic. Search on Bibsonomy VSTTE The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Florian Merz 0001, Stephan Falke 0001, Carsten Sinz LLBMC: Bounded Model Checking of C and C++ Programs Using a Compiler IR. Search on Bibsonomy VSTTE The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Stephan Falke 0001, Carsten Sinz, Florian Merz 0001 A Theory of Arrays with set and copy Operations. Search on Bibsonomy SMT@IJCAR The full citation details ... 2012 DBLP  BibTeX  RDF
1Florian Merz 0001, Carsten Sinz, Stephan Falke 0001 Challenges in Comparing Software Verification Tools for C. Search on Bibsonomy COMPARE The full citation details ... 2012 DBLP  BibTeX  RDF
1Markus Iser, Mana Taghdiri, Carsten Sinz Optimizing MiniSAT Variable Orderings for the Relational Model Finder Kodkod - (Poster Presentation). Search on Bibsonomy SAT The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Carsten Sinz, Florian Merz 0001, Stephan Falke 0001 LLBMC: A Bounded Model Checker for LLVM's Intermediate Representation - (Competition Contribution). Search on Bibsonomy TACAS The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Tamara Mendt, Carsten Sinz, Olga Tveretina Probabilistic Model Checking of Constraints in a Supply Chain Business Process. Search on Bibsonomy BIS The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Tamara Mendt, Carsten Sinz, Olga Tveretina Analyzing Separation of Duties Constraints with a Probabilistic Model Checker. Search on Bibsonomy BIS (Workshops) The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Bernhard Beckert, Thorsten Bormer, Florian Merz 0001, Carsten Sinz Integration of Bounded Model Checking and Deductive Verification. Search on Bibsonomy FoVeOOS The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Stephan Falke 0001, Deepak Kapur, Carsten Sinz Termination Analysis of C Programs Using Compiler Intermediate Languages. Search on Bibsonomy RTA The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Olga Tveretina, Carsten Sinz, Hans Zantema Ordered Binary Decision Diagrams, Pigeonhole Formulas and Beyond. Search on Bibsonomy JSAT The full citation details ... 2010 DBLP  BibTeX  RDF
1Florian Merz 0001, Carsten Sinz, Hendrik Post, Thomas Gorges, Thomas Kropf Abstract Testing: Connecting Source Code Verification with Requirements. Search on Bibsonomy QUATIC The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Carsten Sinz Software Verification: State of the Art and Challenges. Search on Bibsonomy KIT-Nachwuchswissenschaftler-Symposium The full citation details ... 2010 DBLP  BibTeX  RDF
1Mana Taghdiri, Gregor Snelting, Carsten Sinz Information Flow Analysis via Path Condition Refinement. Search on Bibsonomy Formal Aspects in Security and Trust The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Carsten Sinz, Stephan Falke 0001, Florian Merz 0001 A Precise Memory Model for Low-Level Bounded Model Checking. Search on Bibsonomy SSV The full citation details ... 2010 DBLP  BibTeX  RDF
1Olga Tveretina, Carsten Sinz, Hans Zantema Ordered Binary Decision Diagrams, Pigeonhole Formulas and Beyond. Search on Bibsonomy Electronic Colloquium on Computational Complexity (ECCC) The full citation details ... 2009 DBLP  BibTeX  RDF
1Olga Tveretina, Carsten Sinz, Hans Zantema An Exponential Lower Bound on OBDD Refutations for Pigeonhole Formulas Search on Bibsonomy ACAC The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Hendrik Post, Carsten Sinz, Wolfgang Küchlin Towards automatic software model checking of thousands of Linux modules - a case study with Avinux. Search on Bibsonomy Softw. Test., Verif. Reliab. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Hendrik Post, Carsten Sinz, Florian Merz 0001, Thomas Gorges, Thomas Kropf Linking Functional Requirements and Software Verification. Search on Bibsonomy RE The full citation details ... 2009 DBLP  DOI  BibTeX  RDF verification, bounded model checking, functional requirements
1Hendrik Post, Carsten Sinz Proving Functional Equivalence of Two AES Implementations Using Bounded Model Checking. Search on Bibsonomy ICST The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Carsten Sinz, Markus Iser Problem-Sensitive Restart Heuristics for the DPLL Procedure. Search on Bibsonomy SAT The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Eray Gençay, Carsten Sinz, Wolfgang Küchlin, Thorsten Schäfer SANchk: SQL-based SAN configuration checking. Search on Bibsonomy IEEE Trans. Network and Service Management The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Eray Gençay, Carsten Sinz, Wolfgang Küchlin Towards SLA-based optimal workload distribution in SANs. Search on Bibsonomy NOMS The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Stephan Kottler, Michael Kaufmann 0001, Carsten Sinz A New Bound for an NP-Hard Subclass of 3-SAT Using Backdoors. Search on Bibsonomy SAT The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Stephan Kottler, Michael Kaufmann 0001, Carsten Sinz Computation of Renameable Horn Backdoors. Search on Bibsonomy SAT The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Hendrik Post, Carsten Sinz, Alexander Kaiser 0001, Thomas Gorges Reducing False Positives by Combining Abstract Interpretation and Bounded Model Checking. Search on Bibsonomy ASE The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Hendrik Post, Carsten Sinz Configuration Lifting: Verification meets Software Configuration. Search on Bibsonomy ASE The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Carsten Sinz Visualizing SAT Instances and Runs of the DPLL Algorithm. Search on Bibsonomy J. Autom. Reasoning The full citation details ... 2007 DBLP  DOI  BibTeX  RDF SAT instance, DPLL procedure
1Carsten 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. Search on Bibsonomy IEEE Intelligent Systems The full citation details ... 2007 DBLP  DOI  BibTeX  RDF product variability,  decision explanation, business process, constraint satisfaction, configuration, product-line engineering
1Toni Jussila, Armin Biere, Carsten Sinz, Daniel Kröning, Christoph M. Wintersteiger A First Step Towards a Unified Proof Checker for QBF. Search on Bibsonomy SAT The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Carsten Sinz Compressing Propositional Proofs by Common Subproof Extraction. Search on Bibsonomy EUROCAST The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Armin Biere, Carsten Sinz Decomposing SAT Problems into Connected Components. Search on Bibsonomy JSAT The full citation details ... 2006 DBLP  BibTeX  RDF
1Carsten Sinz, Wolfgang Küchlin, Dieter Feichtinger, Georg Görtler Checking Consistency and Completeness of On-Line Product Manuals. Search on Bibsonomy J. Autom. Reasoning The full citation details ... 2006 DBLP  DOI  BibTeX  RDF problem encoding, BDD-techniques, SAT, real-world applications
1Carsten Sinz, Armin Biere Extended Resolution Proofs for Conjoining BDDs. Search on Bibsonomy CSR The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Toni Jussila, Carsten Sinz, Armin Biere Extended Resolution Proofs for Symbolic SAT Solving with Quantification. Search on Bibsonomy SAT The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Carsten Sinz, Edda-Maria Dieringer DPvis - A Tool to Visualize the Structure of SAT Instances. Search on Bibsonomy SAT The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Carsten Sinz Towards an Optimal CNF Encoding of Boolean Cardinality Constraints. Search on Bibsonomy CP The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Carsten Sinz, Wolfgang Küchlin Verifying the On-line Help System of SIEMENS Magnetic Resonance Tomographs. Search on Bibsonomy ICFEM The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Carsten Sinz Visualizing the Internal Structure of SAT Instances (Preliminary Report) Search on Bibsonomy SAT The full citation details ... 2004 DBLP  BibTeX  RDF
1Carsten Sinz, Wolfgang Küchlin Verifying the On-Line Help System of SIEMENS Magnetic Resonance Tomographs using SAT (Extended Abstract) Search on Bibsonomy SAT The full citation details ... 2004 DBLP  BibTeX  RDF
1Wolfgang Blochinger, Carsten Sinz, Wolfgang Küchlin Parallel propositional satisfiability checking with distributed dynamic learning. Search on Bibsonomy Parallel Computing The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
1Carsten Sinz, Andreas Kaiser, Wolfgang Küchlin Formal methods for the validation of automotive product configuration data. Search on Bibsonomy AI EDAM The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
1Wolfgang Blochinger, Carsten Sinz, Wolfgang Küchlin A Universal Parallel SAT Checking Kernel. Search on Bibsonomy PDPTA The full citation details ... 2003 DBLP  BibTeX  RDF
1Carsten Sinz, Amir Khosravizadeh, Wolfgang Küchlin, Viktor Mihajlovski Verifying CIM Models of Apache Web-Server Configurations. Search on Bibsonomy QSIC The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
1Carsten Sinz Verifikation regelbasierter Konfigurationssysteme. Search on Bibsonomy 2003   RDF
1Carsten Sinz, Thomas Lumpp, Jürgen M. Schneider, Wolfgang Küchlin Detection of dynamic execution errors in IBM system automation's rule-based expert system. Search on Bibsonomy Information & Software Technology The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1Carsten Sinz, Wolfgang Blochinger, Wolfgang Küchlin PaSAT - Parallel SAT-Checking with Lemma Exchange: Implementation and Applications. Search on Bibsonomy Electronic Notes in Discrete Mathematics The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
1Carsten Sinz, Jörg Denzinger, Jürgen Avenhaus, Wolfgang Küchlin Combining Parallel and Distributed Search in Automated Equational Deduction. Search on Bibsonomy PPAM The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
1Carsten Sinz, Andreas Kaiser, Wolfgang Küchlin Detection of Inconsistencies in Complex Product Configuration Data Using Extended Propositional SAT-Checking. Search on Bibsonomy FLAIRS Conference The full citation details ... 2001 DBLP  BibTeX  RDF
1Carsten Sinz, Wolfgang Küchlin, Thomas Lumpp Towards a Verification of the Rule-Based Expert System of the IBM SA for OS/390 Automation Manager. Search on Bibsonomy APAQS The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
1Wolfgang Küchlin, Carsten Sinz Proving Consistency Assertions for Automotive Product Data Management. Search on Bibsonomy J. Autom. Reasoning The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
1Ralf-Dieter Schimkat, Wolfgang Blochinger, Carsten Sinz, Michael Friedrich 0002, Wolfgang Küchlin A Service-Based Agent Framework for Distributed Symbolic Computation. Search on Bibsonomy HPCN The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
1Carsten Sinz System Description: ARA - An Automatic Theorem Prover for Relation Algebras. Search on Bibsonomy CADE The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
1Reinhard Bündgen, Carsten Sinz, Jochen Walter ReDuX 1.5: New Facets of Rewriting. Search on Bibsonomy RTA The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #74 of 74 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license