A Timed-Automata Based Middleware for Time-Critical Multicore Applications.

Dario Socci, Peter Poplavko, Saddek Bensalem, Marius Bozga

Browse the full ISORC paper archive.