_id,doi,title
1338,10.1007/s10703-016-0256-5,From non-preemptive to preemptive scheduling using synchronization synthesis
1526,10.1007/978-3-662-49122-5_12,Lipschitz robustness of timed I/O systems
1390,10.1007/978-3-319-41540-6_21,QLOSE: Program repair with quantitative objectives
1729,10.1007/978-3-319-21668-3_11,From non-preemptive to preemptive scheduling using synchronization synthesis
1992,10.1145/2676726.2677008,Succinct representation of concurrent trace sets
1870,10.4230/LIPIcs.FSTTCS.2014.431,Lipschitz robustness of finite-state transducers
1875,10.1007/978-3-319-10936-7_17,Cost-aware automatic program repair