| | Preview | Author(s) | Title | Type | Issue Date |
| 1 | | Schreiner, Dietmar ; Barany, Gergö ; Schordan, Markus ; Knoop, Jens | Comparison of type-based and alias-based component recognition for embedded systems software | Artikel Article | 2013 |
| 2 | | Bartocci, Ezio ; Manjunath, Niveditha ; Mariani, Leonardo ; Mateis, Cristinel ; Ničković, Dejan | CPSDebug: Automatic Failure Explanation in CPS Models | Artikel Article | Oct-2021 |
| 3 | | Bauer, Andreas ; Leucker, Martin ; Schallhart, Christian ; Tautschnig, Michael | Don't care in SMT---Building flexible yet efficient abstraction/refinement solvers | Artikel Article | 2010 |
| 4 | | Metzler, Patrick ; Suri, Neeraj ; Weissenbacher, Georg | Extracting safe thread schedules from incomplete model checking results | Artikel Article | 2020 |
| 5 | | Bartocci, Ezio ; Falcone, Yliès ; Bonakdarpour, Borzoo ; Colombo, Christian ; Decker, Normann ; Havelund, Klaus ; Joshi, Yogi ; Klaedtke, Felix ; Milewicz, Reed ; Reger, Giles ; Rosu, Grigore ; Signoles, Julien ; Thoma, Daniel ; Zalinescu, Eugen ; Zhang, Yi | First international Competition on Runtime Verification: rules, benchmarks, tools, and final results of CRV 2014 | Article Artikel | 2019 |
| 6 | | Kaufmann, Daniela ; Biere, Armin | Improving AMulet2 for verifying multiplier circuits using SAT solving and computer algebra | Article Artikel | Apr-2023 |
| 7 | | Nenzi, Laura ; Bartocci, Ezio ; Bortolussi, Luca ; Silvetti, Simone ; Loreti, Michele | MoonLight: a lightweight tool for monitoring spatio-temporal properties | Article Artikel | 1-Aug-2023 |
| 8 | | Gurung, Amit ; Ray, Rajarshi ; Bartocci, Ezio ; Bogomolov, Sergiy ; Grosu, Radu | Parallel reachability analysis of hybrid systems in XSpeed | Artikel Article | 2019 |
| 9 | | Lisper, Björn ; Ermedahl, Andreas ; Schreiner, Dietmar ; Knoop, Jens ; Gliwa, Peter | Practical Experiences of Applying Source-level WCET Flow Analysis to Industrial Code | Artikel Article | 2013 |
| 10 | | Bartocci, Ezio ; Ramakrishnan, C.R. | Preface of the special issue on Model Checking of Software : Selected papers of the 20th International SPIN Symposium on Model Checking of Software | Article Artikel | Aug-2016 |
| 11 | | Huang, Xiaowan ; Seyster, Justin ; Callanan, Sean ; Dixit, Ketan ; Grosu, Radu ; Smolka, Scott A. ; Stoller, Scott D. ; Zadok, Erez | Software monitoring with controllable overhead | Artikel Article | 2012 |
| 12 | | Stoilkovska, Ilina ; Konnov, Igor ; Widder, Josef ; Zuleger, Florian | Verifying safety of synchronous fault-tolerant algorithms by bounded model checking | Article Artikel | Feb-2022 |
| 13 | | Tschapeller, Wolfgang ; Bühlmann, Vera | Where are the foundations of a hanging structure? | Artikel Article | 2020 |