Carsten Sinz

Proceedings of the 18th International Working Conference on Variability Modelling of Software-Intensive Systems, 2024

2022

Optimized Symbolic Interval Propagation for Neural Network Verification.

[BibT_eX]

[DOI]

Philipp Kern

CoRR, 2022

Learning to Rank for Test Case Prioritization.

[BibT_eX]

[DOI]

Safa Omri

Proceedings of the 15th IEEE/ACM International Workshop on Search-Based Software Testing, 2022

Refined Modularization for Bounded Model Checking Through Precondition Generation.

[BibT_eX]

[DOI]

Johannes Meuer

Proceedings of the Formal Methods and Software Engineering, 2022

2021

Machine Learning Techniques for Software Quality Assurance: A Survey.

[BibT_eX]

[DOI]

Safa Omri

CoRR, 2021

Geometric Path Enumeration for Equivalence Verification of Neural Networks.

[BibT_eX]

[DOI]

Proceedings of the 33rd IEEE International Conference on Tools with Artificial Intelligence, 2021

2020

Collaborative Management of Benchmark Instances and their Attributes.

[BibT_eX]

[DOI]

Luca Springer

CoRR, 2020

An Incremental Abstraction Scheme for Solving Hard SMT-Instances over Bit-Vectors.

[BibT_eX]

[DOI]

Samuel Teuber

CoRR, 2020

QPR Verify: A Static Analysis Tool for Embedded Software Based on Bounded Model Checking.

[BibT_eX]

[DOI]

David Faragó

Proceedings of the Software Verification - 12th International Conference, 2020

Deep Learning for Software Defect Prediction: A Survey.

[BibT_eX]

[DOI]

Safa Omri

Proceedings of the ICSE '20: 42nd International Conference on Software Engineering, Workshops, Seoul, Republic of Korea, 27 June, 2020

Verifying Equivalence Properties of Neural Networks with ReLU Activation Functions.

[BibT_eX]

[DOI]

Philipp Kern

Proceedings of the Principles and Practice of Constraint Programming, 2020

2019

Memory Efficient Parallel SAT Solving with Inprocessing.

[BibT_eX]

[DOI]

Proceedings of the 31st IEEE International Conference on Tools with Artificial Intelligence, 2019

Automatic Modularization of Large Programs for Bounded Model Checking.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods and Software Engineering, 2019

Using DimSpec for Bounded and Unbounded Software Model Checking.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods and Software Engineering, 2019

Integrating Static Code Analysis Toolchains.

[BibT_eX]

[DOI]

Proceedings of the 43rd IEEE Annual Computer Software and Applications Conference, 2019

2018

Unbounded Software Model Checking with Incremental SAT-Solving.

[BibT_eX]

[DOI]

CoRR, 2018

A Problem Meta-Data Library for Research in SAT.

[BibT_eX]

[DOI]

Proceedings of Pragmatics of SAT 2015, 2018

Parallel Satisfiability.

[BibT_eX]

[DOI]

Proceedings of the Handbook of Parallel Constraint Reasoning., 2018

2017

Using Gate Recognition and Random Simulation for Under-Approximation and Optimized Branching in SAT Solvers.

[BibT_eX]

[DOI]

Felix Kutzner

Proceedings of the 29th IEEE International Conference on Tools with Artificial Intelligence, 2017

2016

SAT Race 2015.

[BibT_eX]

[DOI]

Artif. Intell., 2016

2015

Bridging the gap between test cases and requirements by abstract testing.

[BibT_eX]

[DOI]

Innov. Syst. Softw. Eng., 2015

Overview and analysis of the SAT Challenge 2012 solver competition.

[BibT_eX]

[DOI]

Artif. Intell., 2015

Recognition of Nested Gates in CNF Formulas.

[BibT_eX]

[DOI]

Norbert Manthey

Proceedings of the Theory and Applications of Satisfiability Testing - SAT 2015, 2015

HordeSat: A Massively Parallel Portfolio SAT Solver.

[BibT_eX]

[DOI]

Peter Sanders

Proceedings of the Theory and Applications of Satisfiability Testing - SAT 2015, 2015

2014

Automatic Heavy-weight Static Analysis Tools for Fin- ding Bugs in Safety-critical Embedded C/C++ Code.

[BibT_eX]

[DOI]

David Faragó

Softwaretechnik-Trends, 2014

Next Generation Static Software Analysis Tools (Dagstuhl Seminar 14352).

[BibT_eX]

[DOI]

Patrick Cousot

Daniel Kroening

Dagstuhl Reports, 2014

2013

Extending the Theory of Arrays: memset, memcpy, and Beyond.

[BibT_eX]

[DOI]

Proceedings of the Verified Software: Theories, Tools, Experiments, 2013

LLBMC: Improved Bounded Model Checking of C Programs Using LLVM - (Competition Contribution).

[BibT_eX]

[DOI]

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2013

Minimizing Models for Tseitin-Encoded SAT Instances.

[BibT_eX]

[DOI]

Mana Taghdiri

Proceedings of the Theory and Applications of Satisfiability Testing - SAT 2013, 2013

The bounded model checker LLBMC.

[BibT_eX]

[DOI]

Proceedings of the 2013 28th IEEE/ACM International Conference on Automated Software Engineering, 2013

2012

LLBMC: Bounded Model Checking of C and C++ Programs Using a Compiler IR.

[BibT_eX]

[DOI]

Proceedings of the Verified Software: Theories, Tools, Experiments, 2012

Termination Analysis of Imperative Programs Using Bitvector Arithmetic.

[BibT_eX]

[DOI]

Deepak Kapur

Proceedings of the Verified Software: Theories, Tools, Experiments, 2012

LLBMC: A Bounded Model Checker for LLVM's Intermediate Representation - (Competition Contribution).

[BibT_eX]

[DOI]

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2012

Optimizing MiniSAT Variable Orderings for the Relational Model Finder Kodkod - (Poster Presentation).

[BibT_eX]

[DOI]

Mana Taghdiri

Proceedings of the Theory and Applications of Satisfiability Testing - SAT 2012, 2012

Challenges in Comparing Software Verification Tools for C.

[BibT_eX]

[DOI]

Proceedings of the 1st International Workshop on Comparative Empirical Evaluation of Reasoning Systems, 2012

A Theory of Arrays with set and copy Operations.

[BibT_eX]

[DOI]

Proceedings of the 10th International Workshop on Satisfiability Modulo Theories, 2012

2011

Termination Analysis of C Programs Using Compiler Intermediate Languages.

[BibT_eX]

[DOI]

Deepak Kapur

Proceedings of the 22nd International Conference on Rewriting Techniques and Applications, 2011

Integration of Bounded Model Checking and Deductive Verification.

[BibT_eX]

[DOI]

Proceedings of the Formal Verification of Object-Oriented Software, 2011

Analyzing Separation of Duties Constraints with a Probabilistic Model Checker.

[BibT_eX]

[DOI]

Tamara Mendt

Proceedings of the Business Information Systems Workshops, 2011

Probabilistic Model Checking of Constraints in a Supply Chain Business Process.

[BibT_eX]

[DOI]

Tamara Mendt

Proceedings of the Business Information Systems - 14th International Conference, 2011

2010

Ordered Binary Decision Diagrams, Pigeonhole Formulas and Beyond.

[BibT_eX]

[DOI]

Hans Zantema

J. Satisf. Boolean Model. Comput., 2010

A Precise Memory Model for Low-Level Bounded Model Checking.

[BibT_eX]

[DOI]

Proceedings of the 5th International Workshop on Systems Software Verification, 2010

Abstract Testing: Connecting Source Code Verification with Requirements.

[BibT_eX]

[DOI]

Proceedings of the Quality of Information and Communications Technology, 2010

Software Verification: State of the Art and Challenges.

[BibT_eX]

Proceedings of the Emerging Research Directions in Computer Science, Karlsruhe, Germany, July 26-27, 2010. Proceedings, 2010

Information Flow Analysis via Path Condition Refinement.

[BibT_eX]

[DOI]

Mana Taghdiri

Gregor Snelting

Proceedings of the Formal Aspects of Security and Trust - 7th International Workshop, 2010

2009

Towards automatic software model checking of thousands of Linux modules - a case study with Avinux.

[BibT_eX]

[DOI]

Hendrik Post

Softw. Test. Verification Reliab., 2009

An Exponential Lower Bound on OBDD Refutations for Pigeonhole Formulas

[BibT_eX]

[DOI]

Hans Zantema

Proceedings of the Proceedings Fourth Athens Colloquium on Algorithms and Complexity, 2009

Problem-Sensitive Restart Heuristics for the DPLL Procedure.

[BibT_eX]

[DOI]

Proceedings of the Theory and Applications of Satisfiability Testing, 2009

Linking Functional Requirements and Software Verification.

[BibT_eX]

[DOI]

Proceedings of the RE 2009, 17th IEEE International Requirements Engineering Conference, Atlanta, Georgia, USA, August 31, 2009

Proving Functional Equivalence of Two AES Implementations Using Bounded Model Checking.

[BibT_eX]

[DOI]

Hendrik Post

Proceedings of the Second International Conference on Software Testing Verification and Validation, 2009

2008

SANchk: SQL-based SAN configuration checking.

[BibT_eX]

[DOI]

IEEE Trans. Netw. Serv. Manag., 2008

A New Bound for an NP-Hard Subclass of 3-SAT Using Backdoors.

[BibT_eX]

[DOI]

Stephan Kottler

Michael Kaufmann

Proceedings of the Theory and Applications of Satisfiability Testing, 2008

Computation of Renameable Horn Backdoors.

[BibT_eX]

[DOI]

Stephan Kottler

Michael Kaufmann

Proceedings of the Theory and Applications of Satisfiability Testing, 2008

Towards SLA-based optimal workload distribution in SANs.

[BibT_eX]

[DOI]

Eray Gençay

Proceedings of the IEEE/IFIP Network Operations and Management Symposium: Pervasive Management for Ubioquitous Networks and Services, 2008

Reducing False Positives by Combining Abstract Interpretation and Bounded Model Checking.

[BibT_eX]

[DOI]

Proceedings of the 23rd IEEE/ACM International Conference on Automated Software Engineering (ASE 2008), 2008

Configuration Lifting: Verification meets Software Configuration.

[BibT_eX]

[DOI]

Hendrik Post

Proceedings of the 23rd IEEE/ACM International Conference on Automated Software Engineering (ASE 2008), 2008

2007

Visualizing SAT Instances and Runs of the DPLL Algorithm.

[BibT_eX]

[DOI]

Christoph M. Wintersteiger

J. Autom. Reason., 2007

Configuration.

[BibT_eX]

[DOI]

IEEE Intell. Syst., 2007

A First Step Towards a Unified Proof Checker for QBF.

[BibT_eX]

[DOI]

Proceedings of the Theory and Applications of Satisfiability Testing, 2007

Compressing Propositional Proofs by Common Subproof Extraction.

[BibT_eX]

[DOI]

Proceedings of the Computer Aided Systems Theory, 2007

2006

Decomposing SAT Problems into Connected Components.

[BibT_eX]

[DOI]

Armin Biere

J. Satisf. Boolean Model. Comput., 2006

Checking Consistency and Completeness of On-Line Product Manuals.

[BibT_eX]

[DOI]

J. Autom. Reason., 2006

Extended Resolution Proofs for Symbolic SAT Solving with Quantification.

[BibT_eX]

[DOI]

Toni Jussila

Armin Biere

Proceedings of the Theory and Applications of Satisfiability Testing, 2006

Extended Resolution Proofs for Conjoining BDDs.

[BibT_eX]

[DOI]

Armin Biere

Proceedings of the Computer Science, 2006

2005

DPvis - A Tool to Visualize the Structure of SAT Instances.

[BibT_eX]

[DOI]

Edda-Maria Dieringer

Proceedings of the Theory and Applications of Satisfiability Testing, 2005

Towards an Optimal CNF Encoding of Boolean Cardinality Constraints.

[BibT_eX]

[DOI]

Proceedings of the Principles and Practice of Constraint Programming, 2005

2004

Verifying the On-Line Help System of SIEMENS Magnetic Resonance Tomographs using SAT (Extended Abstract)

[BibT_eX]

[DOI]

Proceedings of the SAT 2004, 2004

Visualizing the Internal Structure of SAT Instances (Preliminary Report)

[BibT_eX]

[DOI]

Proceedings of the SAT 2004, 2004

Verifying the On-line Help System of SIEMENS Magnetic Resonance Tomographs.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods and Software Engineering, 2004

2003

Verifikation regelbasierter Konfigurationssysteme.

[BibT_eX]

[DOI]

PhD thesis, 2003

Parallel propositional satisfiability checking with distributed dynamic learning.

[BibT_eX]

[DOI]

Wolfgang Blochinger

Parallel Comput., 2003

Formal methods for the validation of automotive product configuration data.

[BibT_eX]

[DOI]

Andreas Kaiser

Artif. Intell. Eng. Des. Anal. Manuf., 2003

Verifying CIM Models of Apache Web-Server Configurations.

[BibT_eX]

[DOI]

Proceedings of the 3rd International Conference on Quality Software (QSIC 2003), 2003

A Universal Parallel SAT Checking Kernel.

[BibT_eX]

Wolfgang Blochinger

Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications, 2003

2002

Detection of dynamic execution errors in IBM system automation's rule-based expert system.

[BibT_eX]

[DOI]

Inf. Softw. Technol., 2002

2001

PaSAT - Parallel SAT-Checking with Lemma Exchange: Implementation and Applications.

[BibT_eX]

[DOI]

Wolfgang Blochinger

Electron. Notes Discret. Math., 2001

Combining Parallel and Distributed Search in Automated Equational Deduction.

[BibT_eX]

[DOI]

Proceedings of the Parallel Processing and Applied Mathematics, 2001

Detection of Inconsistencies in Complex Product Configuration Data Using Extended Propositional SAT-Checking.

[BibT_eX]

[DOI]

Andreas Kaiser

Proceedings of the Fourteenth International Florida Artificial Intelligence Research Society Conference, 2001

Towards a Verification of the Rule-Based Expert System of the IBM SA for OS/390 Automation Manager.

[BibT_eX]

[DOI]

Thomas Lumpp

Proceedings of the 2nd Asia-Pacific Conference on Quality Software (APAQS 2001), 2001

2000

Proving Consistency Assertions for Automotive Product Data Management.

[BibT_eX]

[DOI]

J. Autom. Reason., 2000

A Service-Based Agent Framework for Distributed Symbolic Computation.

[BibT_eX]

[DOI]

Proceedings of the High-Performance Computing and Networking, 8th International Conference, 2000

System Description: ARA - An Automatic Theorem Prover for Relation Algebras.

[BibT_eX]

[DOI]

Proceedings of the Automated Deduction, 2000

1996

ReDuX 1.5: New Facets of Rewriting.

[BibT_eX]

[DOI]

Reinhard Bündgen