DOI,IST REx ID,Research Group,Title of publication
10.1145/3106237.3106309,942,ToHe,S3: Syntax- and semantic-guided repair synthesis via programming by examples
10.4230/LIPIcs.CONCUR.2017.21,950,"ToHe,KrCh",Infinite-duration bidding games
10.1007/978-3-319-63390-9_21,962,ToHe,Model counting for recursively-defined strings
10.4230/LIPIcs.MFCS.2017.37,963,ToHe,Timed network games with clocks
10.1007/978-3-662-54580-5_10,1116,ToHe,Computing scores of forwarding schemes in switched networks with probabilistic faults
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.23638/LMCS-13(3:23)2017,465,"KrCh,ToHe",Edit distance for pushdown automata
10.1145/3152769,467,"KrCh,ToHe",Nested weighted automata
10.1145/3060139,471,ToHe,Faster statistical model checking for unbounded temporal properties
10.1007/978-3-319-47151-8_9,1227,ToHe,Discrete abstraction of multiaffine systems
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.1109/RTAS.2016.7461337,1256,ToHe,From stateflow simulation to verified implementation: A verification approach and a real-time train controller design
10.1007/978-3-662-53413-7_2,1335,"KrCh,ToHe",Quantitative monitor automata
10.1007/978-3-319-26916-0_10,1524,"CaGu,ToHe",Efficient reduction of kappa models by static inspection of the rule-set
10.1007/978-3-662-49122-5_12,1526,ToHe,Lipschitz robustness of timed I/O systems
10.1007/s10009-015-0393-y,1705,ToHe,Guided search for hybrid systems based on coarse-grained space abstractions
10.1007/978-3-662-53354-3_13,1341,ToHe,Dynamic resource allocation games
10.1007/978-3-319-41540-6_21,1390,ToHe,QLOSE: Program repair with quantitative objectives