|
| | Preview | Author(s) | Title | Type | Issue Date |
| 1 | | Sánchez, César ; Schneider, Gerardo ; Ahrendt, Wolfgang ; Bartocci, Ezio ; Bianculli, Domenico ; Colombo, Christian ; Falcone, Yliès ; Francalanza, Adrian ; Krstić, Srđan ; Lourenço, Joa̋o M. ; Nickovic, Dejan ; Pace, Gordon J. ; Rufino, Jose ; Signoles, Julien ; Traytel, Dmitriy ; Weiss, Alexander | A survey of challenges for runtime verification from advanced application domains (beyond software) | Artikel Article  | 2019 |
| 2 |  | Tabaei Befrouei, Mitra ; Wang, Chao ; Weissenbacher, Georg | Abstraction and mining of traces to explain concurrency bugs | Article Artikel   | Oct-2016 |
| 3 | | Phan, Dung ; Yang, Junxing ; Grosu, Radu ; Smolka, Scott A. ; Stoller, Scott D. | Collision Avoidance for Mobile Robots with Limited Sensing and Limited Information about Moving Obstacles | Artikel Article | 2017 |
| 4 | | Demyanova, Yulia ; Pani, Thomas ; Veith, Helmut ; Zuleger, Florian | Empirical software metrics for benchmarking of verification tools | Artikel Article | 2017 |
| 5 | | Seyster, Justin ; Dixit, Ketan ; Huang, Xiaowan ; Grosu, Radu ; Havelund, Klaus ; Smolka, Scott A. ; Stoller, Scott D. ; Zadok, Erez | InterAspect: aspect-oriented instrumentation with GCC | Artikel Article | 2012 |
| 6 | | 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 |
| 7 | | Gottlob, Georg ; Henzinger, Thomas A. ; Weissenbacher, Georg | Preface of the Special Issue in Memoriam Helmut Veith | Artikel Article | 2017 |
| 8 | | Chockler, Hana ; Weissenbacher, Georg | Preface of the special issue on the conference on computer-aided verification 2018 | Artikel Article | 2021 |
| 9 | | Stewart, Daryl ; Weissenbacher, Georg | Preface of the Special Issue on the Conference on Formal Methods in Computer-Aided Design 2017 | Artikel Article | 2020 |
| 10 | | Moosbrugger, Marcel ; Bartocci, Ezio ; Katoen, Joost-Pieter ; Kovacs, Laura | The probabilistic termination tool amber | Article Artikel | Aug-2022 |
| 11 | | Jakšić, Stefan ; Bartocci, Ezio ; Grosu, Radu ; Nguyen, Thang ; Ničković, Dejan | Quantitative monitoring of STL with edit distance | Artikel Article | 2018 |
| 12 |  | Moosbrugger, Patrick ; Rozier, Kristin Y. ; Schumann, Johann | R2U2: monitoring and diagnosis of security threats for unmanned aerial systems | Article Artikel | 2017 |
| 13 | | Pani, Thomas ; Weissenbacher, Georg ; Zuleger, Florian | Rely-guarantee bound analysis of parameterized concurrent shared-memory programs | Artikel Article | 2021 |
| 14 | | Reinbacher, Thomas ; Függer, Matthias ; Brauer, Jörg | Runtime verification of embedded real-time systems | Artikel Article | 2013 |
| 15 | | Bloem, Roderick ; Braud-Santoni, Nicolas ; Hadzic, Vedad ; Egly, Uwe ; Lonsing, Florian ; Seidl, Martina | Two SAT solvers for solving quantified Boolean formulas with an arbitrary number of quantifier alternations | Artikel Article | 2021 |
| 16 | | Lewis, Matt ; Kroening, Daniel ; Weissenbacher, Georg | Under-approximating loops in C programs for fast counterexample detection | Artikel Article | 2015 |
