| Title | Author | Source |
|---|---|---|
| Automatic Modularization of Large Programs for Bounded Model Checking | In Proc. of Formal Methods and Software Engineering - 21st International Conference on Formal Engineering Methods, ICFEM 2019, Shenzhen, China, November 5-9, 2019 |
|
| Using DimSpec for Bounded and Unbounded Software Model Checking | Marko Kleine Büning, Tomás Balyo, Carsten Sinz |
In Proc. of Formal Methods and Software Engineering - 21st International Conference on Formal Engineering Methods, ICFEM 2019, Shenzhen, China, November 5-9, 2019 |
| Integrating Static Code Analysis Toolchains | Matthias Kern, Ferhat Erata, , Carsten Sinz, Frédéric Loiret, Stefan Otten, Eric Sax |
43rd IEEE Annual Computer Software and Applications Conference, COMPSAC 2019, Milwaukee, WI, USA, July 15-19, 2019, Volume 1. IEEE 2019: 523-528 |
| Memory Efficient Parallel SAT Solving with Inprocessing | , Tomás Balyo, Carsten Sinz |
31st IEEE International Conference on Tools with Artificial Intelligence, ICTAI 2019, Portland, OR, USA, November 4-6, 2019. IEEE 2019: 64-70 |
| Title | Author | Source |
|---|---|---|
| A Problem Meta-Data Library for Research in SAT | In Proc. of Pragmatics of SAT 2015, Austin, Texas, USA, September 23, 2015 / Pragmatics of SAT 2018, Oxford, UK, July 7, 2018. |
|
| Parallel Satisfiability | Tomás Balyo, Carsten Sinz |
Handbook of Parallel Constraint Reasoning 2018: 3-29 |
| Title | Author | Source |
|---|---|---|
| Using Gate Recognition and Random Simulation for Under-Approximation and Optimized Branching in SAT Solvers | 29th ICTAI 2017: Boston, MA, USA: 1029-1036 |
| Title | Author | Source |
|---|---|---|
| SAT Race 2015 | Tomás Balyo, Armin Biere, , Carsten Sinz |
Artificial Intelligence, Volume 241: 45-65 |
| Title | Author | Source |
|---|---|---|
| Overview and analysis of the SAT Challenge 2012 solver competition | Adrian Balint, Anton Belov, Matti Järvisalo, Carsten Sinz |
Artificial Intelligence, Volume 223: 120-155 |
| Bridging the gap between test cases and requirements by abstract testing | Florian Merz, Carsten Sinz, Hendrik Post, Thomas Gorges, Thomas Kropf |
Innovations in Systems and Software Engineering, Volume 11, Number 4, December 2015: 233-242 |
| HordeSat: A Massively Parallel Portfolio SAT Solver | Tomás Balyo, Peter Sanders, Carsten Sinz |
18th SAT 2015: Austin, TX, USA: 156-172 |
| Recognition of Nested Gates in CNF Formulas | , Norbert Manthey, Carsten Sinz |
18th SAT 2015: Austin, TX, USA: 255-271 |
| Title | Author | Source |
|---|---|---|
| Automatic Heavy-weight Static Analysis Tools for Fin- ding Bugs in Safety-critical Embedded C/C++ Code | Softwaretechnik-Trends, Volume 34, Number 3, Fachgruppenberichte 36. Treffen der GI - Fachgruppe Test, Analyse und Verifikation von Software (TAV-36) |
|
| 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. | 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 |
| Next Generation Static Software Analysis Tools (Dagstuhl Seminar 14352) | Patrick Cousot, Daniel Kroening, Carsten Sinz |
Dagstuhl Reports, Volume 4, Number 8, August 2014: 107-125 |
| Title | Author | Source |
|---|---|---|
| The bounded model checker LLBMC | Stefan Falke, Florian Merz, Sinz, Carsten |
2013 28th IEEE/ACM International Conference on Automated Software Engineering, ASE 2013, Silicon Valley, CA, USA, November 11-15, 2013. IEEE 2013:706-709 |
| Minimizing Models for Tseitin-Encoded SAT Instances | , Sinz, Carsten, Taghdiri, Mana |
In Proc. of Theory and Applications of Satisfiability Testing - SAT 2013 - 16th International Conference, Helsinki, Finland, July 8-12, 2013 |
| LLBMC: Improved Bounded Model Checking of C Programs Using LLVM - (Competition Contribution) | Stefan Falke, Florian Merz, Sinz, Carsten |
In Proc. of 19th International Conference, TACAS 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013 |
| Extending the Theory of Arrays: memset, memcpy, and Beyond | Stefan Falke, Florian Merz, Sinz, Carsten |
In Revised Selected Papers of Verified Software: Theories, Tools, Experiments - 5th International Conference, VSTTE 2013, Menlo Park, CA, USA, May 17-19, 2013 |
| Title | Author | Source |
|---|---|---|
| Challenges in Comparing Software Verification Tools for C | Florian Merz, Carsten Sinz, Stephan Falke |
In Proc. of the 1st International Workshop on Comparative Empirical Evaluation of Reasoning Systems, Manchester, United Kingdom, June 30, 2012. |
| A Theory of Arrays with set and copy Operations | Stephan Falke, Carsten Sinz, Florian Merz |
10th International Workshop on Satisfiability Modulo Theories, SMT 2012, Manchester, UK, June 30 - July 1, 2012. Seiten 98-108 |
| Optimizing MiniSAT Variable Orderings for the Relational Model Finder Kodkod - (Poster Presentation) | , Mana Taghdiri, Carsten Sinz |
In Proc. of SAT 2012 - 15th International Conference, Trento, Italy, June 17-20, 2012. |
| LLBMC: A Bounded Model Checker for LLVM's Intermediate Representation - (Competition Contribution) | Carsten Sinz, Florian Merz, Stephan Falke |
Tools and Algorithms for the Construction and Analysis of Systems - 18th International Conference, TACAS 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 - April 1, 2012. Proceedings.:542-544 |
| LLBMC: Bounded Model Checking of C and C++ Programs Using a Compiler IR | Florian Merz, Stephan Falke, Carsten Sinz |
Verified Software: Theories, Tools, Experiments - 4th International Conference, VSTTE 2012, Philadelphia, PA, USA, January 28-29, 2012. Proceedings.:146-161 |
| Termination Analysis of Imperative Programs Using Bitvector Arithmetic | Stephan Falke, Deepak Kapur, Carsten Sinz |
In Proc. of the 4th International Conference, VSTTE 2012, Philadelphia, PA, USA, January 28-29, 2012. |
| Title | Author | Source |
|---|---|---|
| Probabilistic Model Checking of Constraints in a Supply Chain Business Process | Tamara Mendt, Carsten Sinz, Olga Tveretina: |
Business Information Systems - 14th International Conference, BIS 2011, Poznan, Poland, June 15-17, 2011. Proceedings. :1-12 |
| Analyzing Separation of Duties Constraints with a Probabilistic Model Checker | Tamara Mendt, Carsten Sinz, Olga Tveretina |
Business Information Systems Workshops - BIS 2011 International Workshops and BPSC International Conference, Poznań, Poland, June 15-17, 2011. Revised Papers. :18-29 |
| Integration of Bounded Model Checking and Deductive Verification |
Bernhard Beckert, Thorsten Bormer, Florian Merz, Carsten Sinz |
FoVeOOS 2011: 86-104 |
| Termination Analysis of C Programs Using Compiler Intermediate Languages | Stephan Falke, Deepak Kapur, Carsten Sinz |
Karlsruhe Report in Informatics 2011-6 |
| Title | Author | Source |
|---|---|---|
| Abstract Testing: Connecting Source Code Verification with Requirements | Florian Merz, Carsten Sinz, Hendrik Post, Thomas Gorges, Thomas Kropf |
In Proc. of the 7th Intl. Conf. on Quality of Information and Communications Technology (QUATIC 2010), Oporto, Portugal |
| A Precise Memory Model for Low-Level Bounded Model Checking | In Proc. of the 5th Intl. Workshop on Systems Software Verification (SSV 2010), Vancouver, Canada |
|
| Information Flow Analysis via Path Condition Refinement | Mana Taghdiri, Gregor Snelting, Carsten Sinz |
In Proc. of the 7th Intl. Workshop on Formal Aspects of Security & Trust (FAST 2010), Pisa, Italy |
| Software Verification: State of the Art and Challenges | In V. Pankratius, S. Kounev, editors, Emerging Research Directions in Computer Science – Contributions from the Young Informatics Faculty in Karlsruhe, pages 69-77. KIT Scientific Publishing, Karlsruhe, Germany |
|
| Ordered Binary Decision Diagrams, Pigeonhole Formulas and Beyond | Olga Tveretina, Carsten Sinz, Hans Zantema |
Journal on Satisfiability, Boolean Modeling and Computation 7:35-58 |
| Title | Author | Source |
|---|---|---|
| Problem-Sensitive Restart Heuristics for the DPLL Procedure | In Proc. of the 12th Intl. Conf. on Theory and Applications of Satisfiability Testing (SAT 2009), pages 356-362, Swansea, UK |
|
| An Exponential Lower Bound on OBDD Refutations for Pigeonhole Formulas | Olga Tveretina, Carsten Sinz, Hans Zantema |
Proceedings of the 4th Athens Colloquium on Algorithms and Complexity Electronic Proceedings in Theoretical Computer Science 4:13-21 |
| Towards Automatic Software Model Checking of Thousands of Linux Modules: A Case Study with Avinux | Hendrik Post, Carsten Sinz, Wolfgang Küchlin |
Journal for Software Testing, Verification and Reliability 19(2):155-172 |
| Linking Functional Requirements and Software Verification | Hendrik Post, Carsten Sinz, Florian Merz, Thomas Gorges, Thomas Kropf |
Proceedings of the 17th IEEE International Requirements Engineering Conference Pages 295-302 |
| Proving Functional Equivalence of two AES Implementations using Bounded Model Checking | Proceedings of the 2nd International Conference on Software Testing, Verification, and Validation Pages 31-40 |
|
| EufDpll - A Tool to Check Satisfiability of Equality Logic Formulas | Olga Tveretina, Wieger Wesselink |
Proceedings of the Irish Conference on the Mathematical Foundations of Computer Science and Information Technology Electronic Notes in Theoretical Computer Science 225:405-420 |
| Title | Author | Source |
|---|---|---|
| Reducing False Positives by Combining Abstract Interpretation and Bounded Model Checking | Hendrik Post, Carsten Sinz, Alexander Kaiser, Thomas Gorges |
Proceedings of the 23rd IEEE/ACM International Conference on Automated Software Engineering Pages 188-197 |
| Configuration Lifting: Software Verification meets Software Configuration | Proceedings of the 23rd IEEE/ACM International Conference on Automated Software Engineering Pages 347-350 |
|
| Computation of Renameable Horn Backdoors | Stephan Kottler, Michael Kaufmann, and Carsten Sinz |
In Proc. of the 11th Intl. Conf. on Theory and Applications of Satisfiability Testing (SAT 2008), pages 154-160, Guangzhou, China |
| A New Bound for an NP-Hard Subclass of 3-SAT Using Backdoors | Stephan Kottler, Michael Kaufmann, and Carsten Sinz |
In Proc. of the 11th Intl. Conf. on Theory and Applications of Satisfiability Testing (SAT 2008), pages 161-167, Guangzhou, China |
| Towards SLA-Based Optimal Workload Distribution in SANs | Eray Gençay, Carsten Sinz, and Wolfgang Küchlin |
In Proc. of the IFIP/IEEE Network Operations and Management Symposium (NOMS 2008), pages 755-758, Salvador, Brazil |
| SLA-Based SAN Design | Eray Gençay, Carsten Sinz, and Wolfgang Küchlin |
In Proc. of the 1st IEEE Workshop on Automated Network Management (ANM 2008), Phoenix, AZ |
| SANchk: SQL-Based SAN Configuration Checking | Eray Gençay, Carsten Sinz, Wolfgang Küchlin and Thorsten Schäfer |
In IEEE Transactions on Network and Service Management, 5(2):91-104. |