DOI,IST REx ID,Research Group,Title of publication
10.1145/3152769,467,"KrCh,ToHe",Nested weighted automata
10.1145/3060139,471,ToHe,Faster statistical model checking for unbounded temporal properties
10.4204/EPTCS.259.3,549,ToHe,Causality-based model checking
10.1007/978-3-319-63121-9_18,625,"KrCh,ToHe",The cost of exactness in quantitative reachability
10.1007/978-3-319-63501-9_6,633,ToHe,Challenges and tool implementation of hybrid rapidly exploring random trees
10.1007/978-3-319-65765-3_11,636,ToHe,On the quantitative semantics of regular expressions over real-valued signals
10.15479/AT:IST-2018-853-v2-2,6426,ToHe,Synchronizing the asynchronous
10.1145/3049797.3049814,663,ToHe,Safety verification of nonlinear hybrid systems based on invariant clusters
10.4230/LIPIcs.CONCUR.2017.5,711,"KrCh,ToHe",Bidirectional nested weighted automata
10.1007/s10703-017-0307-6,743,ToHe,Preface of the special issue in memoriam Helmut Veith
10.1007/978-3-319-54292-8,638,ToHe,Numerical Software Verification
10.1007/978-3-319-65765-3_7,647,ToHe,Conic abstractions for hybrid systems
10.1007/978-3-662-54577-5_34,631,ToHe,Counterexample guided refinement of template polyhedra
10.15479/AT:ISTA:TH_730,1155,ToHe,Statistical and logical methods for property checking
10.1007/978-3-662-54580-5_10,1116,ToHe,Computing scores of forwarding schemes in switched networks with probabilistic faults
10.1007/978-3-319-63390-9_21,962,ToHe,Model counting for recursively-defined strings
10.1016/j.biosystems.2016.07.005,1148,"ToHe,GaTk",Adaptive moment closure for parameter inference of biochemical reaction networks
10.1609/aaai.v30i1.10422,1166,"KrCh,ToHe",A symbolic SAT based algorithm for almost sure reachability with small strategies in POMDPs
10.1007/978-3-319-48989-6_47,1205,ToHe,Safety assured formal model driven design of the multifunction vehicle bus controller
10.1007/978-3-319-41540-6_21,1390,ToHe,QLOSE: Program repair with quantitative objectives