|
| | Preview | Authors / Editors | Title | Type | Issue Date |
| 381 | | Stewart, Daryl ; Weissenbacher, Georg | Proceedings of Formal Methods in Computer Aided Design, FMCAD 2017 | Konferenzband Proceedings | 2017 |
| 382 | | Humenberger, Andreas ; Jaroschek, Maximilian ; Kovács, Laura | Automated Generation of Non-Linear Loop Invariants Utilizing Hypergeometric Sequences | Konferenzbeitrag Inproceedings | 2017 |
| 383 | | Reger, Giles ; Suda, Martin ; Voronkov, Andrei | Testing a Saturation-Based Theorem Prover: Experiences and Challenges | Konferenzbeitrag Inproceedings  | 2017 |
| 384 | | Kovacs, Laura ; Voronkov, Andrei | First-Order Interpolation and Interpolating Proof Systems | Konferenzbeitrag Inproceedings | 2017 |
| 385 | | Claessen, Koen ; Kilhamn, Jonatan ; Kovács, Laura ; Lennartson, Bengt | A Supervisory Control Algorithm Based on Property-Directed Reachability | Konferenzbeitrag Inproceedings | 2017 |
| 386 | | Günther, Henning ; Laarman, Alfons ; Sokolova, Ana ; Weissenbacher, Georg | Dynamic Reductions for Model Checking Concurrent Software | Konferenzbeitrag Inproceedings | 2017 |
| 387 | | Konnov, Igor ; Lazić, Marijana ; Veith, Helmut ; Widder, Josef | A short counterexample property for safety and liveness verification of fault-tolerant distributed algorithms | Konferenzbeitrag Inproceedings | 2017 |
| 388 | | Reger, Giles ; Suda, Martin | Global Subsumption Revisited (Briefly) | Konferenzbeitrag Inproceedings | 2017 |
| 389 | | Demyanova, Yulia ; Pani, Thomas ; Veith, Helmut ; Zuleger, Florian | Empirical software metrics for benchmarking of verification tools | Artikel Article | 2017 |
| 390 | | Konnov, Igor ; Lazić, Marijana ; Veith, Helmut ; Widder, Josef | Para^2: Parameterized Path Reduction, Acceleration, and SMT for Reachability in Threshold-Guarded Distributed Algorithms | Artikel Article | 2017 |
| 391 | | Gottlob, Georg ; Henzinger, Thomas A. ; Weissenbacher, Georg | Preface of the Special Issue in Memoriam Helmut Veith | Artikel Article | 2017 |
| 392 | | Konnov, Igor ; Veith, Helmut ; Widder, Josef | On the completeness of bounded model checking for threshold-based distributed algorithms: Reachability | Artikel Article | 2017 |
| 13 | | Forkel, Walter ; Philipp, Tobias ; Rebola Pardo, Adrian ; Werner, Elias | Fuzzing and Verifying RAT Refutations with Deletion Information | Konferenzbeitrag Inproceedings | 2017 |
| 14 | | Philipp, Tobias ; Rebola Pardo, Adrian | Towards a Semantics of Unsatisfiability Proofs with Inprocessing | Konferenzbeitrag Inproceedings | 2017 |
| 15 | | Lazić, Marijana ; Konnov, Igor ; Widder, Josef ; Bloem, Roderick | Synthesis of Distributed Algorithms with Parameterized Threshold Guards | Konferenzbeitrag Inproceedings | 2017 |
| 16 | | Reger, Giles ; Suda, Martin | When Should We Add Theory Axioms And Which Ones? | Präsentation Presentation | 2016 |
| 17 | | Reger, Giles ; Suda, Martin | Revisiting Global Subsumption | Präsentation Presentation | 2016 |
| 18 | | Kovacs, Laura | With a Timisoara Background in the Scientific World of Computer Science and | Präsentation Presentation | 2016 |
| 19 | | Kovacs, Laura | First-Order Theorem Proving and Vampire | Präsentation Presentation | 2016 |
| 20 | | Barkatou, Moulay ; Jaroschek, Maximilian | Desingularization of First Order Linear Difference Systems with Rational Function Coefficients | Präsentation Presentation | 2016 |
