Browsing by Author Kuester, Jan-Christoph
Showing results 3 to 5 of 5
Runtime verification meets android security
Author(s) | Bauer, Andreas; Kuester, Jan-Christoph; Vegliach, Gil |
---|---|
Type | Conference paper |
Date Published | 2012 |
Date Created | April 3-5 2012 |
Runtime verification on data-carrying traces
Author(s) | Kuester, Jan-Christoph |
---|---|
Type | Thesis (PhD) |
Date Published | 2016 |
Date Created | - |
The ins and outs of first-order runtime verification
Author(s) | Bauer, Andreas; Kuester, Jan-Christoph; Vegliach, Gil |
---|---|
Type | Journal article |
Date Published | 2015 |
Date Created | - |
- previous
- 1
- next
Updated: 12 April 2016/ Responsible Officer: University Librarian/ Page Contact: Library Systems & Web Coordinator