Timed model checking with abstractions: towards worst-case response time analysis in resource-sharing manycore systems.

Georgia Giannopoulou, Kai Lampka, Nikolay Stoimenov, Lothar Thiele

Browse the full EMSOFT paper archive.