The Semantic Foundations and a Landscape of Cache-Persistence Analyses Jan Reineke 03:1-03:52 2018-08-02
EMSBench: Benchmark and Testbed for Reactive Real-Time Systems Florian Kluge, Christine Rochange, Theo Ungerer 02:1-02:23 2017-07-07