DOI,IST REx ID,Research Group,Title of publication
10.1109/TITS.2017.2778077,434,ToHe,Safety-assured model-driven design of the multifunction vehicle bus controller
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/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.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-662-54577-5_34,631,ToHe,Counterexample guided refinement of template polyhedra
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.1007/978-3-319-54292-8,638,ToHe,Numerical Software Verification
10.15479/AT:IST-2018-853-v2-2,6426,ToHe,Synchronizing the asynchronous
10.1007/978-3-319-65765-3_7,647,ToHe,Conic abstractions for hybrid systems
10.1145/3049797.3049814,663,ToHe,Safety verification of nonlinear hybrid systems based on invariant clusters
10.24963/ijcai.2017/11,1003,ToHe,An abstraction-refinement methodology for reasoning about network games
10.1007/978-3-662-54434-1_11,1011,"KrCh,ToHe",Faster algorithms for weighted recursive state machines
10.1145/3158121,10418,"KrCh,ToHe",A new proof rule for almost-sure termination
10.1016/j.ic.2016.10.006,1066,"KrCh,ToHe",Quantitative fair simulation games
10.1145/3092703.3098225,941,ToHe,JFIX: Semantics-based repair of Java programs via symbolic  PathFinder