DOI,IST REx ID,Research Group,Title of publication
10.1007/978-3-030-29662-9_8,7231,ToHe,Piecewise robust barrier tubes for nonlinear hybrid systems with uncertainty
10.1007/978-3-319-96145-3_24,142,ToHe,Reachable set over-approximation for nonlinear systems using piecewise barrier tubes
10.1109/TITS.2017.2778077,434,ToHe,Safety-assured model-driven design of the multifunction vehicle bus controller
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.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-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.1145/2889160.2889233,479,ToHe,Use runtime verification to improve the quality of medical care practice
10.1007/978-3-319-26287-1_2,1605,ToHe,Abstraction-based parameter synthesis for multiaffine systems