Older publications by the members of the research group can be found at
| Title | Author | Source |
|---|---|---|
| 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. |
