Carsten Sinz - RankMe

92 papers A* 3A 20B 5C 4Misc 5Journal 26Unranked 27

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