| Separating Map Variables in a Logic-Based Intermediate Verification Language. | 0 | 0.34 | 2021 |
| Hanfor - Semantic Requirements Review at Scale. | 0 | 0.34 | 2021 |
| Verification of Concurrent Programs Using Petri Net Unfoldings. | 0 | 0.34 | 2021 |
| Proving LTL Properties of Bitvector Programs and Decompiled Binaries | 0 | 0.34 | 2021 |
| Ultimate Taipan with Symbolic Interpretation and Fluid Abstractions - (Competition Contribution). | 0 | 0.34 | 2020 |
| Ultimate TreeAutomizer (CHC-COMP Tool Description). | 0 | 0.34 | 2019 |
| Different Maps for Different Uses. A Program Transformation for Intermediate Verification Languages. | 0 | 0.34 | 2019 |
| Scalable Analysis of Real-Time Requirements | 0 | 0.34 | 2019 |
| Ultimate Automizer and the Search for Perfect Interpolants - (Competition Contribution). | 1 | 0.34 | 2018 |
| Ultimate Taipan with Dynamic Block Encoding - (Competition Contribution). | 0 | 0.34 | 2018 |
| Incremental Verification Using Trace Abstraction. | 4 | 0.40 | 2018 |
| Ultimate Taipan with Dynamic Block Encoding - (Competition Contribution). | 0 | 0.34 | 2018 |
| Ultimate Automizer and the Search for Perfect Interpolants - (Competition Contribution). | 0 | 0.34 | 2018 |
| Ultimate Taipan: Trace Abstraction and Abstract Interpretation - (Competition Contribution). | 0 | 0.34 | 2017 |
| Ultimate Taipan: Trace Abstraction and Abstract Interpretation - (Competition Contribution). | 0 | 0.34 | 2017 |
| Craig vs. Newton in software model checking | 1 | 0.36 | 2017 |
| Exchanging Verification Witnesses between Verifiers. | 0 | 0.34 | 2017 |
| Loop Invariants from Counterexamples. | 2 | 0.39 | 2017 |
| Refining Trace Abstraction using Abstract Interpretation. | 0 | 0.34 | 2017 |
| Ultimate Automizer with an On-Demand Construction of Floyd-Hoare Automata - (Competition Contribution). | 2 | 0.37 | 2017 |
| Ultimate Automizer with an On-Demand Construction of Floyd-Hoare Automata - (Competition Contribution). | 0 | 0.34 | 2017 |
| Witness validation and stepwise testification across software verifiers. | 16 | 0.70 | 2016 |
| Ultimate Automizer with Two-track Proofs - (Competition Contribution). | 7 | 0.43 | 2016 |
| Ready for testing: ensuring conformance to industrial standards through formal verification. | 2 | 0.49 | 2016 |
| Correctness witnesses: exchanging verification results between verifiers. | 15 | 0.60 | 2016 |
| ULTIMATE KOJAK with Memory Safety Checks - (Competition Contribution). | 1 | 0.35 | 2015 |
| Ultimate Automizer with Array Interpolation - (Competition Contribution). | 3 | 0.38 | 2015 |
| Fairness Modulo Theory: A New Approach To Ltl Software Model Checking | 11 | 0.50 | 2015 |
| The Wireless Fire Alarm System: Ensuring Conformance to Industrial Standards through Formal Verification. | 4 | 0.48 | 2014 |
| Ultimate Automizer with Unsatisfiable Cores - (Competition Contribution). | 2 | 0.38 | 2014 |
| Ultimate Kojak - (Competition Contribution). | 1 | 0.36 | 2014 |
| Monitoring Student Activity in Collaborative Software Development | 0 | 0.34 | 2013 |
| Ultimate Automizer with SMTInterpol - (Competition Contribution). | 7 | 0.53 | 2013 |
| Towards successful subcontracting for software in small to medium-sized enterprises | 0 | 0.34 | 2012 |
| System verification through program verification | 1 | 0.37 | 2011 |
