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