Browsing
Showing results 1 to 8 of 8
| Preview | Authors / Editors | Title | Type | Issue Date |
 | Exenberger, Fabian | Fault analysis in reactive systems using log data | Thesis Hochschulschrift   | 2019 |
 | Manjunath, Niveditha | Fault-Based Analysis of Cyber Physical Systems | Thesis Hochschulschrift | 2021 |
 | 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  | 2017 |
 | Vaczula, Csaba | The Hobel algorithm : SAT Lösung mit GPU über DPLL | Thesis Hochschulschrift | 2016 |
 | Wimmer, Bernhard | Motion planning for a six-legged robot | Thesis Hochschulschrift | 2017 |
 | Selyunin, Konstantin | Neural models for monitoring and control with applications in automotive domain | Thesis Hochschulschrift | 2017 |
 | Ratasich, Denise ; Ratasich, Denise; Ratasich, Denise; Ratasich, Denise; Ratasich, Denise; Ratasich, Denise; Ratasich, Denise | Self-healing cyber-physical systems | Thesis Hochschulschrift | 2019 |
 | Treml, Lilly Maria | Simulating cardiac dynamics using Maxeler dataflow super-computing | Thesis Hochschulschrift | 2018 |
