|
| | Preview | Author(s) | Title | Type | Issue Date |
| 281 |  | Brauße, Franz ; Khasidashvili, Zurab ; Korovin, Konstantin | Selecting Stable Safe Configurations for Systems Modelled by Neural Networks with ReLU Activation | Konferenzbeitrag Inproceedings   | 2020 |
| 282 |  | Lahiri, Shuvendu K. ; Lal, Akash ; Gopinath, Sridhar ; Nutz, Alexander ; Levin, Vladimir ; Kumar, Rahul ; Deisinger, Nate ; Lichtenberg, Jakob ; Bansal, Chetan | Angelic Checking within Static Driver Verifier: Towards high-precision defects without (modeling) cost | Konferenzbeitrag Inproceedings | 2020 |
| 283 |  | Niemetz, Aina ; Preiner, Mathias | Ternary Propagation-Based Local Search for More Bit-Precise Reasoning | Konferenzbeitrag Inproceedings | 2020 |
| 284 |  | Reynolds, Andrew ; Nötzli, Andres ; Barrett, Clark ; Tinelli, Cesare | Reductions for Strings and Regular Expressions Revisited | Konferenzbeitrag Inproceedings | 2020 |
| 285 |  | Jantsch, Simon ; Harder, Hans ; Funke, Florian ; Baier, Christel | SWITSS: Computing Small Witnessing Subsystems | Konferenzbeitrag Inproceedings | 2020 |
| 286 |  | Arif, M. Fareed ; Larraz, Daniel ; Echeverria, Mitziu ; Reynolds, Andrew ; Chowdhury, Omar ; Tinelli, Cesare | SYSLITE: Syntax-Guided Synthesis of PLTL Formulas from Finite Traces | Inproceedings Konferenzbeitrag | 2020 |
| 287 |  | Ehlers, Rüdiger ; Gavran, Ivan ; Neider, Daniel | Learning Properties in LTL ∩ ACTL from Positive Examples Only | Konferenzbeitrag Inproceedings | 2020 |
| 288 |  | Zhang, Zichao ; de Amorim, Arthur Azevedo ; Jia, Limin ; Pasareanu, Corina S. | Automating Compositional Analysis of Authentication Protocols | Konferenzbeitrag Inproceedings | 2020 |
| 289 | | Pagel, Jens ; Matheja, Christoph ; Zuleger, Florian | Effective Entailment Checking for Separation Logic with Inductive Definitions | Konferenzbeitrag Inproceedings  | 2019 |
| 290 | | Sighireanu, Mihaela ; Pagel, Jens ; Matheja, Christoph ; Noll, Thomas ; Zuleger, Florian | SL-COMP: Competition of Solvers for Separation Logic | Konferenzbeitrag Inproceedings | 2019 |
| 291 | | Gleiss, Bernhard ; Kovács, Laura ; Schnedlitz, Lena | Interactive Visualization of Saturation Attempts in Vampire | Konferenzbeitrag Inproceedings | 2019 |
| 292 | | Bartocci, Ezio ; Kovacs, Laura ; Stankovic, Miroslav | Automatic Generation of Moment-Based Invariants for Prob-Solvable Loops | Konferenzbeitrag Inproceedings | 2019 |
| 293 | | Metzler, Patrick ; Suri, Neeraj ; Weissenbacher, Georg | Extracting Safe Thread Schedules from Incomplete Model Checking Results | Konferenzbeitrag Inproceedings | 2019 |
| 294 | | Ignatiev, Alexey ; Morgado, António ; Marques-Silva, João ; Weissenbacher, Georg | Model-Based Diagnosis with Multiple Observations | Konferenzbeitrag Inproceedings | 2019 |
| 295 | | Barthe, Gilles ; Eilers, Renate ; Georgiou, Pamina ; Gleiss, Bernhard ; Kovacs, Laura ; Maffei, Matteo | Verifying Relational Properties using Trace Logic | Konferenzbeitrag Inproceedings | 2019 |
| 296 | | Kovacs, Laura | 60 Shades of Grey in Vampire | Präsentation Presentation | 2019 |
| 297 | | Georgiou, Pamina ; Gleiss, Bernhard ; Kovacs, Laura ; Maffei, Matteo | Trace Reasoning for Formal Verification using the First-Order Superposition Calculus | Präsentation Presentation | 2019 |
| 298 | | Kovacs, Laura | Interpolation in the Grey Area of Proofs | Präsentation Presentation | 2019 |
| 299 | | Kovacs, Laura | APRe, Vampire, Welcome in Vienna! | Präsentation Presentation | 2019 |
| 300 | | Davenport, James H. ; Kovacs, Laura ; Zaharie, Daniela | Foreword | Artikel Article | 2019 |
