DOI,IST REx ID,Research Group,Title of publication
10.1145/2883817.2883837,1421,ToHe,Scalable static hybridization methods for analysis of nonlinear systems
10.1145/2837614.2837650,1439,ToHe,PSYNC: A partially synchronous language for fault-tolerant distributed algorithms
10.1007/978-3-319-47151-8_9,1227,ToHe,Discrete abstraction of multiaffine systems
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.4230/LIPIcs.MFCS.2016.24,1090,"KrCh,ToHe",Nested weighted limit-average automata of bounded width
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.1109/CCA.2016.7587948,1134,ToHe,Tutorial: Software tools for hybrid systems verification transformation and synthesis C2E2 HyST and TuLiP
10.1145/2968478.2968499,1135,ToHe,Synthesizing time triggered schedules for switched networks with faulty links
10.1145/2933575.2933588,1138,"KrCh,ToHe",Quantitative automata under probabilistic semantics
10.1007/s10009-015-0393-y,1705,ToHe,Guided search for hybrid systems based on coarse-grained space abstractions
10.1145/2889160.2889233,479,ToHe,Use runtime verification to improve the quality of medical care practice
10.15479/at:ista:1130,1130,"ToHe,GradSch",Automatic synthesis of synchronisation primitives for concurrent programs
10.4230/LIPIcs.CONCUR.2016.20,1093,"ToHe,KrCh,CaGu",Linear distances between Markov chains
10.1007/978-3-662-49674-9_7,1234,"ToHe,CaGu",Faster statistical model checking for unbounded temporal properties
10.1007/978-3-319-41540-6_13,1391,ToHe,Array folds logic
10.1007/978-3-662-49122-5_16,1230,ToHe,Abstraction-driven concolic testing