DOI,IST REx ID,Research Group,Title of publication
10.15479/at:ista:11362,11362,"GradSch,ToHe",Learning verifiable representations
10.15479/AT:ISTA:8332,8332,ToHe,"Verifying concurrent programs: Refinement, synchronization, sequentialization"
10.15479/AT:ISTA:6894,6894,ToHe,Automatic time-unbounded reachability analysis of hybrid systems
10.15479/AT:ISTA:TH_730,1155,ToHe,Statistical and logical methods for property checking
10.15479/at:ista:1130,1130,"ToHe,GradSch",Automatic synthesis of synchronisation primitives for concurrent programs
10.15479/at:ista:1405,1405,"ToHe,GradSch",Analysis of dynamic message passing programs
null,4409,,Games for the verification of timed systems
null,4415,,Compositionality in deterministic real-time embedded systems
null,4524,,A hierarchical coordination language for reliable real-time tasks
null,4566,,A framework for compositional design and analysis of systems
null,4424,,Program verification by lazy abstraction
null,4416,,Symbolic algorithms for verification and control
null,4425,,Giotto: A time-triggered language for embedded programming
null,4414,,Games in open systems verification and synthesis
null,4411,,Algorithms and Methodology for Scalable Model Checking
null,4419,,The Theory of Rectangular Hybrid Automata
null,4428,,Automatic analysis of hybrid systems