DOI,IST REx ID,Research Group,Title of publication
10.46298/theoretics.25.10,21413,KrCh,Learning algorithms for verification of Markov decision processes
10.1016/j.tcs.2017.11.001,608,ToHe,Synthesis from component libraries with costs
10.15479/AT:ISTA:TH_730,1155,ToHe,Statistical and logical methods for property checking
10.1016/j.nahs.2016.09.001,1196,ToHe,Model measuring for discrete and hybrid systems
10.1007/s10703-016-0256-5,1338,ToHe,From non-preemptive to preemptive scheduling using synchronization synthesis
10.1007/s00236-016-0278-x,1351,"ToHe,CaGu,NiBa",Model checking the evolution of gene regulatory networks
10.1016/j.nahs.2016.04.006,1407,"ToHe,KrCh",Temporal logic control for stochastic linear systems using abstraction refinement of probabilistic games
10.1145/3060139,471,ToHe,Faster statistical model checking for unbounded temporal properties
10.1016/j.ic.2016.10.006,1066,"KrCh,ToHe",Quantitative fair simulation games
10.23638/LMCS-13(3:23)2017,465,"KrCh,ToHe",Edit distance for pushdown automata
10.4230/LIPIcs.CONCUR.2016.20,1093,"ToHe,KrCh,CaGu",Linear distances between Markov chains
10.4230/LIPIcs.CONCUR.2016.6,1095,ToHe,Local linearizability for concurrent container-type data structures
10.1109/MEMCOD.2016.7797741,1103,ToHe,Parallel reachability analysis for hybrid systems
10.15479/at:ista:1130,1130,"ToHe,GradSch",Automatic synthesis of synchronisation primitives for concurrent programs
10.1145/2968478.2968499,1135,ToHe,Synthesizing time triggered schedules for switched networks with faulty links
10.1016/j.biosystems.2016.07.005,1148,"ToHe,GaTk",Adaptive moment closure for parameter inference of biochemical reaction networks
null,1182,KrCh,Robust draws in balanced knockout tournaments
10.1007/978-3-662-49122-5_16,1230,ToHe,Abstraction-driven concolic testing
10.1007/978-3-662-49674-9_7,1234,"ToHe,CaGu",Faster statistical model checking for unbounded temporal properties
10.1007/978-3-662-53354-3_13,1341,ToHe,Dynamic resource allocation games