Browsing by Author
Bartocci, Ezio
Showing results 1 to 7 of 7
Preview | Authors / Editors | Title | Type | Issue Date |
 | Exenberger, Fabian | Fault analysis in reactive systems using log data | Thesis Hochschulschrift  | 2019 |
 | 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 |