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-319-21668-3_11,1729,ToHe,From non-preemptive to preemptive scheduling using synchronization synthesis
10.1007/978-3-662-46669-8_5,1836,ToHe,Segment abstraction for worst-case execution time analysis
10.1145/2676726.2677008,1992,ToHe,Succinct representation of concurrent trace sets
10.1016/j.tcs.2014.08.019,1733,"ToHe,KrCh",Interface simulation distances
10.1007/978-3-319-08867-9_38,2218,ToHe,Regression-free synthesis for concurrency
10.1145/2535838.2535875,2239,ToHe,Battery transition systems
10.1145/2429069.2429085,2182,ToHe,Quantitative abstraction refinement
10.1007/978-3-642-39799-8_68,2445,ToHe,Efficient synthesis for concurrency by semantics-preserving transformations
10.1145/2380356.2380371,2890,ToHe,Synthesis from incompatible specifications
10.4204/EPTCS.96.3,2916,"ToHe,KrCh",Interface Simulation Distances
10.1016/j.tcs.2011.08.002,3249,ToHe,Simulation distances
10.1007/978-3-642-22110-1_20,3366,"ToHe,KrCh",Quantitative synthesis for concurrent programs
10.15479/AT:IST-2010-0004,5388,"KrCh,ToHe",Quantitative synthesis for concurrent programs
10.15479/AT:IST-2010-0003,5389,ToHe,Simulation distances
10.15479/AT:IST-2010-0001,5391,ToHe,Model checking of linearizability of concurrent list implementations
10.1007/978-3-642-14295-6_57,4388,"KrCh,ToHe",GIST: A solver for probabilistic games
10.1007/978-3-642-14295-6_41,4390,ToHe,Model checking of linearizability of concurrent list implementations
10.1007/978-3-642-13754-9_3,4392,ToHe,Quantitative Simulation Games
10.1007/978-3-642-15375-4_18,4393,ToHe,Simulation distances