From Non-preemptive to Preemptive Scheduling Using Synchronization Synthesis.

Pavol Cern, Edmund M. Clarke, Thomas A. Henzinger, Arjun Radhakrishna, Leonid Ryzhyk, Roopsha Samanta, Thorsten Tarrach

Browse the full CAV paper archive.