Bartocci, Ezio
Prefix title Titel (vorangestellt)
Univ.Prof. Dr.
Full name Familienname, Vorname
Bartocci, Ezio
ORCID
Subject
Date issued
Fulltext
Results 1-1 of 1 (Search time: 0.002 seconds).
| Preview | Authors / Editors | Title | Type | Issue Date | |
|---|---|---|---|---|---|
| 1 |  | 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 |
Subject
Date issued
Fulltext
Results 1-6 of 6 (Search time: 0.002 seconds).
| Preview | Authors / Editors | Title | Type | Issue Date | |
|---|---|---|---|---|---|
| 1 |  | Treml, Lilly Maria | Simulating cardiac dynamics using Maxeler dataflow super-computing | Thesis Hochschulschrift | 2018 |
| 2 |  | Ratasich, Denise ; Ratasich, Denise; Ratasich, Denise; Ratasich, Denise; Ratasich, Denise; Ratasich, Denise; Ratasich, Denise | Self-healing cyber-physical systems | Thesis Hochschulschrift | 2019 |
| 3 |  | Selyunin, Konstantin | Neural models for monitoring and control with applications in automotive domain | Thesis Hochschulschrift | 2017 |
| 4 |  | Wimmer, Bernhard | Motion planning for a six-legged robot | Thesis Hochschulschrift | 2017 |
| 5 |  | Vaczula, Csaba | The Hobel algorithm; SAT Lösung mit GPU über DPLL | Thesis Hochschulschrift | 2016 |
| 6 |  | Exenberger, Fabian | Fault analysis in reactive systems using log data | Thesis Hochschulschrift | 2019 |
Results 1-1 of 1 (Search time: 0.0 seconds).
| Title | P-Investigator | Project Status |
|---|---|---|
| Trustworthy IoT for CPS | Bartocci, Ezio | IN PROGRESS |